×

测试时代

swMATH编号： 7258
软件作者： 马里诺夫，D；库尔希德，S
描述： TestEra：一个新的Java程序自动化测试框架我们介绍了TestEra，一个用于Java程序自动化测试的新框架。TestEra在给定的输入大小内自动生成所有非同构测试用例，并评估正确性标准。作为一种启用技术，TestEra使用一阶关系语言Alloy和Alloy Analyzer。使用TestEra检查程序涉及在Alloy中为程序的正确性标准建模，并指定Alloy模型实例和Java数据结构之间的抽象和具体化转换。TestEra生成具体的Java输入作为违反正确性标准的反例。本文讨论了TestEra对几个案例研究的分析：操作单链接列表和红黑树的方法、命名体系结构以及Alloy Analyzer的一部分。
主页： http://dl.acm.org/citation.cfm？id=872551
相关软件： 科拉特;Symstra公司;墨西哥煎玉米卷;z3（零3）;Java PathFinder;罗斯特拉;合金;美国铝业公司;查夫;超小卫星;南美林猫;可爱的;github;J拉舍尔;埃克拉特;JUnit公司;自旋蛋白;马尔格雷夫;合金*;梅斯4
引用于： 16文件
全部的 前5名

50位作者引用

7 萨尔夫拉兹·库希德
3 达科·马里诺夫
2 丹尼尔·杰克逊
2 马丁·里纳德（Martin C.Rinard）。
1 塔斯尼姆·纳赛尔·叶海亚
1 阿利亚斯·阿拉马维
1 康斯坦丁·阿库达斯
1 西里尔·阿尔托
1 霍华德·巴林格
1 查尔斯·布伊拉盖
1 奥马尔·切尔考伊
1 切诺夫，E.S。
1 鲁迪·迪卡
1 穆罕默德·埃尔巴奇尔·梅奈
1 基督教恩格尔
1 迪维亚·戈皮纳特
1 彼得·哈贝梅尔
1 雷纳·哈内尔
1 西尔万·霍尔
1 克劳斯·哈弗伦德
1 拉杜·奥西夫
1 康，恩苏克
1 克里希那穆尔蒂，施里拉姆
1 维克托·五·库利亚明。
1 维克多·昆卡
1 刘少英
1 洛瑞，迈克
1 穆罕默德·祖拜尔·马利克
1 Kuldeep S.梅尔。
1 Aleksandar Milicevic
1 约瑟夫·P·奈尔（Joseph P.Near）。
1 蒂姆·纳尔逊
1 Păsăreanu，科琳娜·s。
1 A.V.Ponomarenko。
1 索拉维，Porncharenwase
1 格里高·罗什乌
1 鲁巴诺夫。
1 塞·库什克
1 伊利亚·什利亚克特
1 大卫·索洛维奇克
1 马尔科·瓦西奇
1 罗杰·维尔梅尔
1 威廉·维瑟
1 汤姆·沃纳
1 王开元
1 王文喜
1 华盛顿，里奇
1 托马斯·怀斯
1 凯伦·泽伊
1 兹宾，R.S。

5篇连载文章中引用

1 信息学报
1 编程和计算机软件
1 理论计算机科学
1 计算机科学与技术杂志
1 系统设计中的形式化方法

在2个字段中引用

16 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）

按年份列出的引文