公开(公告)号：US10585779B2

公开(公告)日：2020-03-10

申请号：US16049487

申请日：2018-07-30

Applicant: General Electric Company

Inventor： Meng Li ,  Han Yu ,  Daniel Russell ,  Michael Durling

IPC: G06F9/44 ,  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.

公开(公告)号：US10437713B2

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

申请号：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

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.