-
Patent Agency Ranking
公开(公告)号：CN114996115A
公开(公告)日：2022-09-02
申请号：CN202210276124.7
申请日：2016-11-18
Applicant: 通用电气公司
IPC: G06F11/36
Abstract: 本发明的安全关键软件自动化基于需求的测试实例生成系统和方法包括在基于模型的开发工具中构建从软件设计模型的架构信息自动得出的软件架构模型，将需求模型分配到软件架构模型的块/算子中，并且从软件架构来生成组件级基于需求的测试实例。组件级基于需求的测试实例生成方法包括接收以层级数据流图表示的软件架构连同所分配需求模型，选择软件组件其中之一，通过基于所选择的测试策略将测试目标或约束的至少一个自动附连到对应软件架构模型块/算子、基于所选择的组件来构建中间测试模型，并且采用测试生成器来生成人类和机器可读测试实例，以供进一步自动转换成测试可执行和测试审查制品。还公开用于实现该方法的系统和非暂时计算机可读介质。
-
公开(公告)号：CN107066375B
公开(公告)日：2022-03-01
申请号：CN201611015902.8
申请日：2016-11-18
Applicant: 通用电气公司
IPC: G06F11/36
Abstract: 本发明的安全关键软件自动化基于需求的测试实例生成系统和方法包括在基于模型的开发工具中构建从软件设计模型的架构信息自动得出的软件架构模型，将需求模型分配到软件架构模型的块/算子中，并且从软件架构来生成组件级基于需求的测试实例。组件级基于需求的测试实例生成方法包括接收以层级数据流图表示的软件架构连同所分配需求模型，选择软件组件其中之一，通过基于所选择的测试策略将测试目标或约束的至少一个自动附连到对应软件架构模型块/算子、基于所选择的组件来构建中间测试模型，并且采用测试生成器来生成人类和机器可读测试实例，以供进一步自动转换成测试可执行和测试审查制品。还公开用于实现该方法的系统和非暂时计算机可读介质。
-
公开(公告)号：CN110245067A
公开(公告)日：2019-09-17
申请号：CN201910175783.X
申请日：2019-03-08
Applicant: 通用电气公司
IPC: G06F11/36
Abstract: 一种自动化的基于需求的测试实例生成方法包括构建从软件设计模型架构信息推导出的软件架构模型、将需求模型分配到软件架构模型的块/算子中、以及从软件架构来生成配置成在软件架构中的不同等级可执行的组件级基于需求的测试实例。组件级基于需求的测试实例生成方法包括接收以层级数据流图表示的软件架构连同分配的需求模型；选择软件组件中的一个；通过基于选择的测试策略将测试目标或约束中的至少一个自动附连到对应软件架构模型块/算子来基于选择的组件建立中间测试模型；以及利用测试生成器来生成人类和机器可读的测试实例以用于进一步自动转换成测试可执行文件和测试审查制品。还公开了用于实现该方法的系统和非暂时性计算机可读介质。
-
公开(公告)号：CN110245067B
公开(公告)日：2023-09-22
申请号：CN201910175783.X
申请日：2019-03-08
Applicant: 通用电气公司
IPC: G06F11/36
Abstract: 一种自动化的基于需求的测试实例生成方法包括构建从软件设计模型架构信息推导出的软件架构模型、将需求模型分配到软件架构模型的块/算子中、以及从软件架构来生成配置成在软件架构中的不同等级可执行的组件级基于需求的测试实例。组件级基于需求的测试实例生成方法包括接收以层级数据流图表示的软件架构连同分配的需求模型；选择软件组件中的一个；通过基于选择的测试策略将测试目标或约束中的至少一个自动附连到对应软件架构模型块/算子来基于选择的组件建立中间测试模型；以及利用测试生成器来生成人类和机器可读的测试实例以用于进一步自动转换成测试可执行文件和测试审查制品。还公开了用于实现该方法的系统和非暂时性计算机可读介质。
-
公开(公告)号：CN107066375A
公开(公告)日：2017-08-18
申请号：CN201611015902.8
申请日：2016-11-18
Applicant: 通用电气公司
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F8/20 , G06F8/35 , G06F11/3608 , G06F11/3696
Abstract: 本发明的安全关键软件自动化基于需求的测试实例生成系统和方法包括在基于模型的开发工具中构建从软件设计模型的架构信息自动得出的软件架构模型，将需求模型分配到软件架构模型的块/算子中，并且从软件架构来生成组件级基于需求的测试实例。组件级基于需求的测试实例生成方法包括接收以层级数据流图表示的软件架构连同所分配需求模型，选择软件组件其中之一，通过基于所选择的测试策略将测试目标或约束的至少一个自动附连到对应软件架构模型块/算子、基于所选择的组件来构建中间测试模型，并且采用测试生成器来生成人类和机器可读测试实例，以供进一步自动转换成测试可执行和测试审查制品。还公开用于实现该方法的系统和非暂时计算机可读介质。
-
-
-
-
Search Results
5
records
(took 0.033 seconds)
