k-n軟件系統(tǒng)測(cè)試集生成方法設(shè)計(jì)與研究.pdf

1、參數(shù)的配對(duì)組合測(cè)試是適用于各種軟件系統(tǒng)的一種實(shí)用而且有效的測(cè)試方法。目前，應(yīng)用于軟件系統(tǒng)生成測(cè)試案例集合的方法主要有：正交矩陣方法、覆蓋矩陣方法、AETG、IPO組合策略等。 1.介紹了正交矩陣方法、覆蓋矩陣方法、AETG、IPO等四種方法的主要思想，總結(jié)和比較了它們各自的應(yīng)用范圍和優(yōu)缺點(diǎn)。分析了運(yùn)用正交矩陣方法和覆蓋矩陣方法構(gòu)造測(cè)試集的過(guò)程及其在參數(shù)組合配對(duì)測(cè)試中的應(yīng)用。通過(guò)分析它們?cè)谲浖到y(tǒng)中生成測(cè)試集時(shí)存在的問(wèn)題，包括軟件

2、系統(tǒng)與測(cè)試集生成方法之間的不適應(yīng)性、構(gòu)造測(cè)試集的算法復(fù)雜、測(cè)試集偏大等問(wèn)題，論文提出了改進(jìn)方法。 2.為了有效解決這些方法中存在的諸多問(wèn)題，把k-n軟件系統(tǒng)，即參數(shù)個(gè)數(shù)k和參數(shù)取值個(gè)數(shù)n的系統(tǒng)劃分成四類。對(duì)于n=2的k-2二值軟件系統(tǒng)，本文設(shè)計(jì)一種基于縱向二進(jìn)制字符串集合和控制變量法的測(cè)試集生成方法。對(duì)于n>2，n是素?cái)?shù)或素?cái)?shù)冪的k-n軟件系統(tǒng)，設(shè)計(jì)一種基于正交矩陣及其派生矩陣、兩個(gè)有用判別條件的測(cè)試集覆蓋矩陣方法。對(duì)于k個(gè)參數(shù)