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

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

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

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