11、从自然语言需求规范生成可执行测试平台

从自然语言需求规范生成可执行测试平台

1. 分类树与功能验证

在测试过程中，测试输入可分为组成部分、分类和类。分类又可细分为等价类，每个等价类代表一组抽象的测试输入，叶类则进一步定义了可能输入值的抽象集合。分类树方法（CTM）基于类别划分方法，最初用于描述被测系统（SUT）输入刺激的不同变体。对于嵌入式汽车系统测试，由于其基于采样率和刺激之间的时间关系，Conrad将CTM扩展为嵌入式系统分类树方法（CTM/ES）。

分类树从SUT的接口派生而来，SUT输入形成分类，输入域被划分为不同的输入区间类，如安全关键范围和边界情况，这与SystemVerilog功能覆盖率定义中的区间定义类似。为了管理更复杂的测试套件，测试用例还可分为测试序列，并为每个测试序列分配时间线，时间点代表测试步骤的激活或同步点，同步点还需分配过渡函数，如阶跃、斜坡、正弦等，这些过渡函数在组合表中通过不同的线样式表示。

功能验证环境基于功能验证原则，涉及断言、功能覆盖率和受限随机测试模式生成等技术，这些技术依赖于硬件验证语言，如IEEE标准SystemVerilog、PSL和e等，标准化的API如SystemVerilog DPI支持多语言环境，同时还有一些库和方法，如VMM和OVM提供额外支持。

2. 从需求规范生成测试平台的方法

从需求规范派生可执行的SystemVerilog测试平台的方法包括四个阶段：
1. 需求形式化 ：将非结构化的自然语言英语句子逐步手动转换为简短的结构化英语句子，形成文本范式（TNF），TNF可自动转换为UML类图。
2. 类图转换 ：对UML类