一種面向?qū)ο笙到y(tǒng)功能的測(cè)試用例生成方法研究.pdf

1、軟件測(cè)試對(duì)軟件質(zhì)量的保證具有非常重要的意義,隨著面向?qū)ο蠓治雠c設(shè)計(jì)在軟件開(kāi)發(fā)中的大規(guī)模應(yīng)用,面向?qū)ο筌浖y(cè)試也成為不可忽視的研究領(lǐng)域。傳統(tǒng)的測(cè)試技術(shù)已經(jīng)不能保證面向?qū)ο筌浖恼_性,但新近研究出的面向?qū)ο鬁y(cè)試技術(shù)大多針對(duì)類測(cè)試,類簇級(jí)測(cè)試特別是系統(tǒng)測(cè)試方面的研究尚顯薄弱。功能測(cè)試在面向?qū)ο笙到y(tǒng)測(cè)試中占有相當(dāng)重要的地位,能否扎實(shí)順利地完成功能測(cè)試與能否成功地完成系統(tǒng)測(cè)試關(guān)系極大,而系統(tǒng)測(cè)試是系統(tǒng)投入運(yùn)行前進(jìn)行的最后一項(xiàng)也是最重要的一項(xiàng)測(cè)試

2、,它直接決定了系統(tǒng)能否達(dá)到用戶的需求,因此面向?qū)ο笙到y(tǒng)功能測(cè)試的研究急待深入。
　　 本文以面向?qū)ο笙到y(tǒng)測(cè)試中的功能測(cè)試為研究重點(diǎn),闡述了面向?qū)ο鬁y(cè)試的三個(gè)層次、UML以及對(duì)象約束語(yǔ)言O(shè)CL,討論了面向?qū)ο笙到y(tǒng)功能測(cè)試的若干方法。在上述基礎(chǔ)之上,本文圍繞面向?qū)ο笙到y(tǒng)測(cè)試中的功能測(cè)試,給出了面向?qū)ο笙到y(tǒng)功能測(cè)試用例的生成方法。
　　 本文的主要工作包括以下四個(gè)部分:
　　 (1)給出用案序列的生成方法。針對(duì)系統(tǒng)每個(gè)

3、用戶建立UML用例圖,研究了用案序列的生成過(guò)程,給出了用案序列的生成算法,并對(duì)算法進(jìn)行了性能分析。詳細(xì)給出了參數(shù)化的用案序列實(shí)例化的方法。
　　 (2)針對(duì)每個(gè)需求用案給出其操作序列的生成方法。將每個(gè)需求用案劃分為若干個(gè)場(chǎng)景,用規(guī)則表達(dá)式描述場(chǎng)景,合并場(chǎng)景的規(guī)則表達(dá)式得到需求用案的規(guī)則表達(dá)式,通過(guò)展開(kāi)成積項(xiàng)和處理循環(huán)得到需求用案的操作序列,利用OCL描述操作序列的前置條件。
　　 (3)系統(tǒng)測(cè)試用例及測(cè)試預(yù)測(cè)結(jié)果生成方法