基于模型的安全關鍵軟件全覆蓋測試方法的研究與實現(xiàn).pdf

1、計算機軟件質量問題一直是軟件開發(fā)中的一個重要而棘手的問題。在許多現(xiàn)代系統(tǒng)中，比如航空工業(yè)控制、鐵路信號、核電系統(tǒng)以及醫(yī)療設備中，軟件都扮演著舉足輕重的作用，從而對軟件質量提出更高、更嚴格的要求。認識到嵌入式系統(tǒng)中軟件的重要地位，美國航空無線電技術委員會制定了DO-178B作為機載軟件開發(fā)過程應遵循的準則，歐洲電子技術委員會制定了EN50128作為信號系統(tǒng)軟件開發(fā)過程應遵循的準則，以上兩個標準都對軟件測試過程作了詳細的說明與規(guī)定，特別指出

2、了測試覆蓋率的問題。結構覆蓋率分析的目的是完善基于需求的測試，它可以發(fā)現(xiàn)程序中是否存在不期望出現(xiàn)的功能。隨著用戶對安全關鍵嵌入式系統(tǒng)性能的需求不斷增加和設計復雜度的提高，人們越來越依賴用覆蓋率度量來衡量驗證過程，以保證其高效性和完整性。
　　在結構覆蓋率測試中主要有語句覆蓋、判定覆蓋、MC/DC覆蓋等幾種方式，本文對這幾種方式進行了詳細的介紹說明與對比，評價了各種方法的優(yōu)劣，指出了MC/DC在應用效果上具有的巨大優(yōu)勢。隨后專門對M

3、C/DC的概念進行了介紹，分析了MC/DC中兩種設計方法——唯一原因法（Unique-cause）與屏蔽法（Masking）的優(yōu)劣與適用范圍，闡述了MC/DC的幾種典型的評價分析策略。
　　由于在現(xiàn)有嵌入式軟件開發(fā)過程中，用戶越來越多地用基于模型的設計方法代替之前的基于代碼的設計手段，在測試方面本文提出了用模型覆蓋率替代代碼覆蓋率的思路，從而提高了獲得100％軟件測試的覆蓋率的效率。本文使用SCADE Suite作為基于模型的軟件