軟件可信性增長(zhǎng)測(cè)試用例生成方法的研究.pdf

1、隨著軟件復(fù)雜性的增長(zhǎng)和入侵攻擊的加劇,可信性問題日益嚴(yán)峻,如何在軟件可信性增長(zhǎng)系統(tǒng)中生成測(cè)試用例成為當(dāng)前研究的一個(gè)熱點(diǎn)。本文在軟件可信性研究與軟件測(cè)試相關(guān)研究的國(guó)內(nèi)外基本現(xiàn)狀的基礎(chǔ)上,針對(duì)軟件可信性增長(zhǎng)測(cè)試用例生成的問題開展了一系列研究,主要體現(xiàn)在如下幾個(gè)方面:
　　 首先,設(shè)計(jì)了一種軟件可信性增長(zhǎng)系統(tǒng)框架,該框架以組件、連接件、接口、配置信息等要素為基本成分,同時(shí),該框架具有開放式關(guān)鍵任務(wù)系統(tǒng)結(jié)構(gòu),支持自頂向下、多層次的可信性

2、設(shè)計(jì),以自調(diào)節(jié)、自配置為增長(zhǎng)方式,并具有自毀的能力。
　　 其次,基于該框架的體系結(jié)構(gòu),對(duì)測(cè)試用例生成方法進(jìn)行了研究。本文定義了軟件體系結(jié)構(gòu)覆蓋準(zhǔn)則,依據(jù)生成的可信性增長(zhǎng)體系結(jié)構(gòu)描述構(gòu)造配置行為圖和配置中間信息,在分析可信性增長(zhǎng)體系各基本組成成分之間的依賴關(guān)系的基礎(chǔ)上,利用測(cè)試覆蓋準(zhǔn)則,生成了反映軟件可信性增長(zhǎng)系統(tǒng)元素端口事件路徑的測(cè)試用例。
　　 再次,本文研究了可信軟件的屬性,在此基礎(chǔ)上提出了一種軟件可信性增長(zhǎng)測(cè)評(píng)模