安全关键软件自动化基于需求的测试实例生成系统和方法.pdf

(19)国家知识产权局(12)发明专利申请(10)申请公布号CN114996115A(43)申请公布日2022.09.02(21)申请号202210276124.7(22)申请日2016.11.18(30)优先权数据14/9476332015.11.20US(62)分案原申请数据201611015902.82016.11.18(71)申请人通用电气公司地址美国纽约州(72)发明人李萌M.R.杜尔林萧洁恩I.奥利维拉郁涵A.M.德康托(74)专利代理机构中国专利代理(香港)有限公司72001专利代理师郑浩李啸(51)Int.Cl.G06F11/36(2006.01)权利要求书2页说明书8页附图16页(54)发明名称安全关键软件自动化基于需求的测试实例生成系统和方法(57)摘要本发明的安全关键软件自动化基于需求的测试实例生成系统和方法包括在基于模型的开发工具中构建从软件设计模型的架构信息自动得出的软件架构模型，将需求模型分配到软件架构模型的块/算子中，并且从软件架构来生成组件级基于需求的测试实例。组件级基于需求的测试实例生成方法包括接收以层级数据流图表示的软件架构连同所分配需求模型，选择软件组件其中之一，通过基于所选择的测试策略将测试目标或约束的至少一个自动附连到对应软件架构模型块/算子、基于所选择的组件来构建中间测试模型，并且采用测试生成器来生成人类和机器可读测试实例，以供进一步自动转换成测试可执行和测试审查制品。还公开用于实现该方法的系统和非暂时计算机可读介质。CN114996115ACN114996115A权利要求书1/2页1.一种在其上存储有指令的非暂时性计算机可读介质，所述指令在由处理器执行时使得所述处理器执行用于自动化的基于需求的测试实例生成的方法，所述方法包括：构建软件架构模型，所述软件架构模型软件设计模型的架构信息自动得出；将需求模型分配到软件架构模型的不同块/算子中；以及从所述软件架构模型来生成组件级基于需求的测试实例，其中按照从需求覆盖策略、逻辑条件覆盖策略和输入掩蔽策略的列表中选取的至少一个策略来生成所述组件级基于需求的测试实例，其中所述输入掩蔽策略包括掩蔽修改条件/判定覆盖（MC/DC）。2.如权利要求1所述的非暂时性计算机可读介质，包括使所述处理器通过将对应受监测或受控制变量与不同模块的相应模块的输入端口或输出端口相连接来分配所述需求模型的指令。3.如权利要求1所述的非暂时性计算机可读介质，包括使所述处理器生成集成级测试实例并且应用所述集成级测试实例以检验代码模块是否符合所分配需求的指令。4.如权利要求1的非暂时性计算机可读介质，包括使所述处理器执行以下操作的指令：接收从所述软件设计连同所分配需求模型所得出的采取层级数据流图形式的所述软件架构模型，所述层级数据流图包括到所述软件设计中的对应组件的一个或多个块/算子映射；从所述软件设计来选择所述软件组件其中之一，以用于测试实例生成；以及通过将至少一个测试目标和测试约束自动附连到对应软件架构模型块/算子、基于所选择的组件来构建中间测试模型。5.如权利要求4的非暂时性计算机可读介质，包括使所述处理器执行以下操作的指令：通过对所述中间测试模型执行模型检查、约束解析和可达性解析方法的至少一个来生成基于需求的测试实例；以及将所生成测试实例转化为测试脚本以用于测试执行并且转化为测试制品供审查。6.一种用于自动化的基于需求的测试实例生成的系统，所述系统包括：基于模型的开发工具，其包括被配置成执行指令的控制处理器，所述控制处理器连接到通信链路；以及组件级测试实例生成器单元，其用于自动生成测试实例，其中所述控制处理器被配置成执行使所述控制处理器按照从需求覆盖策略、逻辑条件覆盖策略和输入掩蔽策略的列表中选取的至少一个策略来生成所述测试实例的指令；其中所述输入掩蔽策略包括掩蔽修改条件/判定覆盖（MC/DC）。7.如权利要求6的系统，包括所述控制处理器被配置成执行使所述控制处理器执行以下步骤的指令：从软件设计导出软件架构模型，将需求模型分配到软件架构模型的不同块/算子中；生成组件级基于需求的测试实例。8.如权利要求7所述的系统，包括所述控制处理器被配置成执行使所述控制处理器生成集成级测试实例并且应用所述集成级测试实例以检验代码模块是否符合所述软件架构2CN114996115A权利要求书2/2页模型和所分配需求的指令。9.如权利要求7所述的系统，包括所述控制处理器被配置为执行使所述控制处理器执行以下操作的指令：接收从所述软件设计连同所分配需求模型所得出的采取层级数据流图形式的所述软件架构模型，所述层级数据流图包括到所述软件设计中的对应组件的一个或多个块/算子映射；从所述软件设计来选择所述软件组件其中之一，以用于测试实例生成；以及通过将至少一个测试目标和测试约束自动附连到对应软件架构模