着色问题在测试用例集约简中的研究

摘要：

基于I/O关系的黑盒测试用例集约简技术能够保证约简后的测试集Tred具有和原完全组合测试集相同的检错能力.该文提出了Red(I)和Red(O)两个对问题空间(I,O)约简的算法;构建了I/O关系图,将问题空间(I,O)划分为若干子问题(I',O');并引入着色问题得到每个子图的同色等价类,进一步得到其基类Ii1,然后实施等价类替换和运用算法Red(O);进而运用贪心算法求解覆盖每个子问题空间的测试用例集Tired;最后水平拼接各T'red构成问题空间(I,O)的约简测试用例集Tired.这样得到的测试集不仅保持了检错能力,而且规模较小,同时又降低了贪心算法的时空复杂度.

关键词：组合测试、检错能力、I/O关系图、着色问题、非等值约简、等值约简

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：国家科技型中小企业技术创新基金06C26225101730;四川省重点项目05GG021-003-2

在线出版日期：2008-05-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1396-1399