单位斯克

UniTESK是一种基于形式化规范的软件测试技术。规范是用传统编程语言的特殊扩展编写的。我们先进的数学算法能够从规范中自动生成测试序列,从而确保在所需覆盖范围内对系统行为进行可靠的测试。我们为C、C++、C#和Java编程语言开发了规范扩展,以及支持上述语言的UniTESK技术的工具。此外,我们还提供技术部署、用户培训和用户支持等多项服务。


zbMATH参考文献(参考 21篇文章 参考)

显示第1到第20个结果,共21个。
按年份排序(引用)
  1. 并行验证:Kamkin-state:克服系统的并行验证(Kamkin-state,2015)
  2. Kulyamin,V.;Petrenko,A.:unitesk测试开发技术的演变(2014)ioport公司
  3. Kostychev,E.A.;Omel'chenko,V.A.;Zelenov,S.V.:数据库应用程序测试的目标数据生成(2012)ioport公司
  4. Pakulin,N.V.;Tugaenko,A.N.;Shnitman,V.Z.:基于模型的互联网电子邮件协议测试(2012)ioport公司
  5. Ponomarenko,A.;Rubanov,V.:软件接口的向后兼容性:迈向自动验证的步骤(2012)ioport公司
  6. Nikeshin,A.V.;Pakulin,N.V.;Shnitman,V.Z.:IPsec v2安全协议实现验证的测试套件开发(2011)ioport公司
  7. Daniel M.Zimmerman;Nagmoti,Rinkesh:JMLUnit:下一代(2011)
  8. Kuliamin,V.V.:基于模型的测试环境的组件体系结构(2010)ioport公司
  9. Bourdonov,I.B.;Kossatchev,A.S.:有限不确定性系统的完全开放状态测试(2009)
  10. Groshev,S.G.:通过构造减少的跟踪进行缺陷定位(2009)
  11. Kuliamin,V.V.:程序系统验证方法的集成(2009)
  12. Mutilin,V.S.:程序接口的多线程测试(2009)
  13. 2008年,Anyan语言开发课程(Anyan Gomas,UK语言开发课程)
  14. Zybin,R.S.;Kuliamin,V.V.;Ponomarenko,A.V.;Rubanov,V.V.;Chernov,E.S.:广义健全性测试生成自动化(2008)
  15. Bourdonov,I.B.;Kossatchev,A.S.;Kuliamin,V.V.:测试实验的形式化(2007)
  16. Engel,Christian;Hähnle,Reiner:从形式证明生成单元测试(2007)
  17. Ivannikov,V.P.;Kamkin,A.S.;Kossatchev,A.S.;Kuliamin,V.V.;Petrenko,A.K.:表示需求和硬件模型功能测试的合同规范的使用(2007)
  18. Pakulin,N.V.;Khoroshilov,A.V.:具有异步接口和电信协议的系统的形式模型开发和一致性测试(2007)
  19. 布拉斯,安德烈亚斯;古列维奇,尤里;纳奇曼森,列夫;韦恩斯,马格斯:玩到测试(2006)
  20. Kuliamin,V.V.;Petrenko,A.K.;Kossatchev,A.S.;Burdonov,I.B.:uniTesK测试套件设计方法(2003)ioport公司