2023年6月29日发(作者：)

第３卷第１期　２０１３年２月　智能计算机与应用　ＩＮＴＥＬＬＩＧＥＮＴ　ＣＯＭＰＵＴＥＲ　ＡＮＤ　ＡＰＰＬＩＣＡＴＩＯＮＳ　Ｖ０１．３　Ｎｏ．１　Ｆｅｂ．２０１３　成　朱玲莉，刘丽娜，汤创为　（南华大学计算机科学与技术学院，湖南衡阳４２１００１）　摘　要：程序似然不变量是程序中隐含的属性，可以应用于程序验证、软件测试技术、逆向工程等领域。针对自动化测试工具ｃ＋＋　Ｔｅｓｔ产生的测试用例集，利用程序不变量分析工具Ｄａｉｋｏｎ判断这些测试用例是否改变了当前的不变量；并将两种工具结合生产一　种自动化测试用例集约简工具ＣＤＲＴ（ｃ＋＋Ｔｅｓｔ　Ａｎｄ　Ｄｍｋｏｎ　Ｒｅｄｕｃｔｉｏｎ　Ｔｅｓｔｉｎｇ），从而达到约简测试用例集的效果，再通过变异测试　工具ＩＮＳＵＲＥ＋＋对简化后的测试用例集进行评估。实验结果表明，ＣＤＲＴ工具能有效地约简测试用例集。　关键词：Ｄａｉｋ０ｎ：ｃ＋＋Ｔｅｓｔ；测试用例集约简：变异测试　中图分类号：ＴＰ３９１　文献标识码：　Ａ　文章编号：２０９５—２１６３（２０１３）Ｏ１—００３９—０４　Ｔｈｅ　Ｔｅｓｔ　Ｃａｓｅ　Ｓｕｉｔｅ　ｌ　ｄｕｃｔｉｏｎ　Ｔｏｏｌｓ　ｂａｓｅｄ　ｏｎ　Ｄａｉｋｏｎ　ａｎｄ　Ｃ＋＋Ｔｅｓｔ　ＺＨＵ　Ｌｉｎｇｌｉ，ＬＩＵ　Ｌｉｎａ，ＴＡＮＧ　Ｃｈｕａｎｇｗｅｉ　（Ｃｏｍｐｕｔｅｒ　ｓｃｉｅｎｃｅ　ａｎｄ　ｔｅｃｈｎｏｌｏｇｙ　ｃｏｌｌｅｇｅ，Ｕｎｉｖｅｒｓｉｔｙ　ｏｆ　Ｓｏｕｔｈ　Ｃｈｉｎａ，Ｈｅｎｇｙａｎｇ　Ｈｕｎａｎ　４２１００１，Ｃｈｉｎａ）　Ａｂｓｔｒａｃｔ：Ｔｈｅ　ｐｏｇｒａｍ　ｌｉｋｅｌｙ　ｉｎｖａｒｉａｎｔ　ｉｓ　ｉｍｐｌｉｅｄ　ｉｎ　ｔｈｅ　ｐｒｏｇｒａｍ　ｐｒｏｐｅｒｔｉｅｓ，ａｎｄ　ｃａｎ　ｂｅ　ａｐｐｌｉｅｄ　ｔｏ　ｈｔｅ　ｒａｎｇｅ　ｏｆｐｒｏｇｒａｍ　ｖｅｒｉｆｉｃａｔｉｏｎ　ｎａｄ　ｓｏ．ｖａｌｅ　ｔｅｓｔ．Ａｃｃｏｒｄｉｎｇ　ｔｏ　ｈｔｅ　Ｔｅｓｔ　ｃａｓｅ　ｓｕｉｔｅ　ｇｅｎｅｒａｔｅｄ　ｂｙ　Ｔｅｓｔ　ａｕｔｏｍａｔｉｏｎ　ｔｏｏｌ　Ｃ＋＋Ｔｅｓｔ，ｔｈｅ　ｐａｐｅｒ　ＵＳｅＳ　Ｄａｉｋｏｎ　ｔｏ　ｊｕｄｇｅ　ｗｈｅｔｈｅｒ　ｈｔｅｓｅ　ｔｅｓｔ　ｃａｓｅｓ　ｃｈａｎｇｅｓ　ｈｔｅ　ｉｎｖａｒｉａｎｔ，ｔｈｅｎ　ｃｏｍｂｉｎｅｓ　ｈｔｅ　ｔｗｏ　ｔｏｏｌｓ　ｏｔ　ｐｒｏｄｕｃｅ　ｎａｏｔｈｅｒ　ｔｏｏｌ　ｃａｌｌｅｄ　ＣＤＲＴ，ＳＯ　ａｓ　ｏｔ　ａｃｈｉｅｖｅ　ｈｔｅ　ｅｆｆｅｃｔ　ｏｆｔｅｓｔ　ｓｕｉｔｅ　ｒｅ－　ｄｕｃｔｉｏｎ．Ａｔ　ｌａｓｔ，ｔｈｅ　ｒｅｄｕｃｅｄ　ｅｔｓｔ　ｃａｓｅ　ｓｕｉｔｅｓ　ａｌｅ　ｓａｓｅｓｓｅｄ　ｙｂ　Ｉｎｓｕｒｅ＋＋．Ｔｈｅ　ｅｘｐｅｒｉｍｅｎｔａｌ　ｒｅｓｕｌｔｓ　ｓｈｏｗ　ｔｈａｔ　ｈｔｅ　ＣＤＲＴ　ｉｓ　ｅｆｆｅｃｔｉｖｅ．　Ｋｅｙ　ｗｏｒｄｓ：Ｄａｉｋｏｎ；Ｃ＋＋－Ｔｅｓｔ：Ｔｅｓｔ　Ｃａｓｅ　Ｓｕｉｔｅ　Ｒｅｄｕｃｔｉｏｎ；Ｍｕｔａｔｉｏｎ　Ｔｅｓｔｉｎｇ　’　０引言　静态和动态分析，大量的覆盖率报告，并支持异构多平台开　测试用例贯穿于软件测试的整个过程，是软件测试的　发环境。　核心，随着软件测试技术的不断发展，测试工具的自动化也　Ｃ＋＋Ｔｅｓｔ分析类或者函数，然后自动地生成测试框架、　得到了普及与推广。如今，大部分的软件测试工具都可以实　测试用例和需要的桩函数。在Ｃ＋＋Ｔｅｓｔ中，将源函数加入工　现测试用例集的自动生成，这在一定程度上减轻了手工操　程编译且运行后，即可对源函数进行测试，并自动生成一定　作的负担，然而在这些自动化生成的测试用例集中，往往会　数目的测试用例。同时也可将测试用例导入和导出。　产生大量的等价输入而导致出现大批重复的用例或者不满　１．２不变量提取工具Ｄａｉｋｏｎ工作原理　足测试需求的测试用例，从而引发资源的浪费和效率的低　ＤａｉｋｏｎＩ３］是在２０００年由ＭＩＴ的Ｍｉｃｈａｅｌ　Ｅｒｎｓｔ主持　下。因此，如何判断和找出等价输入，精简测试用例集，提高　开发的一款动态不变量提取工具，能够从Ｃ／Ｃ＋＋、Ｊａｖａ等语　自动化测试工具的覆盖率，已成为一个重要的研究方向。　言编写的程序中提取不变量。Ｄａｉｋｏｎ的输出是按照程序执　程序似然不变量可以从大量的自动生成用例中筛选出　行轨迹统计调整而得到的似然不变量集合。这一结果可被　有用的子集，丢弃重复的测试用例【ｔ１。似然不变量【　则是这样　用作文档，加入到程序源码中作为断言，或者作为其它工具　ｋｏｎ提取的似然不变量集合作为编　一些断言，描述的是在程序的多次运行中，保持不变的这　的输入。本文即用Ｄａｉ种性质。似然不变量对理解程序和许多其它应用是非常有　写程序的输入，为测试用例集的约简提供规则。图１是　效的，包括测试用例生成，预测集成组件的不兼容性，修复　Ｄａｉｋｏｎ基本工作原理图。　不兼容的数据结构，检查数据流的有效性等。因此可以通过　由图１中可以看出，Ｄａｉｋｏｎ工具提取似然不变量的工　程序似然不变量来表示程序中数据覆盖程度等有价值的信　作过程基本上可以分为４个阶段：（１）插装阶段；（２）运　行；（３）检测不变量；（４）筛选不变量。　息，从而有助于消除无用测试用例，实现测试用例集约简。　本文通过在Ｃ＋＋Ｔｅｓｔ中调用不变量提取工具Ｄａｋｉｏｎ，从而　１．３　ＣＤＲＴ自动测试用例集约简工具　ＣＤＲＴ就是将Ｃ＋＋Ｔｅｓｔ与Ｄａｉｋｏｎ这两款工具进行接合　实现自动化工具ＣＤＲＴ来约简测试用例集。　后的自动化测试用例集约简工具的简称。在１．１和１。２节中　１测试用例自动约简工具ＣＤＲＴ　分别介绍了Ｃ＋＋Ｔｅｓｔ与Ｄａｉｋｏｎ的工作原理，因此要实现自　１．１测试用例生成工具Ｃ＋＋Ｔｅｓｔ　动化工具ＣＤＲＴ，关键是如何在Ｃ＋＋Ｔｅｓｔ中实现对于Ｄａｉｋｏｎ　Ｐａｒａｓｏｆｉ　ｃ＋＋Ｔｅｓｔ是一款为Ｃ／ｃ＋＋开发团队自动进行　的自动调用，而无需用户手动干预，因此在本文中根据设计　代码分析和单元测试的产品。Ｃ＋＋Ｔｅｓｔ的特点是自动化生成　模式中的Ｃｏｍｍａｎｄ模式。即通过命令调用方式来使用Ｄ秘一　收稿日期：２０１３—０１－０８　作者简介：朱玲莉（１９８７一），女，湖南益阳人，硕士研究生，主要研究方向：软件测试；　刘丽娜（１９８７一），女，湖南沅江人，硕士研究生，主要研究方向：软件测试；　汤创为（１９８６一），男，湖南沅江人，硕士研究生，主要研究方向：可信网络。