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

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

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

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