面向?qū)ο筌浖悳y(cè)試研究.pdf

1、軟件測(cè)試是軟件工程中的一個(gè)階段,是保證軟件質(zhì)量的重要手段.面向?qū)ο筌浖y(cè)試技術(shù)的研究是面向?qū)ο箝_發(fā)方法的不可缺少的一環(huán),但目前的研究現(xiàn)狀與面向?qū)ο蟮姆治觥⒃O(shè)計(jì)方法以及程序設(shè)計(jì)語(yǔ)言的研究相比尚顯薄弱.論文首先介紹了軟件測(cè)試的一些基本概念,以求從總體上認(rèn)識(shí)軟件測(cè)試.接著該文分析了面向?qū)ο筌浖y(cè)試的特點(diǎn),敘述了類的封裝性、繼承性和多態(tài)性等特征在測(cè)試時(shí)對(duì)結(jié)構(gòu)測(cè)試、功能測(cè)試等測(cè)試方法所提出的問題和解決方法.該文針對(duì)一般的類狀態(tài)測(cè)試中存在的不足之處

2、,引入了一種作者稱之為"類閥"的模型.所謂"類閥",是指在調(diào)用類的每個(gè)方法前,所應(yīng)滿足的前提條件中類屬性條件部分.在類閥模型的基礎(chǔ)上, 提出了一種新的類測(cè)試方法.該方法以類狀態(tài)圖為依據(jù),以類閥為主要觀察對(duì)象,結(jié)合類方法測(cè)試去同步地實(shí)施類測(cè)試.由于能與類方法測(cè)試有機(jī)的結(jié)合,該方法不用專門地去另外設(shè)計(jì)測(cè)試用例,具有很好的實(shí)用價(jià)值.最后,作者將該文提出的測(cè)試方法,應(yīng)用于一個(gè)應(yīng)用軟件自動(dòng)取款機(jī)(ATM)模擬系統(tǒng)中ATM類的類測(cè)試中,講述了具體的