基本介紹
- 中文名:基於多維屬性的軟體可信性度量模型的研究
- 項目類別:重大研究計畫
- 項目負責人:陳儀香
- 依託單位:華東師範大學
- 批准號:90718013
- 申請代碼:F0203
- 負責人職稱:教授
- 研究期限:2008-01-01 至 2010-12-01
- 支持經費:50(萬元)
項目摘要
軟體可信性的研究是計算機科學發展的前沿性和前瞻性研究。軟體的正確性、可靠性、安全性以及可控性等軟體性質構成了軟體可信性的多維屬性,以多維屬性為整體探討它與軟體可信性的內在聯繫,以及建立依賴於這多維屬性的軟體可信性度量模型是具有重要的科學意義和實際意義,其研究成果必將推動軟體的可信性研究和可信軟體業的發展。.本項目的研究主要內容是:1基於軟體可信性的多維屬性觀察、研究軟體可信性與這些屬性的內在聯繫