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

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

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

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

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

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

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

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

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