单位斯克

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

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公司