公开(公告)号：US20180196739A1

公开(公告)日：2018-07-12

申请号：US15916660

申请日：2018-03-09

Applicant: General Electric Company

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

IPC: G06F11/36 ,  G06F8/20 ,  G06F8/35

Abstract: Automated requirements-based test case generation method includes constructing a software architecture model derived from software design model architectural information, allocating requirement models into blocks/operators of the software architecture model, and generating 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.

公开(公告)号：US20170228309A1

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

申请号：US15019725

申请日：2016-02-09

Applicant: General Electric Company

Inventor： Panagiotis MANOLIOS ,  Meng LI ,  Italo OLIVEIRA ,  Augusto Marasca De CONTO

IPC: G06F11/36

CPC classification number: G06F11/3684 ,  G06F8/00 ,  G06F8/20 ,  G06F11/2273 ,  G06F11/3676 ,  G06F11/368 ,  G06F17/11 ,  G06F17/5009

Abstract: 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.

公开(公告)号：US20170147482A1

公开(公告)日：2017-05-25

申请号：US14947633

申请日：2015-11-20

Applicant: General Electric Company

Inventor： Meng LI ,  Michael Richard DURLING ,  Kit Yan SIU ,  Italo OLIVEIRA ,  Han YU ,  Augusto Marasca De CONTO

IPC: G06F11/36 ,  G06F9/44

CPC classification number: G06F11/3684 ,  G06F8/20 ,  G06F8/35 ,  G06F11/3608

Abstract: Automated requirements-based test case generation method includes constructing in a model-based development tool a software architecture model automatically derived from architectural information of a software design model, allocating requirement models into blocks/operators of the software architecture model, and generating component level requirements-based test cases from 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.

公开(公告)号：US20200034273A1

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

申请号：US16049487

申请日：2018-07-30

Applicant: General Electric Company

Inventor： Meng LI ,  Han YU ,  Daniel RUSSELL ,  Michael DURLING

IPC: G06F11/36

Abstract: A method and system, the method 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; analyzing the set of requirements to determine dependencies between the plurality of software requirements in the set of requirements; generating a visualization of the determined dependencies and test boundaries between the plurality of software requirements in the set of requirements; 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; 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.

公开(公告)号：US20180300226A1

公开(公告)日：2018-10-18

申请号：US16014694

申请日：2018-06-21

Applicant: General Electric Company

Inventor： Panagiotis MANOLIOS ,  Meng LI ,  Italo ROMANI DE OLIVEIRA ,  Augusto Marasca De CONTO ,  Han YU ,  Daniel RUSSELL ,  Sundeep ROY

IPC: G06F11/36 ,  G06F11/22 ,  G06F17/50 ,  G06F17/11

CPC classification number: G06F11/3684 ,  G06F8/00 ,  G06F8/20 ,  G06F11/2273 ,  G06F11/3676 ,  G06F11/368 ,  G06F17/11 ,  G06F17/5009

Abstract: 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.

公开(公告)号：US20170220456A1

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

申请号：US15013391

申请日：2016-02-02

Applicant: General Electric Company

Inventor： Meng LI ,  Michael Richard DURLING ,  Jian DAI ,  Scott Alan STACEY

IPC: G06F11/36

CPC classification number: G06F11/3684 ,  G06F11/3676

Abstract: A method for automated test case augmentation includes receiving, at an automated test augmentation system, a design model and model coverage gap information from a model-based development tool, translating the model coverage gap information into machine-readable mathematical test objective 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, the augmented test model to obtain the test cases to cover the coverage gaps and the causes for the model coverage gaps. A system for implementing the model-based design and a non-transitory computer readable medium are also disclosed.