基于矩阵行列变换的测试用例约简算法-计算机应用研究.PDFVIP

第３０卷第３期 计 算 机 应 用 研 究 Ｖｏｌ．３０Ｎｏ．３ ２０１３年３月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ｍａｒ．２０１３ 基于矩阵行列变换的测试用例约简算法 周冲波，楼俊钢，程　龙 （湖州师范学院信息与工程学院，浙江湖州３１３０００） 摘　要：针对测试用例约简问题，定义了一种不会改变测试需求与测试用例覆盖关系的布尔运算。应用此运 算，辅以不同的测试需求、用例集优先策略，经矩阵的列变换得到精简的测试需求集，然后使用行变换对测试用 例集进行约简。该方法不受测试用例输入顺序的影响。实验表明，与一些常用的约简算法相比，提出的算法在 有序树生成程序测试用例约简的几个实例上都能得到较优的用例集。 关键词：软件测试；测试用例；测试需求约简；测试用例约简 中图分类号：ＴＰ３１１　　　文献标志码：Ａ　　　文章编号：１００１３６９５（２０１３）０３０７７９０４ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１３６９５．２０１３．０３．０３５ Ｔｅｓｔｓｕｉｔｅｓｒｅｄｕｃｔｉｏｎｂａｓｅｄｏｎｍａｔｒｉｘｔｒａｎｓｆｏｒｍａｔｉｏｎ ＺＨＯＵＣｈｏｎｇｂｏ，ＬＯＵＪｕｎｇａｎｇ，ＣＨＥＮＧＬｏｎｇ （ＣｏｌｌｅｇｅｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ＆Ｔｅｃｈｎｏｌｏｇｙ，ＨｕｚｈｏｕＴｅａｃｈｅｒｓＣｏｌｌｅｇｅ，ＨｕｚｈｏｕＺｈｅｊｉａｎｇ３１３０００，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｉｎａｌｌｕｓｉｏｎｔｏｔｈｅｐｒｏｂｌｅｍｏｆｔｅｓｔｒｅｑｕｉｒｅｍｅｎｔｓｒｅｄｕｃｔｉｏｎ，ｔｈｉｓｐａｐｅｒｄｅｆｉｎｅｄａｎｅｗＢｏｏｌｅａｎｏｐｅｒａｔｉｏｎｏｆｔｈｅｒｅｌａ ｔｉｏｎｓｈｉｐｓｗｈｉｃｈｄｉｄｎ’ｔｃｈａｎｇｅｔｈｅｃｏｖｅｒａｇｅｏｆｔｅｓｔｓｕｉｔｅｓｔｏｔｅｓｔｒｅｑｕｉｒｅｍｅｎｔｓ．Ｒｅｄｕｎｄａｎｃｅｒｅｑｕｉｒｅｍｅｎｔｓｗａｓｒｅｄｕｃｔｅｄｂｙｃｏｌ ｕｍｎｔｒａｎｓｆｏｒｍａｔｉｏｎｏｐｅｒａｔｉｏｎｏｆｍａｔｒｉｘｂａｓｉｓｏｆｔｈｅｉｎｔｅｒｒｅｌａｔｉｏｎｓａｍｏｎｇｔｈｅｔｅｓｔｉｎｇｒｅｑｕｉｒｅｍｅｎｔｓ，ｔｈｅｎｔｅｓｔｓｕｉｔｅｓｃｏｕｌｄｂｅｒｅ ｄｕｃｔｅｄｂｙｒｏｗｔｒａｎｓｆｏｒｍａｔｉｏｎｏｐｅｒａｔｉｏｎｏｆｍａｔｒｉｘ．Ｔｈｅｅｘｐｅｒｉｍｅｎｔａｌｒｅｓｕｌｔｓｂａｓｅｄｏｎｓｅｖｅｒａｌｃａｓｅｓｓｈｏｗｓｔｈａｔ，ｃｏｍｐａｒｅｄｗｉｔｈ ｓｏｍｅｏｔｈｅｒｅｘｉｓｔｅｄｍｅｔｈｏｄｓ，ｔｈｉｓｍｅｔｈｏｄｈａｓｂｅｔｔｅｒｐｒｏｐｅｒｔｙｔｈａｔｃａｎｇｅｎｅｒａｔｅｔｈｅｍｉｎｉｍａｌｔｅｓｔｓｕｉｔｅｔｏｔｅｓｔａｌｌｔｈｅｔｅｓｔｒｅｑｕｉｒｅ ｍｅｎｔｓｓｕｆｆｉｃｉｅｎｔｌｙ． Ｋｅｙｗｏｒｄｓ：ｓｏｆｔｗａｒｅｔｅｓｔｉｎｇ；ｔｅｓｔｓｕｉｔｅｓ；ｔｅｓｔｓｕｉｔｅｓｒｅｄｕｃｔｉｏｎ；ｔｅｓｔｒｅｑｕｉｒｅｍｅｎｔｓｒｅｄｕｃｔｉｏｎ Ｒ，由此得到一个新的测试集合Ｒ，Ｒ，…，Ｒ（ｄ ｎ）。由Ｒ ｉ １ ２ ｄ ≤ １ 　引言 得到必不可少测试用例，然后从Ｒ 开始，选择能最大限度满足 ２ ［１～３］ 需求的测试用例，即运用贪心算法。以此类推，从剩余Ｒ中依 测试用例的约简问题可以描述为 ：给出一个测试用例