公开(公告)号：EP3032425A1

公开(公告)日：2016-06-15

申请号：EP15196758.5

申请日：2015-11-27

申请人： General Electric Company

发明人： LI, Meng

IPC分类号： G06F11/36

CPC分类号： G06F11/3684 ,  G06F11/3676 ,  G06F11/3688

摘要： According to some embodiments, system 1200 comprises a communication device 1220 operative to communicate with a user to obtain one or more requirements associated with a model for a test case generation module; a translation computer module 302 to receive the model, store the model and generate an intermediate model; a generator computer module 314 to receive the intermediate model, store the intermediate model, generate at least one test case; a memory 1230 for storing program instructions; at least one test case generation platform processor 1210, coupled to the memory 1230, and in communication with the translation computer module 302 and the generator computer module 314, operative to execute program instructions to: transform the model into an intermediate model by executing the translation computer module; identify a model type associated with the intermediate model based on an analysis of the intermediate model by executing the generator computer module; select a test generation method based on analysis of the identified model type by executing the generator computer module; generate at least one test case for use in software validation and verification. Numerous other aspects are provided.

摘要翻译： 根据一些实施例，系统1200包括通信设备1220，其可操作以与用户通信以获得与测试用例生成模块的模型相关联的一个或多个需求; 翻译计算机模块302，用于接收模型，存储模型并生成中间模型; 用于接收中间模型的发生器计算机模块314，存储中间模型，生成至少一个测试用例; 用于存储程序指令的存储器1230; 耦合到存储器1230并与翻译计算机模块302和发生器计算机模块314通信的至少一个测试用例生成平台处理器1210，其可操作以执行程序指令，以便：通过执行转换来将模型变换成中间模型 电脑模组; 通过执行发电机模块，基于对中间模型的分析，识别与中间模型相关联的模型类型; 通过执行发电机计算机模块，选择基于识别模型类型分析的测试生成方法; 生成至少一个用于软件验证和验证的测试用例。 提供了许多其他方面。

公开(公告)号：EP3588304A1

公开(公告)日：2020-01-01

申请号：EP19181736.0

申请日：2019-06-21

申请人： General Electric Company

发明人： MANOLIOS, Panagiotis ,  LI, Meng ,  ROMANI DE OLIVEIRA, Italo ,  DE CONTO, Augusto ,  YU, Han ,  RUSSELL, Daniel ,  ROY, Sundeep

IPC分类号： G06F11/36

摘要： A system for equivalence class analysis-based automated requirements-based test case generation includes a control processor, a data store containing textual design requirements, a textual converter unit structured to convert the textual design requirements to a machine-readable version of design requirements, a requirement partition unit configured to partition the machine-readable design requirements into one or more sets of related design requirements, an equivalence class partition unit configured to process the machine-readable design requirements and input/output variables into a set of equivalence classes, an equivalence class analyzer unit structured to analyze the set of equivalence classes to generate equivalence class tests and identify uncovered input space, and a boundary class analyzer unit structured to identify boundaries of the equivalence classes and generate boundary value tests and robustness tests. A method for equivalence class analysis-based automated requirements-based test case generation implementable on the system, and a non-transitory computer readable medium are also disclosed.

公开(公告)号：EP3572945A1

公开(公告)日：2019-11-27

申请号：EP19160803.3

申请日：2019-03-05

申请人： General Electric Company

发明人： LI, Meng ,  DURLING, Michael Richard ,  SIU, Kit Yan ,  OLIVEIRA, Italo ,  YU, Han ,  DE CONTO, Augusto Marasca

IPC分类号： G06F11/36 ,  G06F8/35

摘要： Automated requirements-based test case generation method 200 includes constructing 205 a software architecture model derived from software design model architectural information, allocating 210 requirement models into blocks/operators of the software architecture model, and generating 215 component-level requirements-based test cases from the software architecture configured to be executable at different levels in the software architecture. The component-level requirements-based test case generation method includes receiving a software architecture along with allocated requirement models represented in hierarchical data flow diagram, selecting one of the software components, building an intermediate test model based on the selected component by automatically attaching at least one of test objectives or constraints to the corresponding software architecture model blocks/operators based on the selected test strategy, and generating human and machine readable test cases with the test generator for further automatic conversion to test executable and test review artifacts. A system and a non-transitory computer-readable medium for implementing the method are also disclosed.

公开(公告)号：EP3206129A1

公开(公告)日：2017-08-16

申请号：EP17154748.2

申请日：2017-02-06

申请人： General Electric Company

发明人： MANOLIOS, Panagiotis ,  LI, Meng ,  OLIVEIRA, Italo ,  DE CONTO, Augusto Maraqsca

IPC分类号： G06F11/36 ,  G06F9/44

CPC分类号： G06F11/3684 ,  G06F8/00 ,  G06F8/20 ,  G06F11/2273 ,  G06F11/3676 ,  G06F11/368 ,  G06F17/11 ,  G06F17/5009

摘要： A system for equivalence class analysis-based automated requirements-based test case generation includes a control processor 110, a data store 130 containing textual design requirements, a textual converter unit 140 structured to convert the textual design requirements to a machine-readable version of design requirements, a requirement partition unit 190 configured to partition the machine-readable design requirements into one or more sets of related design requirements, an equivalence class partition unit 150 configured to process the machine-readable design requirements and input/output variables into a set of equivalence classes, an equivalence class analyzer unit 160 structured to analyze the set of equivalence classes to generate equivalence class tests and identify uncovered input space, and a boundary class analyzer unit 170 structured to identify boundaries of the equivalence classes and generate boundary value tests and robustness tests. A method for equivalence class analysis-based automated requirements-based test case generation implementable on the system, and a non-transitory computer readable medium are also disclosed.

摘要翻译： 用于基于等价类分析的自动化的基于需求的测试用例生成的系统包括控制处理器110，包含文本设计要求的数据存储130，构造为将文本设计要求转换为设计的机器可读版本的文本转换器单元140 需求分区单元190，被配置为将机器可读设计需求划分为一组或多组相关设计需求;等价类分区单元150，被配置为将机器可读设计需求和输入/输出变量处理成一组 等价类分析器单元160，被构造为分析该组等价类以生成等价类测试并识别未覆盖的输入空间;边界类分析器单元170，被构造为识别等价类的边界并生成边界值测试和鲁棒性 试验。 还公开了一种用于在系统上可实现的基于等价类分析的自动化的基于需求的测试用例生成的方法以及非暂时性计算机可读介质。

公开(公告)号：EP3608786A1

公开(公告)日：2020-02-12

申请号：EP19188939.3

申请日：2019-07-29

申请人： General Electric Company

发明人： LI, Meng ,  YU, Han ,  RUSSELL, Daniel ,  DURLING, Michael

IPC分类号： G06F11/36

摘要： A method(100) and system(1100), the method(1100) including receiving a set of requirements for a software application, the set of requirements comprising a plurality of software requirements identified for the software application(1105); analyzing the set of requirements to determine dependencies between the plurality of software requirements in the set of requirements(1110); generating a visualization of the determined dependencies and test boundaries between the plurality of software requirements in the set of requirements(1115); storing the generated visualization of the determined dependencies and test boundaries between the plurality of software requirements in the set of requirements in a record(1120); and applying the determined dependencies in the record to at least one of (i) optimize test steps in a test procedure and (ii) generate an executable test procedure that exercises external inputs and outputs for the software application.

公开(公告)号：EP3208716A1

公开(公告)日：2017-08-23

申请号：EP17153891.1

申请日：2017-01-31

申请人： General Electric Company

发明人： LI, Meng ,  DURLING, Michael Richard ,  DAI, Jian ,  STACEY, Scott Alan

IPC分类号： G06F11/36

CPC分类号： G06F11/3684 ,  G06F11/3676

摘要： A method for automated test case augmentation includes receiving, at an automated test augmentation system 100, a design model 130 and model coverage gap 135 information from a model-based development tool, translating the model coverage gap information into machine-readable mathematical test objective 152 expressions, developing a set of test objective operators by translating the machine-readable mathematical test objective expressions, localizing target operators for the identified coverage gaps within the design model, attaching the test objective operators to target operators of the design model to create a test model, augmenting the test model by propagating test objectives at the target operators to a test node operator of the design model, and executing, by a test generator 160, the augmented test model to obtain the test cases to cover the coverage gaps and the causes for the model coverage gaps. A system 100 for implementing the model-based design and a non-transitory computer readable medium are also disclosed.

摘要翻译： 用于自动化测试案例增强的方法包括在自动化测试增强系统100处接收来自基于模型的开发工具的设计模型130和模型覆盖间隙135信息，将模型覆盖间隙信息转换为机器可读数学测试目标152 通过翻译机器可读的数学测试目标表达式，针对设计模型内已识别的覆盖差距定位目标运算符，将测试目标运算符附加到设计模型的目标运算符以创建测试模型来开发一组测试目标运算符 ，通过将目标操作员的测试目标传播给设计模型的测试节点操作员来扩充测试模型，并且由测试生成器160执行增强测试模型以获得测试案例以覆盖覆盖差距和原因 模型覆盖率差距。 还公开了用于实施基于模型的设计的系统100和非暂时性计算机可读介质。