用于安全关键的软件的集成自动化测试用例生成

摘要

本发明题为用于安全关键的软件的集成自动化测试用例生成。系统包括：通信装置，可操作与用户通信，得到与模型关联的一个或多个要求用于测试用例生成模块；转化计算机模块，接收并存储模型，生成中间模型；生成器计算机模块，接收并存储中间模型，生成至少一个测试用例；存储器，存储程序指令；至少一个测试用例生成平台处理器，耦合到存储器，与转化计算机模块和生成器计算机模块通信，可操作运行程序指令以：运行转化计算机模块以将模型变换为中间模型；运行生成器计算机模块，基于中间模型分析来识别与中间模型关联的模型类型；运行生成器计算机模块，基于所识别模型类型分析来选择测试生成方法；生成至少一个测试用例供软件验证和检验中使用。