《面向軟體可信性演進的軟體測試技術研究》是依託東南大學，由徐寶文擔任項目負責人的重大研究計畫。
基本介紹
- 中文名：面向軟體可信性演進的軟體測試技術研究
- 項目類別：重大研究計畫
- 項目負責人：徐寶文
- 依託單位：東南大學
中文摘要,結題摘要,
中文摘要
針對高可信軟體的特點和要求，在結合最佳化已有研究成果的基礎上，研究面向軟體可信性演進的軟體測試技術並進行實驗驗證。為保證軟體系統朝可信性增長的方向演進，首先用軟體分析和度量來識別軟體系統的薄弱環節，然後據此進行有針對性的代碼修正，最後利用這些信息進行有導向性的測試用例生成和最佳化，這個過程進行多次疊代直到軟體可信性達到預期的要求。具體研究內容包括: 1、軟體可信性演進模型的邏輯框架研究；2、基於測試信息的缺陷定位技術研究；3、基於缺陷信息的代碼修正技術研究；4、基於測試信息、缺陷信息和程式結構信息的軟體可信性度量技術研究；5、基於結構化度量的缺陷預測技術研究；6、基於度量信息的測試用例生成及最佳化技術研究；7、支撐平台的開發和實驗驗證研究。本項目的研究不僅可以推動高可信軟體質量保證技術的理論研究，而且具有重要的實際套用價值。
結題摘要
針對高可信軟體的特點和要求，本課題在結合最佳化已有研究成果的基礎上研究面向軟體可信性演進的軟體測試技術並進行實驗驗證。為保證軟體系統朝可信性增長的方向演進，首先用軟體分析和度量來識別軟體系統的薄弱環節，然後據此進行有針對性的代碼修正，最後利用這些信息進行有導向性的測試用例生成和最佳化，這個過程進行多次疊代直到軟體可信性達到預期的要求。具體研究內容包括: 1、軟體可信性演進模型的邏輯框架研究；2、基於測試信息的缺陷定位技術研究；3、基於缺陷信息的代碼修正技術研究；4、基於測試信息、缺陷信息和程式結構信息的軟體可信性度量技術研究；5、基於結構化度量的缺陷預測技術研究；6、基於度量信息的測試用例生成及最佳化技術研究；7、支撐平台的開發和實驗驗證研究。 經過全體研究人員的共同努力，我們開發了面向軟體可信性演進的軟體測試技術以及支撐平台，並在艦載作戰指控軟體進行了驗證，取得了良好的效果，完成了課題的研究內容，達到了課題任務書的要求。作為這些研究成果的總結，本課題在國內外期刊和會議上發表和錄用了高質量的研究論文62篇。其中，在軟體工程領域頂級期刊ACM Transactions on Software Engineering and Methodology上3篇，在IEEE Transactions on Software Engineering上1篇。此外，本課題培養了10名博士研究生和20名碩士研究生，申請了11項專利，並獲得了2012年度的江蘇省科技進步一等獎。
