塞琳·比戈;阿兰·费弗尔;珍妮·皮尔·加洛瓦;阿尔诺·拉皮特;大卫·卢加托;Jean-Yves皮耶伦;尼古拉斯·拉宾 使用AGATHA自动生成测试。 (英语) Zbl 1031.68551号 Garavel,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2619, 591-596 (2003). 摘要:此工具演示文件描述了CEA/LIST开发的AGATHA工具集。它是一个自动测试生成器,用于使用EIOLTS(扩展输入输出标记转换系统)形式描述的通信并发单元的规范,可以从UML规范中提取。关于整个系列,请参见[Zbl 1017.00035号]. 引用于3文件 MSC公司: 第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 第68季度第60季度 规范和验证(程序逻辑、模型检查等) 软件:阿加莎 PDF格式BibTeX公司 XML格式引用 \textit{C.Bigot}等人,Lect。注释计算。科学。2615991-596(2003年;Zbl 1031.68551) 全文: 链接