[发明专利]安全关键软件自动化基于需求的测试实例生成系统和方法

权利要求书

1.一种用于自动化的基于需求的测试实例生成的方法，所述方法包括：

在基于模型的开发工具(150)中构建软件架构模型(300)，所述软件架构模型从软件设计模型(1000)的架构信息自动得出；

将需求模型(REQ1-REQ28)分配到软件架构模型的不同的组件中；以及

通过测试实例生成器单元(140)从所述软件架构模型来生成组件级基于需求的测试实例(136)，其中按照从需求覆盖策略、逻辑条件覆盖策略和输入掩蔽策略的列表中选取的至少一个策略来生成所述组件级基于需求的测试实例，

其中所述输入掩蔽策略包括掩蔽修改条件/判定覆盖。

2.如权利要求1所述的方法，包括通过将对应受监测或受控制变量(VAR1-VAR25)与不同模块的相应模块的输入端口和输出端口中的至少一个相连接来分配所述需求模型。

3.如权利要求1所述的方法，其中，生成所述组件级基于需求的测试实例包括生成集成级测试实例，并且应用所述集成级测试实例，以检验代码模块是否符合所分配需求。

4.如权利要求1所述的方法，包括：

接收从所述软件设计连同所分配需求模型所得出的采取层级数据流图形式的所述软件架构模型，所述层级数据流图包括到所述软件设计中的对应组件的一个或多个块/算子映射；

从所述软件设计来选择所述对应组件其中之一，以用于测试实例生成；以及

通过将至少一个测试目标和测试约束自动附连到对应软件架构模型块/算子、基于所选择的组件来构建中间测试模型。

5.如权利要求4所述的方法，其中所述对应组件包括组件1、组件2、组件3、组件4。

6.如权利要求4所述的方法，包括基于测试生成等级来选择所述对应组件其中之一。

7.如权利要求4所述的方法，包括：

通过对所述中间测试模型执行模型检查、约束解析和可达性解析方法的至少一个来生成基于需求的测试实例；以及

将所生成测试实例转化为测试脚本用于测试执行并且转化为测试制品供审查。