单位斯克

此软件的关键字
zbMATH参考文献(参考
21篇文章
参考)
Kamkin,A.S.:预测过渡系统:克服并发系统验证中的状态爆炸(2015) Kulyamin,V.;Petrenko,A.:unitesk测试开发技术的演变(2014) ioport公司 Kostychev,E.A.;Omel'chenko,V.A.;Zelenov,S.V.:数据库应用程序测试的目标数据生成(2012) ioport公司 Pakulin,N.V.;Tugaenko,A.N.;Shnitman,V.Z.:基于模型的互联网电子邮件协议测试(2012) ioport公司 Ponomarenko,A.;Rubanov,V.:软件接口的向后兼容性:迈向自动验证的步骤(2012) ioport公司 Nikeshin,A.V.;Pakulin,N.V.;Shnitman,V.Z.:IPsec v2安全协议实现验证的测试套件开发(2011) ioport公司 Daniel M.Zimmerman;Nagmoti,Rinkesh:JMLUnit:下一代(2011) Kuliamin,V.V.:基于模型的测试环境的组件体系结构(2010) ioport公司 Bourdonov,I.B.;Kossatchev,A.S.:有限不确定性系统的完全开放状态测试(2009) Groshev,S.G.:通过构造减少的跟踪进行缺陷定位(2009) Kuliamin,V.V.:程序系统验证方法的集成(2009) Mutilin,V.S.:程序接口的多线程测试(2009) Gomanyuk,S.V.:一种为多种编程语言创建开发环境的方法(2008) Zybin,R.S.;Kuliamin,V.V.;Ponomarenko,A.V.;Rubanov,V.V.;Chernov,E.S.:广义健全性测试生成自动化(2008) Bourdonov,I.B.;Kossatchev,A.S.;Kuliamin,V.V.:测试实验的形式化(2007) 来自于2007年的正式测试单元 Kamenko V.和Kamenko V.Kamenko V.用于测试硬件的功能要求;Nika S.Kuko V.2007;以及代表硬件使用的功能要求 Pakulin,N.V.;Khoroshilov,A.V.:具有异步接口和电信协议的系统的形式模型开发和一致性测试(2007) 布拉斯,安德烈亚斯;古列维奇,尤里;纳奇曼森,列夫;韦恩斯,马格斯:玩到测试(2006) Kuliamin,V.V.;Petrenko,A.K.;Kossatchev,A.S.;Burdonov,I.B.:uniTesK测试套件设计方法(2003) ioport公司