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

1、測試用例的自動生成是軟件測試的一個重要方面，測試用例生成的復(fù)雜度與質(zhì)量直接影響測試的效率和覆蓋面，可以說測試用例生成技術(shù)已經(jīng)成為了軟件測試的靈魂。 已有的針對功能測試的自動測試理論主要分為兩類：基于規(guī)約的測試用例生成方案和基于GUI信息的測試用例生成方案?；谝?guī)約的測試用例生成方案將被測試軟件的功能以形式化語言描述，根據(jù)形式化語言的謂詞邏輯關(guān)系，推導出程序輸入和輸出之間的約束關(guān)系，再利用數(shù)學方法得到軟件輸入域，根據(jù)相應(yīng)測試理論得

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

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

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