19、代码生成器的验证与确认

代码生成器的验证与确认

在代码生成器的开发过程中，验证与确认（V&V）是确保其正确性和可靠性的关键环节。下面将详细介绍相关的技术和方法。

1. 验证与确认概述

验证与确认技术的主要目标是帮助开发者构建健壮的代码生成器，使其能正确产生预期结果。这不仅包括软件工程中的标准技术，如测试和静态分析，还得益于代码生成器以模型形式存在的优势，可应用形式化方法，如模型检查。

以下是Genesys中使用的V&V技术概述：
| 技术类型 | 作用阶段 | 检查方式 |
| ---- | ---- | ---- |
| 建模阶段技术 | 建模代码生成器时 | 利用本地和全局约束进行持续检查 |
| 测试阶段技术 | 检查代码生成器和服务是否按预期工作 | 对服务进行单元测试，对整个代码生成器使用专用框架测试 |

V&V技术应用于代码生成器模型和其中包含的服务，具体如下：

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    A(代码生成器模型):::process --> B(建模阶段技术):::process
    A --> C(测试阶段技术):::process
    D(服务):::process --> B
    D --> C

在建模阶段，工具需要一组本地和全局约束进行检查。在jABC中，本地约束通过LocalChecker检查，由SIB专家在SIB中