OCL約束下多態(tài)路徑測試方法的研究.pdf

1、隨著軟件技術(shù)的快速發(fā)展和軟件產(chǎn)品的廣泛應(yīng)用，軟件測試作為保障軟件質(zhì)量的重要手段越來越受到研究人員的關(guān)注。近年來面向?qū)ο筌浖_發(fā)技術(shù)的廣泛應(yīng)用，帶來了信息技術(shù)革命的同時也對傳統(tǒng)的軟件測試技術(shù)提出了新的挑戰(zhàn)。半形式化的建模語言UML無法精確描述對象中附加的約束信息，使得基于UML模型產(chǎn)生的測試用例的完備性出現(xiàn)嚴(yán)重不足，而形式化約束語言恰好可以對此做有效補充。本文在深入分析UML模型中類圖、狀態(tài)圖、協(xié)作圖和OCL形式化語言的基礎(chǔ)上，應(yīng)用控制流

2、分析技術(shù)為包含多態(tài)信息的被測軟件生成有效的測試用例，這在理論和技術(shù)方面對現(xiàn)有的軟件測試均具有重要意義。
　　本文從被測系統(tǒng)包含的對象及對象之間的聯(lián)系出發(fā)，結(jié)合類圖、狀態(tài)圖和協(xié)作圖本身的特點，將類圖中包含的對象和多態(tài)信息引入?yún)f(xié)作圖的消息交互過程中，并考慮交互消息對對象狀態(tài)的影響，較為有效和全面地生成多態(tài)路徑集成測試線索集；然后引入附加在類圖中的OCL約束并設(shè)計OCL表達(dá)式解析算法為測試線索生成測試數(shù)據(jù)，合成為最終的測試用例。但圖形化

3、的UML模型并不能直接獲取測試用例，因此本文在深入分析UML模型信息結(jié)構(gòu)的基礎(chǔ)上，依據(jù)需求對模型進(jìn)行形式化并給出了具體的形式化定義。
　　針對傳統(tǒng)的過程間受限控制流圖（IRCFG）沒有結(jié)合類圖中約束和多態(tài)信息的不足，結(jié)合類圖、狀態(tài)圖和協(xié)作圖包含的有效信息，設(shè)計構(gòu)造了OCL約束下包含多態(tài)和狀態(tài)信息的消息間受限控制流圖（UCIPSIMRCFG）模型。在對其形式化描述的基礎(chǔ)上給出了RCFG模型和UCIPSIMRCFG模型的具體構(gòu)造過程，

4、設(shè)計了基于RCFG和UCIPSIMRCFG模型的測試線索生成覆蓋準(zhǔn)則和測試線索提取的具體算法。最后結(jié)合模型中包含的OCL約束信息，依據(jù)得到的測試線索應(yīng)用等價類劃分和邊界值分析法生成了完整的測試用例。這使得面向?qū)ο蠹夹g(shù)中包含多態(tài)信息的集成測試問題得到了有效解決。
　　基于上述思路本文設(shè)計了UCIPSIMRCFG測試框架，并對該框架的主要模塊和關(guān)鍵技術(shù)進(jìn)行了深入分析和研究。在對開源UML建模工具ArgoUML模型文件分析研究的基礎(chǔ)上，