一種基于UML順序圖生成測試數(shù)據(jù)的方法.pdf

1、軟件測試是保障軟件質(zhì)量的重要手段。隨著基于UML軟件測試的普及，基于UML順序圖生成測試數(shù)據(jù)，可以在系統(tǒng)開發(fā)早期就設(shè)計集成測試階段的測試用例，提高測試效率；并且是基于UML順序圖的集成測試能夠進行并發(fā)揮作用的關(guān)鍵。隨著UML2.0標(biāo)準(zhǔn)的提出，現(xiàn)有的基于UML順序圖的測試方法不能完全適用，本文對UML2.0順序圖進行研究，結(jié)合面向路徑的測試數(shù)據(jù)生成，提出一種基于UML順序圖生成測試數(shù)據(jù)的方法。 本文首先對順序圖進行控制流分析，基于

2、UML2.0活動圖元模型定義了能夠表達UML2.0順序圖控制流特點的UML順序圖控制流模型：SDCFG圖，給出從順序圖到SDCFG圖的轉(zhuǎn)換規(guī)則。 然后，結(jié)合OCL約束擴充SDCFG圖，定義了集成順序圖和類圖信息的模型：CIG圖，給出構(gòu)建CIG圖的規(guī)則。通過遍歷CIG圖生成的CIG路徑，一方面對應(yīng)了對象間的交互過程；另一方面包含了交互過程中的對象約束。在此基礎(chǔ)上對CIG路徑生成測試約束，并討論了如何去除由OCL導(dǎo)航機制產(chǎn)生的冗余約