Invention Grant
- Patent Title: System and method for safety-critical software automated requirements-based test case generation
-
Application No.: US14947633Application Date: 2015-11-20
-
Publication No.: US09940222B2Publication Date: 2018-04-10
- Inventor: Meng Li , Michael Richard Durling , Kit Yan Siu , Italo Oliveira , Han Yu , Augusto Marasca De Conto
- Applicant: General Electric Company
- Applicant Address: US NY Schenectady
- Assignee: GENERAL ELECTRIC COMPANY
- Current Assignee: GENERAL ELECTRIC COMPANY
- Current Assignee Address: US NY Schenectady
- Agent Nitin N. Joshi
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F11/36

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.
Public/Granted literature
- US20170147482A1 SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMENTS-BASED TEST CASE GENERATION Public/Granted day:2017-05-25
Information query