CTESK公司 swMATH ID: 15731 软件作者： 俄罗斯科学院系统编程研究所 描述： CTESK是一个用于测试在C语言中开发的应用程序的工具包。TESK实现了基于规范的UniTESK自动化测试概念。这是一种功能测试，其主要任务是确保被测系统在不同操作条件下满足其要求。到目前为止，功能测试工具包一直基于手动开发的测试脚本或代码分析的结果。CTESK可以使用需求的正式表示，通常称为正式规范，作为测试开发的来源。测试中的软件类型没有基本限制。然而，CTESK在应用程序接口测试中表现出了最好的性能。在包装器接口和对其应用CTESK的帮助下，大多数其他情况可以很容易地简化为API测试。CTESK等工具通常应用于具有高可靠性要求的软件。因此，CTESK最有前景的应用领域如下：关键软件（嵌入式软件、工业过程控制、健康监测系统）；系统软件（实现操作系统服务的组件、Web服务器）；通信软件；与正式规定的标准（协议、互联网应用程序）相关的任何软件。CTESK改进了软件开发过程，因为测试只能基于规范进行开发，因此独立于实现。测试的正向开发减少了软件开发的持续时间，并提高了测试的质量。CTESK是单元和集成测试最强大的工具。 主页： http://www.unitesk.com/content/category/7/14/33/ 相关软件： UniTESK公司;SMV公司;自旋蛋白 引用于： 1文件 1位作者引用 1 坎金，A.S。 连载1篇 1 编程和计算机软件 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文