基于功能對(duì)象的測(cè)試用例生成模型研究與實(shí)現(xiàn).pdf

1、測(cè)試用例的自動(dòng)生成是軟件測(cè)試的一個(gè)重要方面，測(cè)試用例生成的復(fù)雜度與質(zhì)量直接影響測(cè)試的效率和覆蓋面，可以說(shuō)測(cè)試用例生成技術(shù)已經(jīng)成為了軟件測(cè)試的靈魂。 已有的針對(duì)功能測(cè)試的自動(dòng)測(cè)試?yán)碚撝饕譃閮深悾夯谝?guī)約的測(cè)試用例生成方案和基于GUI信息的測(cè)試用例生成方案。基于規(guī)約的測(cè)試用例生成方案將被測(cè)試軟件的功能以形式化語(yǔ)言描述，根據(jù)形式化語(yǔ)言的謂詞邏輯關(guān)系，推導(dǎo)出程序輸入和輸出之間的約束關(guān)系，再利用數(shù)學(xué)方法得到軟件輸入域，根據(jù)相應(yīng)測(cè)試?yán)碚摰?/p>

2、到測(cè)試用例，如基于Z規(guī)格和基于UML規(guī)約的測(cè)試用例自動(dòng)生成技術(shù)就是采用這種方案，這種方案的主要不足是沒(méi)有考慮軟件的界面狀態(tài)信息，因此在生成具有復(fù)雜界面狀態(tài)軟件的測(cè)試用例時(shí)由于復(fù)雜度大而難以實(shí)現(xiàn)；而基于GUI的測(cè)試用例生成技術(shù)主要考慮的是軟件界面狀態(tài)信息，以界面狀態(tài)的約束關(guān)系作為測(cè)試用例的生成準(zhǔn)則，以界面覆蓋率作為測(cè)試用例的主要評(píng)價(jià)標(biāo)準(zhǔn)。這種方法的主要不足是片面的強(qiáng)調(diào)了界面狀態(tài)的覆蓋率而忽略了軟件的功能意義，因此造成了生成的測(cè)試用例的質(zhì)量

3、不理想，測(cè)試效率較低。 本項(xiàng)研究以國(guó)家863基礎(chǔ)類研究課題“三維數(shù)字化設(shè)計(jì)系統(tǒng)自動(dòng)測(cè)試技術(shù)研究與系統(tǒng)實(shí)現(xiàn)(課題編號(hào)：2002AA411510)”為背景，研究和分析了已有的基于功能測(cè)試的測(cè)試用例生成方案，借鑒相應(yīng)的GUI測(cè)試和覆蓋準(zhǔn)則，以腳本測(cè)試技術(shù)為基礎(chǔ)，提出了一個(gè)針對(duì)具有復(fù)雜人機(jī)交互軟件系統(tǒng)的測(cè)試用例生成模型—基于功能對(duì)象的測(cè)試用例生成模型，該模型采用面向?qū)ο蟮乃枷耄瑢⒂脩羰褂帽粶y(cè)試系統(tǒng)的操作流程以功能為單位進(jìn)行拆分，封裝成為

4、功能對(duì)象，再以功能之間的約束關(guān)系作為組合準(zhǔn)則對(duì)功能對(duì)象進(jìn)行重組，形成測(cè)試用例驅(qū)動(dòng)被測(cè)試系統(tǒng)進(jìn)行測(cè)試。這種模型改善了一般的規(guī)約模型難于應(yīng)用到面向?qū)ο?OO)軟件的缺點(diǎn)，又避免了一般的GUI測(cè)試準(zhǔn)則片面追求界面覆蓋率的弊端，在一定程度上簡(jiǎn)化了交互式軟件的測(cè)試用例生成。本文提出的測(cè)試用例生成模型，已在三維數(shù)字化設(shè)計(jì)系統(tǒng)的專用測(cè)試平臺(tái)CADTesting中成功實(shí)現(xiàn)，目前CADTesting已運(yùn)用到了國(guó)產(chǎn)三維數(shù)字化設(shè)計(jì)系統(tǒng)TiGems的測(cè)試中，為