梅花

用梅花定时测试。TorX是一种基于规范的动态测试工具,用于测试实现的ioco一致性。本文描述了TorX的一个扩展,它不仅允许测试功能的正确性,还允许测试规范中表示的w.r.t.时序特性的正确性。然后,如果一个实现通过了ioco,并且根据规范,输出或静止信号的出现时间是合法的,那么它就通过了定时测试。采用非确定性安全时间自动机对规范进行了描述。本文介绍了ioco的基本算法,对标准安全时间自动机进行必要的修改,使之可用作输入形式,时间自动机的测试派生算法,以及在TorX中实现的定时测试的具体算法。最后,讨论了与定时测试有关的实际问题。


zbMATH中的参考文献(引用于19篇文章,1标准件)

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

  1. Gerhold,Marcus;Stoelinga,Mariëlle:基于模型的概率系统测试(2018)
  2. Paiva,Sofia Costa;Simao,Adenilso:从Mealy输入/输出转换系统生成完整的测试套件(2016年)
  3. Aarts,Fides;Kuppens,Harco;Tretmans,Jan;Vaandrager,Frits;Verwer,Sicco:改进协议一致性测试的主动Mealy机器学习(2014)
  4. Bouquet,Fabrice;Peureux,Fabien;Ambert,Fabrice:功能和安全测试生成的基于模型的测试(2014)
  5. Brucker,Achim D.;Wolff,Burkhart:基于定理证明的测试(2013)
  6. Asaadi,Hamid Reza;Khosravi,Ramtin;Mousavi,Mohammadeza;Noroozi,Neda:面向基于模型的电子资金转移系统测试(2012)ioport公司
  7. 切多,Sébastien;Jéron,Thierry;Morvan,Christophe:recursive tiles系统的测试生成(2012)
  8. Yang,Linmin;Dang,Zhe;Fischer,Thomas R.:黑盒测试的信息增益(2011)
  9. Belinfante,Axel:JTorX:一个在线模型驱动的测试衍生和执行工具(2010)ioport公司
  10. Kuliamin,V.V.:基于模型的测试环境的组件体系结构(2010)ioport公司
  11. von Styp,Sabrina;Bohnenkamp,Henrik;Schmaltz,Julien:符号时间自动机的一致性测试关系(2010)
  12. Schmaltz,Julien;Tretmans,Jan:时间系统的一致性测试(2008)
  13. Calamé,Jens R.;Ioustinova,Natalia;van de Pol,Jaco:使用数据抽象自动生成基于模型的参数化测试用例(2007)ioport公司
  14. Veanes,Margus;Campbell,Colin;Schulte,Wolfram:模型程序的组成(2007)
  15. 布拉斯,安德烈亚斯;古列维奇,尤里;纳奇曼森,列夫;韦恩斯,马格斯:玩到测试(2006)
  16. 谢高燕;党哲:并发黑盒测试系统——自动机理论与分解方法(2006)
  17. Bohnenkamp,Henrik;Belinfante,Axel:用TorX进行定时测试(2005)
  18. Briones,Laura Brandán;Brinksma,Ed:静态实时系统的测试生成框架(2005)
  19. Frantzen,Lars;Tretmans,Jan;Willemse,Tim A.C.:基于符号规范的测试生成(2005)


更多出版物请访问:http://fmt.ewi.utwente.nl/research/publications/?项目名称=1和项目名称=C%25F4te de Resyste