亚洲αv无码乱码在线观看性色_亚洲成人第一网站_午夜爽爽爽男女免费观看麻豆国产_亚洲高清三级片_在线观看成人免费视频不卡_麻豆精品秘国产传媒AV消防_成年人黄色大片大全_国产激情一区二区免费

   為解決軟件開發(fā)中的諸多痛點(diǎn)，本公司推出了USTCHCS高可信分析工具集。該工具集核心技術(shù)源自中科大創(chuàng)業(yè)團(tuán)隊(duì)，為中科國創(chuàng)自主知識(shí)產(chǎn)權(quán)產(chǎn)品，獲得10余項(xiàng)軟件著作權(quán)。工具使用了編譯、符號(hào)執(zhí)行、定理證明等領(lǐng)先技術(shù)，實(shí)現(xiàn)：
   （1）編程規(guī)約自動(dòng)化檢測(cè)，幫助程序員提高代碼質(zhì)量、可讀性，避免潛在風(fēng)險(xiǎn)；
   （2）高精度bug定位和自動(dòng)修復(fù)，大幅度提升debug效率，降低了調(diào)試的時(shí)間成本。

軟件開發(fā)痛點(diǎn)

開發(fā)測(cè)試人員
素質(zhì)參差不齊

聰明人也會(huì)犯錯(cuò)

沒有編程規(guī)約
機(jī)械化檢查手段

代碼缺乏可維護(hù)性

軟件系統(tǒng)越來越復(fù)雜

測(cè)試成本非常高

測(cè)試?yán)采w率很難達(dá)到100%

Bug發(fā)現(xiàn)越晚修復(fù)代價(jià)越高

產(chǎn)品和服務(wù)

程序分析工具授權(quán)
程序分析服務(wù)和培訓(xùn)

技術(shù)特色

自主研發(fā)，高度可定制
高精度：基于編譯/定理證明/符號(hào)執(zhí)行等領(lǐng)先技術(shù)
高效性：多線程分析、分析速度快
易用性：參數(shù)化配置、誤報(bào)標(biāo)記、修復(fù)提示、自動(dòng)修復(fù)、正反例幫助等

循環(huán)

高可信軟件優(yōu)勢(shì)

基于領(lǐng)先的
科研經(jīng)驗(yàn)積累

源代碼靜態(tài)分析
不依賴于測(cè)試?yán)?/h5>

機(jī)械化代碼評(píng)審
節(jié)約開發(fā)時(shí)間

治標(biāo)又治本
提升代碼質(zhì)量

規(guī)則集豐富
高度可定制

分析精度高
排查成本低

查找典型的
程序缺陷

提供自動(dòng)修復(fù)
或修復(fù)提示

產(chǎn)品線

· 代碼度量和預(yù)警

· 標(biāo)準(zhǔn)符合檢測(cè)

MISRA C:2012
MISRA C++:2008
CERT C/C++
AUTOSAR C++14
CWE C/C++
GJB航天C標(biāo)準(zhǔn)
GBT嵌入式C標(biāo)準(zhǔn)
…

· 代碼缺陷分析

數(shù)組越界（緩沖區(qū)溢出）
空指針解引用
內(nèi)存泄露
多次釋放
除零錯(cuò)
永真/永假條件表達(dá)式
庫函數(shù)使用不當(dāng)
Copy-pasted錯(cuò)誤模式
…

· 基于GitLab的開發(fā)

Request-Review-Refactor
Bug報(bào)告和跟蹤
代碼度量集成
缺陷分析集成
代碼質(zhì)量的歷史曲線
代碼質(zhì)量評(píng)價(jià)
…

工具插件

IDE

IDE

工具展示