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

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

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

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