7、可测试属性与交替模拟及输入输出一致性的研究

可测试属性与交替模拟及输入输出一致性的研究

1. 相关工作概述

在测试领域，存在多种不同的测试方法和技术，它们各有特点和应用场景。
- 属性导向的测试目的生成 ：传统的一致性测试存在生成测试套件规模过大，可能无限或不可行的问题。为解决这一局限，属性导向的测试方法被提出，该方法聚焦关键属性，将属性作为规范的补充来生成测试目的，进而指导测试用例的选择和执行。
- 测试与形式验证的结合 ：有研究探讨了验证技术与一致性测试的互补性，发现可以通过测试检测实现和规范中安全属性的违反情况以及共安全属性的满足情况。
- 基于需求的测试 ：此方法旨在从一组非正式需求中生成测试套件。例如，利用模型检查器从线性时态逻辑（LTL）公式生成测试用例，并关注为测试需求定义语法测试覆盖率。
- 无行为规范的属性测试 ：以往的方法引入了“瓷砖”的概念，它是测试实现特定部分的基本测试模块，可通过属性组合来测试更复杂的行为。
- 安全 - 进度分类在验证技术中的应用 ：安全 - 进度属性分类在验证技术中较少被使用，但在某些研究中，利用该分类来表征系统运行时可验证和强制执行的属性集，一定程度上解决了运行时验证和运行时强制执行的表达能力问题。

2. 研究成果的适用性与讨论

本文提出的方法具有广泛的适用性，涵盖了多种现有方法。例如，将验证与测试相结合的方法可通过本文结果进行扩展，并且该方法利用测试目的指导测试选择。文中所考虑的属性被纳入安全 - 进度属性分类，这等价于正则属性的层次