《基於測試的軟體可信性增長模型及其評估方法研究》是依託北京航空航天大學，由劉超擔任項目負責人的重大研究計畫。
基本介紹
- 中文名：基於測試的軟體可信性增長模型及其評估方法研究
- 依託單位：北京航空航天大學
- 項目負責人：劉超
- 項目類別：重大研究計畫
- 批准號：90718018
- 申請代碼：F0203
- 負責人職稱：教授
- 研究期限：2008-01-01 至 2010-12-01
- 支持經費：50（萬元）
項目摘要
本課題旨在基於可信軟體測試基礎研究與成功的工程實踐基礎上，針對軟體可信性基礎研究中的關鍵問題，特別是基於測試的軟體可信性數據收集與分析、測試最佳化，以及可信性增長水平的度量和評估等基本問題，深入探索可信軟體測試方法及其對軟體可信性增長的貢獻規律。針對其非確定性特點，採用模糊邏輯思想和隨機過程及統計學原理，重點研究並提出一種基於測試的軟體可信性增長模型及其評估方法，包括如何基於測試論域分層劃分、測試用
