《艦載作戰指揮控制軟體的可信性質量保證支撐系統》是依託南京大學，由徐寶文擔任項目負責人的重大研究計畫。
基本介紹
- 中文名：艦載作戰指揮控制軟體的可信性質量保證支撐系統
- 項目類別：重大研究計畫
- 項目負責人：徐寶文
- 依託單位：南京大學
- 批准號：91018005
- 申請代碼：F0203
- 負責人職稱：教授
- 研究期限：2011-01-01 至 2011-12-31
- 支持經費：50（萬元）
項目摘要
本課題以艦載作戰指揮控制軟體的套用需求為研究背景，針對高可信軟體的實時性、可靠性和可靠安全性(Safety)等可信性關鍵屬性，展開分析、測試和度量技術研究，開展有效的分析和測試，定量地評估軟體缺陷及其產生的失效對軟體可信性關鍵屬性的影響，並在此基礎上研究如何利用測試信息和軟體自身執行信息自動定位軟體中的缺陷。具體研究內容包括：(1)軟體可信性關鍵屬性的質量保證技術研究，包括測試數據生成技術、原始碼靜態分析技術、缺陷定位技術和可信性關鍵屬性度量技術；(2)可信性關鍵屬性質量保證支撐工具集的設計與實現；(3)結合艦載作戰指揮控制軟體的高科性需求需求開展實驗驗證。本項目的研究不僅可以推動高可信軟體質量保證技術的理論研究，而且具有重要的實際套用價值。
