了不得的“库博”

  “这款软件为严重关键项目检测出了国外对象没检测出来的严重缺点,有力地保证了系统平安牢靠。”前不久,某兵工研究所应用库博(CoBOT)静态代码剖析对象检测后,研究所指导由衷地赞美。

  库博(CoBOT)是甚么?据悉,这是一款软件缺点破绽主动检测对象,由北京北大年夜软件工程公司研发。现在,库博系列产品曾经在船舶、航空、航天等数十家兵工企业取得应用履行。

  科技不时提高,软件承当任务愈来愈多,范围愈来愈大年夜,特别是国防、兵工、金融范围面对软件平安应战日趋复杂。一旦出现缺点,则招致不成估计的灾害。

  这是一些令人至今想来都认为后怕的例子:1997年9月,一家本国舰船因为软件正当计算招致推动系统运转掉败;2016年7月,国外一家航空公司调解系统因为软件缓冲区溢出招致系统解体,直接影响了7000次航班飞翔。大年夜家浮光掠影的是,2017年5月,因为Windows系统的底层破绽,招致100多个国家和地区超越10万台电脑遭到讹诈病毒进击、感染……因而可知,大年夜范围的依次主动检测成为软件质量进一步提高的瓶颈,同样成为业界和研究范围面对的一大年夜困难。

  北京北大年夜软件工程公司依托北京大年夜学自立研发技巧,应用产学研优势,研收回“库博(CoBOT)软件缺点破绽主动检测对象”。

  “这一系列对象采取传统剖析及人工智能技巧,输入用户源代码,就可以主动剖析出依次中的潜伏质量后果和平安破绽,可清晰提高产质量量,降低研发成本。”据相干担负人引见,库博是中国首家经过CWE认证的软件剖析对象,弥补了国际软件缺点破绽检测对象难以发明运转时缺点的空白,打破了国际在这一范围的市场垄断。

  客岁参与中关村首届科技军平易近融合专题赛,让北大年夜软件工程大年夜展风度,同时也找到了一个展现自身实力、寻求更多军方机构承认的新平台。

  今朝,兵工企业研发或测评中间应用国外同类代码缺点测试对象只能支撑一两种,没法全类型支撑一切检测项目,而库博可支撑上百种缺点及平安破绽检测。特别值得存眷的是,库博曾经为中电科、互联网、高铁等多种行业范围定制了检测缺点和检测规范,使代码测试越发契合军地各方需求。