《航天嵌入式軟體缺陷檢測方法研究、系統研發及套用》是依託北京郵電大學，由宮雲戰擔任項目負責人的重大研究計畫。
基本介紹
- 中文名：航天嵌入式軟體缺陷檢測方法研究、系統研發及套用
- 項目類別：重大研究計畫
- 項目負責人：宮雲戰
- 依託單位：北京郵電大學
- 批准號：91018002
- 申請代碼：F0201
- 負責人職稱：教授
- 研究期限：2011-01-01 至 2011-12-31
- 支持經費：50（萬元）
項目摘要
本項目對嵌入式軟體缺陷模式及檢測方法進行研究，並研發實用化的測試系統，以檢測載人航天工程和探月工程軟體原始碼缺陷。在標準C/C++缺陷模式研究的基礎上，研究Keil C51、GCC 和CCS IDE的缺陷模式，建立其缺陷模式資料庫。主要從三個方面來提高缺陷檢測的精度：在區間和區間集變數抽象表示基礎上，採用符號運算處理變數之間的關聯關係，提高變數抽象取值計算的精度；通過更加精化的狀態合併策略，包括控制流匯合節點選擇策略和狀態選擇合併策略，提高路徑敏感缺陷檢測算法的精度；採用變數的抽象取值來表示函式調用的上下文信息，根據缺陷檢測的特點，研究基於函式摘要的上下文敏感函式間分析方法，將函式間缺陷檢測問題轉化為函式內缺陷檢測問題。根據之前建立的缺陷資料庫，採用數據挖掘技術研究缺陷之間的關聯關係，用於指導缺陷的分析、檢測與確認。
