基于形式化UML測(cè)試序列生成方法研究.pdf

1、測(cè)試序列的優(yōu)劣直接影響到測(cè)試的質(zhì)量,如何生成優(yōu)秀的測(cè)試序列已是測(cè)試領(lǐng)域中較為重要的研究方向。UML語言是近年來面向?qū)ο笙到y(tǒng)開發(fā)應(yīng)用較為廣泛的工具之一,它具有易于表達(dá)、定義良好,功能強(qiáng)大、普遍使用的特點(diǎn)。利用UML建立軟件模型是目前使用較為廣泛的方法。在測(cè)試領(lǐng)域中,UML的應(yīng)用依然廣泛。本文在這個(gè)背景下對(duì)基于形式化UML,生成測(cè)試序列的方法、過程做了比較完整的研究。
　　 本文首先簡(jiǎn)要介紹了軟件測(cè)試的一些基本知識(shí)如:測(cè)試的定義、重

2、要性、目的、過程及方法,重點(diǎn)闡述了了面向?qū)ο筌浖y(cè)試技術(shù)及測(cè)試用例設(shè)計(jì)方法。接著介紹了UML的基本概念,UML中狀態(tài)圖、協(xié)作圖的基本語法規(guī)則,并給出了將協(xié)作圖形式化描述為有向圖,狀態(tài)樹形式化描述為樹形結(jié)構(gòu)的方法。利用上述方法,不僅用形式化的數(shù)據(jù)結(jié)構(gòu)描述了協(xié)作圖與狀態(tài)圖而且還為生成測(cè)試序列奠定了基礎(chǔ)。然后分析了擴(kuò)展有限狀態(tài)機(jī)的基本原理,并結(jié)合實(shí)例給出了將形式化的狀態(tài)圖轉(zhuǎn)化為擴(kuò)展有限狀態(tài)機(jī)的方法。由于UML狀態(tài)圖存在層次和并發(fā)性,傳統(tǒng)的流分