《高可信軟體的測試與評估》是依託北京航空航天大學，由蔡開元擔任項目負責人的聯合基金項目。
基本介紹
- 中文名：高可信軟體的測試與評估
- 依託單位：北京航空航天大學
- 項目負責人：蔡開元
- 項目類別：聯合基金項目
- 負責人職稱：教授
- 申請代碼：F0203
- 研究期限：2007-01-01 至 2010-12-31
- 批准號：60633010
- 支持經費：200（萬元）
項目摘要
軟體可靠性測試與評估是可信計算的核心組成部分，存在許多關鍵問題亟待解決，譬如測試與評估未能一體化，缺乏統一的理論基礎，缺乏堅實的實驗基礎。而Internet等網路計算的出現使得這些問題更為尖銳。本項目以無界網路、分散式計算和可信計算為背景，研究保證和提高軟體可靠性的關鍵技術手段，著重研究高可信軟體的測試與評估的理論、方法、技術、及其套用，包括程式分析與軟體測試方法、高可信軟體的可靠性評估、以及無界
