基于形式規(guī)格說明的類測試驅(qū)動(dòng)和測試預(yù)測方法的研究.pdf

1、面向?qū)ο筌浖y試是面向?qū)ο筌浖_發(fā)中不可缺少的一環(huán)，是保證軟件質(zhì)量，提高軟件可靠性的關(guān)鍵。類是面向?qū)ο蠓椒ㄖ凶钪匾母拍?，是?gòu)成面向?qū)ο蟪绦虻幕境煞?，因此類成為面向?qū)ο鬁y試的焦點(diǎn)。但對于面向?qū)ο蟮念悳y試，大部分的研究都集中在測試用例的生成上，而忽略了對測試驅(qū)動(dòng)程序和測試預(yù)測的研究。然而測試驅(qū)動(dòng)和測試預(yù)測是軟件測試過程中不可缺少的兩個(gè)環(huán)節(jié)，如果一個(gè)測試，只有測試用例，而不能運(yùn)行這些測試用例，并且在運(yùn)行之后，不能對運(yùn)行結(jié)果進(jìn)行評估分析。我

2、們可以想象，這樣的測試將毫無意義。因此，本文將類測試中的測試驅(qū)動(dòng)程序和測試預(yù)測作為研究的重點(diǎn)。 針對如何產(chǎn)生類測試驅(qū)動(dòng)程序，本文給出了一種類測試驅(qū)動(dòng)程序的構(gòu)造框架。利用面向?qū)ο蠹夹g(shù)的設(shè)計(jì)思想，設(shè)計(jì)了一個(gè)驅(qū)動(dòng)基類，通過繼承驅(qū)動(dòng)基類，并覆蓋驅(qū)動(dòng)基類中的虛函數(shù)而生成一個(gè)被測類的驅(qū)動(dòng)類。同時(shí)在主控程序中注冊被測試類的驅(qū)動(dòng)類，從而得到被測試類的驅(qū)動(dòng)程序。并通過一個(gè)實(shí)例，說明該驅(qū)動(dòng)構(gòu)造框架的可行性。 針對類測試預(yù)測，本文給出了一種類

3、測試預(yù)測生成框架。該框架為每個(gè)被測類(CUT)產(chǎn)生一個(gè)預(yù)測類，該預(yù)測類的主要功能是完成對被測類的測試預(yù)測。預(yù)測類的數(shù)據(jù)成員主要有兩部分組成，第一部分我們稱為前狀態(tài)數(shù)據(jù)成員(用于表示被測類在執(zhí)行測試前的狀態(tài))，第二部分我們稱為后狀態(tài)數(shù)據(jù)成員(用于表示被測類在執(zhí)行測試后的狀態(tài))。每一部分的數(shù)據(jù)成員都是和被測類中的狀態(tài)數(shù)據(jù)成員相對應(yīng)的。預(yù)測類的方法有：具體實(shí)現(xiàn)的統(tǒng)一方法，存儲(chǔ)前狀態(tài)方法和存儲(chǔ)后狀態(tài)方法，預(yù)測方法(該方法是和被測類中的每個(gè)方法一

4、一對應(yīng)的，主要功能是完成對被測類中每個(gè)方法的預(yù)測)。預(yù)測方法是預(yù)測類中的核心操作，其具體產(chǎn)生過程：為每個(gè)方法內(nèi)測試用例構(gòu)造一個(gè)預(yù)測，一個(gè)方法可能會(huì)有多個(gè)方法內(nèi)測試用例，我們將一個(gè)方法的所有方法內(nèi)測試用例預(yù)測集成在一起形成一個(gè)方法的預(yù)測，即預(yù)測方法。該框架的特點(diǎn)可概括如下：采用了被動(dòng)預(yù)測的思想，即不模擬軟件行為，而只檢查軟件行為；預(yù)測是相對獨(dú)立的，而不是內(nèi)嵌在被測實(shí)現(xiàn)中；我們從方法內(nèi)測試用例中采集預(yù)測信息，而不是直接從規(guī)格說明中采集信息；