面向?qū)ο筌浖y試技術(shù)—類級別測試用例生成及回歸測試研究.pdf

1、該文主要對面向?qū)ο筌浖蓄惣墑e的測試用例自動生成方法以及類級別的回歸測試用例選取問題進行研究.作者采用基于規(guī)約的測試用例生成的思想,通過在面向?qū)ο筌浖_發(fā)過程中產(chǎn)生的分析設(shè)計規(guī)約,特別是類的行為模型,作為測試用例生成的基礎(chǔ).UML狀態(tài)圖是一個語義豐富的動態(tài)行為的描述模型,但其結(jié)構(gòu)較為復(fù)雜,其存在層次嵌套結(jié)構(gòu)以及并發(fā)結(jié)構(gòu).要研究如何從中生成測試用例,我們采用自底向上的思路,首先我們研究一個為簡單的行為描述模型-有限狀態(tài)機,建立從有限狀態(tài)生

2、成測試用例的方法;然后我們再研究一個比有限狀態(tài)稍微復(fù)雜一些的模型-擴展有限狀態(tài)機,對基于有限狀態(tài)機模型產(chǎn)生測試用例的方法進行了進一步的擴展,建立從擴展有限狀態(tài)機中生成測試用例的方法;UML的狀態(tài)圖在擴展有限狀態(tài)機的基礎(chǔ)上增加了層次嵌套以及并發(fā)的結(jié)構(gòu),在前面兩個部分研究的基礎(chǔ)上,我們對UML狀態(tài)圖進行平坦化處理,然后使用擴展有限狀態(tài)機的測試用例生成方法生成所需的測試用例.在該文中我們提出對回歸測試問題采取分層的策略,即對類的回歸測試問題和