盖特尔

GATeL:Lustre描述的自动测试生成GATeL是法国核研究机构(CEA)开发的工具。它的主要目标是自动化关键控制应用程序的测试阶段。这里的关键点是,自动化不是用来生成大量测试用例的手段,而是有助于练习真正有问题的案例。GATeL已经实现GATeL目前正在被法国核认证机构使用,并在航空电子和汽车研究中心使用。


zbMATH参考文献(16篇文章引用)

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

  1. Chihani,Zakaria;Marre,Bruno;Bobot,François;Bardin,Sébastien:位向量理论的约束编程方法(2017)
  2. Bagnara,Roberto;Carlier,Matthieu;Gori,Roberta;Gotlieb,Arnaud:利用二进制浮点表示进行约束传播(2016)
  3. Kirchner,Florent;Kosmatov,Nikolai;Prevosto,Virgile;Signoles,Julien;Yakobowski,Boris:Frama-C:软件分析视角(2015)ioport公司
  4. Brucker,Achim D.;Wolff,Burkhart:基于定理证明的测试(2013)
  5. Carlier,Matthieu;Dubois,Catherine;Gotlieb,Arnaud:正式验证的基于约束的测试工具设计的第一步:FocalTest(2012)
  6. Qaisar,Zahid Hussain;Rehman,Shafiq Ur:安全关键系统的安全回归测试方法(2011)ioport公司
  7. Bardin,Sébastien;Herrmann,Philippe;Perroud,Florian:位向量基于SAT方法的替代方案(2010)
  8. Jéron,Thierry:基于符号模型的测试选择(2009)
  9. Jeannet,Bertrand;Jéron,Thierry;Rusu,Vlad:无限状态反应系统的基于模型的试验选择(2007)
  10. Aiguier,Marc;Arnould,Agnès;Boin,Clément;Le Gall,Pascale;Marre,Bruno:从代数规范中进行测试:通过展开公理选择测试数据集(2006)
  11. Blom,Johan;Hessel,Anders;Jonsson,Bengt;Pettersson,Paul:使用观察者自动机指定和生成测试用例(2005)
  12. Jeannet,Bertrand;Jéron,Thierry;Rusu,Vlad;Zinovieva,Elena:基于近似分析的符号测试选择(2005)
  13. Bouquet,Fabrice;Legeard,Bruno;Peureux,Fabien:CLPS---B——一个约束求解器,用于动画B规范(2004)ioport公司
  14. Jean-Marc,Jézéquel;Defour,Olivier;Plouzeau,Noël:一种驯服基于组件的软件开发的MDA方法(2004)
  15. Pretschner,A.;Slotosch,O.;Aiglstorfer,E.;Kriebel,S.:基于模型的real测试:内部信用卡案例研究(2003)ioport公司
  16. Gaudel,Marie Claude:从形式规范进行测试,通用方法(2001)