CTESK公司

CTESK是一个用于测试用C开发的应用程序的工具包。TESK实现了基于规范的UniTESK自动化测试概念。这是一种功能测试,其主要任务是确保被测系统在不同的操作条件下满足其要求。到目前为止,功能测试工具箱一直是基于手动开发的测试脚本或代码分析的结果。CTESK可以使用需求的形式化表示(通常称为形式规范)作为测试开发的来源。在测试的软件类型上没有基本的限制。然而,CTESK在应用程序接口测试中表现得最好。在包装器接口的帮助下,大多数其他情况都可以很容易地简化为API测试,并对其应用CTESK。像CTESK这样的工具通常应用于具有高可靠性要求的软件。因此,CTESK最有前途的应用领域如下:关键软件(嵌入式软件、工业过程控制、健康监测系统);系统软件(实现OS服务的组件、Web服务器);电信软件;与正式规定的标准相关的任何软件(协议、互联网应用程序)。CTESK改进了软件开发过程,因为测试只能基于规范进行开发,因此独立于实现。测试的正向开发缩短了软件开发的时间,提高了测试的质量。CTESK是单元和集成测试中最强大的工具。

zbMATH中的参考文献(参考 1文章 参考)

显示结果1/1。
按年份排序(引用)

  1. Kamkin,A.S.:预测过渡系统:克服并发系统验证中的状态爆炸(2015)