×

使用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号].

MSC公司:

第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
第68季度第60季度 规范和验证(程序逻辑、模型检查等)

软件:

阿加莎
PDF格式BibTeX公司 XML格式引用
全文: 链接