《航天嵌入式軟體可信性度量方法與系統》是依託大連理工大學,由周寬久擔任項目負責人的重大研究計畫。
基本介紹
- 中文名：航天嵌入式軟體可信性度量方法與系統
- 依託單位：大連理工大學
- 項目類別：重大研究計畫
- 項目負責人：周寬久
- 批准號：91018003
- 申請代碼：F0203
- 負責人職稱：教授
- 研究期限：2011-01-01 至 2011-12-31
- 支持經費：50（萬元）
項目摘要
規模龐大的航天工程具有大量的嵌入式軟體，而嵌入式軟體本身由於需要處理大量中斷，並具有實時和並發特性而導致系統測試複雜困難。本項研究擬圍繞中國航天軟體評測中心的實際問題以及未來的技術需求在前期工作的基礎上展開：研究C/C++缺陷模式匹配算法以及靜態評估模型，從代碼分析角度分析發現軟體缺陷以及潛在錯誤以降低測試成本；研究基於複雜網路的測試用例生成方法，在無法保證全覆蓋的情況下發現函式調用形成的關鍵路徑生成測試用例以提高測試效率；研究中斷調度生成算法，測試系統動態性能並發現中斷過載錯誤；採用排隊論模型對嵌入式軟體進行性能評估，通過設定不同中斷到來時間間隔，分析系統的平均中斷處理時間、最差中斷處理時間、CPU安全占有率等關鍵性能指標，對嵌入式軟體動態性能進行評價。基於高性能集群平台，以SPARC 仿真為基礎，有效集成上述研究成果，建立全數字仿真驗證平台，支持快速準確發現軟體缺陷，提高評測效率。
