Symstra公司 swMATH ID: 1296 软件作者： 谢、陶；达科·马里诺夫；沃尔夫拉姆·舒尔特；大卫·诺金 描述： Symstra：使用符号执行生成面向对象单元测试的框架面向对象的单元测试由一系列方法调用组成。调用的行为取决于方法的参数和调用开始时接收器的状态。相应地，生成单元测试涉及两个任务：生成构建相关接收方对象状态的方法序列和生成相关的方法参数。本文提出了Symstra，这是一个框架，它使用符号执行带符号参数的方法序列来实现两个测试生成任务。本文定义了面向对象程序的符号状态和新的状态比较。给定被测试类的一组方法和序列长度的界限，Symstra系统地探索类的对象状态空间，并基于状态比较删减这种探索。实验结果表明，Symstra生成的单元测试比基于具体方法参数的现有测试生成技术更快地实现更高的分支覆盖率 主页： http://rd.springer.com/chapter/10.1007/978-3-540-31980-1_24 相关软件： 科拉特;Java PathFinder;投掷;测试时代;可爱的;罗斯特拉;爆炸;污水处理厂;J拉舍尔;埃克拉特;JUnit公司;JPF-SE公司;电子稳定控制系统/Java;SLAM公司;UniTESK公司;Daikon公司;jCUTE公司;SpecExplorer（SpecExplorer）;N模型;JML公司 引用于： 12文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Symstra：使用符号执行生成面向对象单元测试的框架。 Zbl 1087.68601号谢、陶;达科·马里诺夫;沃尔夫拉姆·舒尔特;大卫·诺金 2005 全部的 前5名34位作者引用 2 维克托·五·库利亚明。 1 Almawi，阿尔亚斯 1 萨斯瓦特·阿南德 1 迈克尔·班特吉 1 伯恩哈德·贝克特 1 马塞洛·玛丽亚·邦桑格 1 切诺夫，E.S。 1 德波尔（Frank S。 1 基督教恩格尔 1 朱汉·厄尼茨 1 傅、香 1 克里斯托夫·格拉迪什。 1 帕特丽斯·戈德弗里德 1 雷纳·哈内尔 1 萨尔夫拉兹·库希德 1 尼尔斯·克拉伦德 1 李钟池 1 达科·马里诺夫 1 Kuldeep S.梅尔。 1 梅塔，拉文德拉 1 大卫·诺金 1 科琳娜·s·佩斯勒诺。 1 波诺马连科，A.V。 1 Michael C.鲍威尔。 1 鲁巴诺夫。 1 沃尔夫拉姆·舒尔特 1 阿肖克·斯列尼瓦斯 1 斯里哈里苏库马兰 1 玛格斯·维纳斯 1 威廉·维瑟 1 王开元 1 王文喜 1 谢、陶 1 兹宾，R.S。 3篇连载文章中引用 2 编程和计算机软件 2 计算的形式方面 1 计算机语言、系统和结构 在2个字段中引用 12 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 按年份列出的引文