1、本文的研究課題來源于國家自然科學基金委重大研究計劃項目“基于元需求的可信軟件需求獲取和分析方法及工具研究”(No:90818014)，主要研究了以下內(nèi)容:
　　 對可信軟件研究現(xiàn)狀進行了回顧和綜述，特別注意把握非功能需求相關研究的國際研究熱點和動態(tài)。詳細地描述和界定了可信軟件非功能需求，這是非功能需求研究的一項基礎性工作。
　　 非功能需求的獲取與分析是一個研究熱點。本文建立了四種非功能需求的獲取模式，分別是目標模式、問

2、題模式、備擇模式和權衡模式。通過這四種模式，我們能捕獲非功能需求并對其進行精化和權衡。這四種非功能需求獲取與分析模式并不是孤立地存在的，它們之間有一定的內(nèi)在聯(lián)系。其中目標模式是從正面思維，對軟目標進行界定和精化;問題模式則是從負面思維對軟問題進行分析和構建相關知識庫;備擇模式集合了涉眾者對目標模式和問題模式地進一步探討，得出可能的解決方案;權衡模式探討非功能需求之間相互關系以及備擇選項之間的權衡取舍。這四種模式構成了一個比較完整的非功能

3、需求獲取與分析體系，是對Chung的非功能需求研究框架(Non-Functional Requirement Framework)的一個有益的補充。雖然還存在需要完善的地方，但已可以認為這是相關研究領域的一個創(chuàng)新。
　　 非功能需求之間存在錯綜復雜的關系，既有正向積極的，也有反向消極的。如何權衡NFR一直是非功能需求分析中的一個難點所在。本文提出了一種定性定量非功能需求權衡FQQSIG模型。這是一個進行權衡分析、消除可信軟件系統(tǒng)

4、中不確定性的新模型。首先，它把可信軟件的非功能需求分解成層次結構。其次，它收集了來自專家團隊的評價，即對非功能需求重要性程度進行的語言變量形式地模糊評價，這些評價通過梯形模糊數(shù)、RAGE去模糊過程轉化成精確的數(shù)值。第三，提出了一種FQQSIG模型來系統(tǒng)地分析非功能需求，包括定性定量兩方面的分析。第四，提出了關系矩陣算法來計算某個非功能需求節(jié)點的貢獻值。第五，運用一個FMMP系統(tǒng)實例證實此方法在實際設計中的可適用性，并且還對模型的可信性進

5、行了分析以保證模型的可信度。其中RAGE算法和矩陣算法都通過MATLAB7.0.1編程加以實現(xiàn)。最后，把FQQSIG模型與其它方法進行了系統(tǒng)地比較。
　　 FQQSIG模型是一種重要的定性定量集成方法，可以實際應用于可信軟件系統(tǒng)的非功能需求的定性定量評估與權衡。因此，本文以安全性非功能需求為例，對非功能需求的獲取與分析展開深入研究。以銀行、金融等安全性要求高的領域中廣泛使用的UNIX操作系統(tǒng)(SCO UNIX5.0.5)為平臺，

6、研究分析了安全性當中最重要的非功能需求——用戶信息的保密性（防止用戶信息非法截獲、披露、非法更改）的一個具體的實例。利用四種非功能需求獲取模式中的問題模式來分析保密安全性非功能需求，并且用問題相互依賴圖(Problem InterdependencyGraph，PIG)把其精化成元項。經(jīng)過實例研究得出結論:報文捕獲技術不但能截獲網(wǎng)絡中明文傳送的用戶信息還能保存、篩選和破譯用戶登錄報文信息，甚至還能利用破解的用戶賬號來入侵UNIX系統(tǒng)。最