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

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

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

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