×

GATeL公司

swMATH ID: 7255
软件作者: 本杰明·布朗
描述: GATeL:从Lustre描述自动生成测试GATeL是法国核研究机构(CEA)开发的工具。其主要目标是自动化关键控制应用程序的测试阶段。这里的关键点是,自动化并不是用来生成大量测试用例的一种手段,而是帮助执行真正有问题的用例。GATe已经实施,法国核认证机构以及航空电子和汽车研究中心目前正在使用GATe。
主页: http://www.ercim.eu/publication/ercim_News/enw58/blanc.html
相关软件: 射击类游戏;投掷;快速检查;哈斯克尔;ATGen公司;渗透;Coq公司;派克斯;Z轴;阿加莎;卢特斯;CBMC公司;OCaml公司;Caduceus公司;叮当声静态分析仪;CIL公司;杰西;洛克史密斯;ASTREE公司;J拉舍尔
引用于: 12文件

2篇连载文章中引用

1 计算的形式方面
1 INFORMS计算机杂志

按年份列出的引文