《可信軟體的度量與測試方法研究》是依託南京大學，由徐寶文擔任項目負責人的重大研究計畫。
基本介紹
- 中文名：可信軟體的度量與測試方法研究
- 項目類別：重大研究計畫
- 項目負責人：徐寶文
- 依託單位：南京大學
項目摘要,
項目摘要
本項目以國家自然科學基金可信軟體重大研究計畫前期項目為基礎，進一步研究可信軟體的度量和測試方法。研究內容具體包括：（1）基於多源信息的工作量感知缺陷預測方法；（2）基於多樣性度量的測試用例生成與最佳化方法；（3）基於可信度量的缺陷定位與理解技術；（4）面向缺陷修復的測試用例選擇與擴增方法；（5）針對典型套用的實驗驗證。本項目集成了現有軟體分析、度量和測試方法、技術和工具，形成了一套具有理論支持並實際可操作的軟體可信性保障方法，研發了一個可信軟體質量保障支撐平台，並在艦船指揮控制系統上進行實驗驗證。本項目培養了5名博士、11名碩士，發表、錄用了29篇高質量論文（其中CCF A類論文10篇）並申請專利8項，所實現的支撐平台投入實際運用，相關成果獲得省級科技進步一等獎。
