5、UniTesK 测试套件架构：自动化测试的创新解决方案

UniTesK 测试套件架构：自动化测试的创新解决方案

1. 引言

在工业软件测试领域，开发适用于通用软件的自动化测试技术，一直是测试设计者和测试人员的梦想。随着软件复杂度的不断提升，业界迫切需要一种严谨的测试技术。然而，工业软件开发过程对测试技术有一定要求，并非轻易接受新出现的技术。

RedVerst 团队提出了 UniTesK 测试开发技术。它是 KVEST 测试开发技术的继任者，基于 7 年在多个软件验证项目中使用 KVEST 技术的经验，这些项目测试的软件代码总量约达 50 万行。UniTesK 保留了 KVEST 的积极经验，同时在技术灵活性、测试开发过程中各种工件的可重用性方面有所改进，降低了有效使用该技术所需的技能门槛。

2. 测试目标决定测试套件结构

• 测试的主要目标 ：UniTesK 测试开发技术认为，测试的主要目标是证明被测系统能够正确工作。而系统正确工作意味着其行为符合需求，尤其是功能需求。为了便于自动检查系统行为是否符合需求，这些需求应采用严谨、清晰且明确的形式，即形式化规范。因此，UniTesK 方法属于一致性测试，假定我们拥有系统行为的形式化规范，并能据此生成一个预言机（oracle），用于检查目标系统的工作结果是否符合规范中的约束条件。
• 分区测试的应用 ：由于大多数软件系统非常复杂，可能的测试情况众多，甚至是无限的，因此不可能通过尝试所有可能的情况来证明系统的正确性。分区测试的主要观点是，通常存在有限数量的等价类，在同一等价类中，如果系统在一种情况下的行为符合规范，那么在该类的其他情况下也会如此；反之亦然。基于此，我