谢、陶；达科·马里诺夫；沃尔夫拉姆·舒尔特；大卫·诺金 Symstra：使用符号执行生成面向对象单元测试的框架。 （英语） Zbl 1087.68601号 Halbwachs，Nicolas（ed.）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440365-381（2005）。 概要：面向对象的单元测试由一系列方法调用组成。调用的行为取决于方法的参数和调用开始时接收方的状态。相应地，生成单元测试涉及两个任务：生成构建相关接收方对象状态的方法序列和生成相关的方法参数。本文提出了Symstra，这是一个框架，它使用符号执行带符号参数的方法序列来实现两个测试生成任务。本文定义了面向对象程序的符号状态和新的状态比较。给定被测试类的一组方法和序列长度的界限，Symstra系统地探索类的对象状态空间，并基于状态比较删减这种探索。实验结果表明，Symstra生成的单元测试比基于具体方法参数的现有测试生成技术更快地实现更高的分支覆盖率。关于整个系列，请参见[Zbl 1068.68006号]. 引用于7文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 软件：JUnit公司；POOC公司；茂物；Symstra公司；veriSoft软件；JML公司；活力；科拉特；爆炸；Java PathFinder；罗斯特拉 PDF格式BibTeX公司 XML格式引用 \textit{T.Xie}等人，Lect。注释计算。科学。3440365-381（2005年；Zbl 1087.68601） 全文： 内政部