支持軟件可信性分析與評(píng)估的生產(chǎn)線-PPT精選課件

1、支持軟件可信性分析和評(píng)估的生產(chǎn)線南京大學(xué) 北京航空航天大學(xué)華東師范大學(xué) 北京郵電大學(xué)2009.12.18 北京trustie匯報(bào)提綱生產(chǎn)線解決的問題1生產(chǎn)線的組成2生產(chǎn)線各類工具簡(jiǎn)介3課題其它方面進(jìn)展4trustie生產(chǎn)線解決的問題針對(duì)可信軟件的關(guān)鍵技術(shù)需求，面向軟件生命周期各個(gè)階段的制品，通過軟件分析、測(cè)試和驗(yàn)證途徑認(rèn)識(shí)與理解軟件系統(tǒng)，提高軟件系統(tǒng)的可信性，為建立人與軟件系統(tǒng)之間的信任關(guān)系提供依據(jù)。提高軟件分析、測(cè)試和驗(yàn)證技術(shù)的有效性、可擴(kuò)展性、自動(dòng)化程度，降低可信軟件成本。trustie生產(chǎn)線組成 生產(chǎn)線面向軟件生命周期，由針對(duì)軟件規(guī)約、模型、代碼和缺陷的一組分析、測(cè)試、驗(yàn)證和評(píng)估工具組成

2、，支持主流建模語言UML主流軟件開發(fā)語言C/C+/ JAVA主要軟件缺陷的檢測(cè)：內(nèi)存泄露緩沖區(qū)溢出死鎖/指針誤用/風(fēng)格缺陷等生產(chǎn)線組成 trustietrustie生產(chǎn)線組成 生產(chǎn)線包括以下工具：C語言代碼分析和單元測(cè)試工具CAUT面向?qū)ο蟪绦蚍治雠c測(cè)試工具QESat軟件測(cè)試過程管理工具QESuite軟件缺陷自動(dòng)檢測(cè)工具DTS線性混成系統(tǒng)可達(dá)性的有界模型檢驗(yàn)工具BACH基于場(chǎng)景規(guī)約的時(shí)間性質(zhì)驗(yàn)證工具TASS基于UML模型的測(cè)試和驗(yàn)證工具集Jasmine基于活動(dòng)圖的測(cè)試用例生成工具Jasmine-ADG基于活動(dòng)圖的動(dòng)態(tài)驗(yàn)證工具Jasmine-ADV基于交互圖的動(dòng)態(tài)驗(yàn)證工具Jasmine-IODV

3、基于狀態(tài)圖的動(dòng)態(tài)驗(yàn)證工具Jasmine-SCV基于順序圖的動(dòng)態(tài)驗(yàn)證工具Jasmine-SDVtrustieC語言代碼分析和單元測(cè)試工具CAUT基本功能單元測(cè)試用例自動(dòng)生成代碼靜態(tài)檢查主要用途針對(duì)C程序，采用靜態(tài)分析與動(dòng)態(tài)運(yùn)行相結(jié)合的方式，檢測(cè)由于內(nèi)存訪問違例而導(dǎo)致的程序崩潰、斷言違反等常見的運(yùn)行時(shí)錯(cuò)誤。trustie面向?qū)ο蟪绦蚍治雠c測(cè)試工具QESat基本功能自動(dòng)代碼缺陷檢測(cè)人工輔助代碼審查軟件結(jié)構(gòu)審查軟件動(dòng)態(tài)覆蓋率分析主要用途提供對(duì)Java和C+兩種語言的支持，能幫助分析Java和C+程序，使程序員更快捷有效地理解程序結(jié)構(gòu)，及早地發(fā)現(xiàn)程序中隱藏的錯(cuò)誤，提高程序的質(zhì)量。trustie軟件測(cè)試過

4、程管理工具QESuite基本功能測(cè)試需求管理測(cè)試計(jì)劃管理測(cè)試過程的定義與監(jiān)控測(cè)試用例追蹤和管理軟件問題報(bào)告（軟件缺陷）的全生命期追蹤和管理基于測(cè)試數(shù)據(jù)的被測(cè)軟件可信性度量和評(píng)估主要用途支持對(duì)軟件全生命周期、符合可信軟件測(cè)試要求的軟件測(cè)試過程進(jìn)行管理。trustie軟件缺陷自動(dòng)檢測(cè)工具DTS基本功能基于故障模式的缺陷檢測(cè)基于安全漏洞模式的缺陷檢測(cè)基于疑問模式的缺陷檢測(cè)基于規(guī)則模式的缺陷檢測(cè)主要用途針對(duì)C/C+/Java程序，利用靜態(tài)分析的方法對(duì)源代碼中的軟件缺陷實(shí)施檢測(cè)。trustie線性混成系統(tǒng)可達(dá)性的有界模型檢驗(yàn)工具BACH基本功能線性混成自動(dòng)機(jī)可視化編輯面向單路徑的可達(dá)性驗(yàn)證有界全路徑的可

5、達(dá)性驗(yàn)證主要用途支持線性混成系統(tǒng)的可達(dá)性驗(yàn)證，能夠?qū)Υ笠?guī)模系統(tǒng)的關(guān)鍵路徑進(jìn)行深層次的檢驗(yàn)。trustie基于場(chǎng)景規(guī)約的時(shí)間性質(zhì)驗(yàn)證工具TASS基本功能可達(dá)性驗(yàn)證時(shí)間約束滿足性驗(yàn)證事件間隔延時(shí)驗(yàn)證主要用途用于需求和設(shè)計(jì)階段對(duì)場(chǎng)景規(guī)約的時(shí)間性質(zhì)做分析和驗(yàn)證?？尚诺膰?guó)家軟件資源共享與協(xié)同生產(chǎn)環(huán)境 第二次總體技術(shù)會(huì)議 trustieUML模型ADGSCVIODVSDVADV基于活動(dòng)圖的動(dòng)態(tài)驗(yàn)證工具基于活動(dòng)圖的測(cè)試用例生成工具基于交互圖的動(dòng)態(tài)驗(yàn)證工具基于狀態(tài)圖的動(dòng)態(tài)驗(yàn)證工具基于順序圖的動(dòng)態(tài)驗(yàn)證工具基于UML模型的測(cè)試和驗(yàn)證工具集Jasminetrustie基于UML模型的測(cè)試和驗(yàn)證工具集Jasmine基

6、于活動(dòng)圖的測(cè)試用例生成工具Jasmine-ADGUML活動(dòng)圖模型作為系統(tǒng)規(guī)約以模型路徑覆蓋為依據(jù)在隨機(jī)方法的基礎(chǔ)上引入動(dòng)態(tài)反饋機(jī)制結(jié)合機(jī)器學(xué)習(xí)中的分類方法有效地降低了測(cè)試用例生成的成本、提高了效率。基于UML動(dòng)態(tài)模型的運(yùn)行時(shí)驗(yàn)證工具Jasmine-ADVJasmine-IODVJasmine-SCVJasmine-SDV以UML動(dòng)態(tài)模型做為系統(tǒng)規(guī)約，針對(duì)JAVA程序進(jìn)行運(yùn)行時(shí)驗(yàn)證?？尚诺膰?guó)家軟件資源共享與協(xié)同生產(chǎn)環(huán)境 第二次總體技術(shù)會(huì)議 trustie課題其它方面工作進(jìn)展生產(chǎn)線工具集專利、著作權(quán) 知識(shí)產(chǎn)權(quán)技術(shù)創(chuàng)新 論文、論著成果轉(zhuǎn)化 示范應(yīng)用trustie課題其它方面工作進(jìn)展技術(shù)創(chuàng)新國(guó)際期刊、

7、國(guó)際會(huì)議和國(guó)內(nèi)一級(jí)學(xué)報(bào)40篇：國(guó)際期刊2篇Innovations in Systems and Software Engineering, Springer 國(guó)際學(xué)術(shù)會(huì)議28篇CAV2009、FMCAD2019、VMCAI2019、DATE2019ICST2019、SAC2019、IWMSE2019、TASE2019 、 ICECCS2019、FORTE2019、ICTAC2019、 SCAM2019、APSEC2019、TTSS2019、FACS2019、HASE2019、ICDCI2019、UTP2019、ISOLA2019、SAC2009國(guó)內(nèi)一級(jí)學(xué)報(bào)10篇中國(guó)科學(xué)、軟件學(xué)報(bào)、電子學(xué)報(bào)專著

8、3部、譯著3部trustie課題其它方面工作進(jìn)展知識(shí)產(chǎn)權(quán)獲專利授權(quán)1項(xiàng)基于倒排表進(jìn)行檢索提示的方法 申請(qǐng)技術(shù)專利6項(xiàng)一種基于軟件缺陷模式的測(cè)試方法應(yīng)用區(qū)間運(yùn)算的軟件測(cè)試方法基于編輯距離的源代碼相似度度量方法 用于多正則表達(dá)式聯(lián)合搜索的擴(kuò)展有限狀態(tài)機(jī)及搜索方法 LR（K）文法任意文法位置的斷點(diǎn)調(diào)試方法軟件測(cè)試用例生成方法與系統(tǒng)軟件著作權(quán)6項(xiàng) Java軟件缺陷檢測(cè)系統(tǒng) C程序缺陷缺陷檢測(cè)系統(tǒng) C程序缺陷缺陷檢測(cè)系統(tǒng) trustie課題其它方面工作進(jìn)展成果轉(zhuǎn)化軟件缺陷自動(dòng)檢測(cè)工具已初步應(yīng)用于“神舟-7”系統(tǒng)的測(cè)試對(duì)“神舟-7”系統(tǒng)中8個(gè)軟件實(shí)施了測(cè)試，發(fā)現(xiàn)了其中的13個(gè)故障 。與總裝備部軟件評(píng)測(cè)中心簽署了合作協(xié)議，擬在“神舟工程”、“探月工程” 系統(tǒng)中進(jìn)一步的合作。部分工具已經(jīng)在實(shí)際的軟件測(cè)試中使用奧運(yùn)會(huì)信息發(fā)布系統(tǒng)的測(cè)試7個(gè)子系統(tǒng)5輪測(cè)試的問題數(shù)：108=31+34+20+23+（0）4個(gè)國(guó)防軟件系統(tǒng)的測(cè)試