作者：曾凡平 袁园 潘能刚 邓超强随机测试程序不变量约简随机空间测试用例
摘要：随机测试以其自动化程度高、揭错能力强的优势一直在测试用例的自动化生成领域占据着重要的地位，但其冗余度高、覆盖率低的缺陷限制了它的应用．程序不变量是程序的某个或某些特定的点上保持为真的属性，它可以提供程序运行时的有价值的信息．提出一种不变量指导下的随机测试用例的自动化生成方法．这种方法通过提取程序运行时的动态不变量，指导随机测试用例的生成，并且利用随机生成的无效用例的反馈信息，约简冗余的随机用例空间，增大了选中有效用例的概率．实验结果表明，该方法在保持随机测试的高揭错能力的前提下，可以有效的降低随机测试的冗余度，提高其覆盖率．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
