阿加莎

这个工具演示文件描述了在CEA/LIST开发的AGATHA工具集。它是一个自动化的测试生成器,用于描述使用EIOLTS(扩展输入输出标签转换系统)形式描述的并发单元的规范,这种形式可以从UML规范中提取出来


zbMATH中的参考文献(参考文献10条,1标准件)

显示第1到第10个结果,共10个。
按年份排序(引用)

  1. 花束,法布里斯;佩鲁克斯,法比安;Ambert,Fabrice:功能和安全测试生成的基于模型的测试(2014)
  2. Rapin,Nicolas:基于符号执行的具有无界变量的开放系统模型检查(2009)
  3. 拉贝,塞巴斯蒂安;galois,Jean-Pierre:切片通信自动机规范:模型简化的多项式算法(2008)
  4. 乐当,鸿;杜布瓦,休伯特;Gérard,Sébastien:面向实时嵌入式系统的基于MARTE的方法论中的可追溯性模型(2008)ioport公司
  5. 珍妮,贝特朗;杰伦,蒂埃里;Rusu,Vlad:无限状态反应系统的基于模型的试验选择(2007)
  6. 偏执狂,塞琳;阿兰·费维尔;加斯顿,克里斯托夫;Simon,Julien:在(U)SIM智能卡上自动生成测试(2006)ioport公司
  7. 布洛姆,约翰;海塞尔,安德斯;强森,本特;Pettersson,Paul:使用观察者自动机指定和生成测试用例(2005)
  8. 哈特曼,琼;维埃拉,马龙;福斯特,赫伯特;Ruder,Axel:基于uml的系统测试方法(2005)ioport公司
  9. 偏执狂,塞琳;阿兰·费维尔;加洛瓦,让·皮埃尔;拉皮特,阿尔诺;卢加托,大卫;皮埃伦,让-伊夫;拉平,尼古拉斯:自动测试生成与阿加莎(2003)
  10. 卢加托,大卫;偏执狂,塞琳;瓦洛特,扬尼克;加洛瓦,让·皮埃尔;杰拉德,塞巴斯蒂安;Terrier,François:UML模型的验证和自动测试生成:AGATHA方法(2003)ioport公司