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

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

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

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

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