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

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

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