×

UniTESK公司

swMATH ID: 6566
软件作者： 俄罗斯科学院系统编程研究所
描述： UniTESK是一种基于形式规范的软件测试技术。规范是使用传统编程语言的专门扩展编写的。我们的高级数学算法能够根据规范自动生成测试序列，从而确保以所需的覆盖率对系统行为进行可靠测试。我们为C、C++、C#和Java编程语言开发了规范扩展，并为上述语言开发了支持UniTESK技术的工具。此外，我们还提供技术部署、用户培训和用户支持方面的多项服务。
主页： 网址：http://www.unitesk.com/
关键词： 计算机科学；软件测试；形式规范
相关软件： SpecExplorer（SpecExplorer）；投掷；可爱的；N型号；Symstra公司；自旋蛋白；污水处理厂；测试NG；TorX公司；HOL测试发电机；JUnit公司；JML公司；AGEDIS公司；jCUTE公司；Java PathFinder；电子稳定控制系统/Java；爆炸；科拉特；测试时代；CTESK公司
引用于： 14文件
全部的 前5名

23位作者引用

5 维克托·五·库利亚明。
4 亚历山大·科萨切夫。
三 伊戈尔·波多诺夫（Igor B.Bourdonov）。
2 坎金，A.S。
2 亚历山大·彼得伦科。
1 安德烈亚斯·拉斐尔·布拉斯
1 切诺夫，E.S。
1 基督教恩格尔
1 Gomanyuk，S.V.公司。
1 格罗舍夫，S.G。
1 尤里·古里维奇
1 雷纳·哈内尔
1 维克托·彼得罗维奇·伊万尼科夫
1 Khoroshilov，A.V.公司。
1 穆提林（V.S.Mutilin）。
1 列夫·纳奇曼森
1 林克什·纳格莫蒂
1 北卡罗来纳州巴克林。
1 A.V.Ponomarenko。
1 鲁巴诺夫。
1 马古斯·维恩斯
1 丹尼尔·齐默尔曼（Daniel M.Zimmerman）。
1 兹宾，R.S。

连载1篇

10 编程与计算机软件

在2个字段中引用

14 计算机科学（68至XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）

按年份列出的引文