公开(公告)号：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.

公开(公告)号：US20180246703A1

公开(公告)日：2018-08-30

申请号：US15441626

申请日：2017-02-24

Applicant: General Electric Company

Inventor： Liling REN ,  Han YU ,  Gregory Reed SYKES ,  Michael Richard DURLING ,  Kit Yan SIU ,  Scott Alan STACEY

IPC: G06F9/44 ,  G06F9/455

CPC classification number: G06F8/20 ,  G06F8/30 ,  G06F8/313 ,  G06F8/34 ,  G06F8/35 ,  G06F9/44 ,  G06F9/455

Abstract: According to some embodiments, an Arbitrary Software Logic Modeling (“ASLM”) data source may store electronic records associated with units, each electronic record including a unit identifier, one or more identification tags, context data, unit parameters, unit variables, and internal logic. An ASLM platform may express system requirements at a logic block level and establish the logic blocks as self-contained entities and connections in accordance with the system requirements (the established logic blocks graphically representing systems logic). The ASLM platform may then explicitly transform the systems logic automatically to output language agnostic common design information exchange model information. The ASLM platform may also translate and maintain traceability among the system requirements, common design information exchange model information, and generated code.

公开(公告)号：US20180039514A1

公开(公告)日：2018-02-08

申请号：US15229814

申请日：2016-08-05

Applicant: General Electric Company

Inventor： Hongwei LIAO ,  Panagiotis MANOLIOS ,  Terrell Michael BRACE ,  Gregory Reed SYKES ,  Kevin J. JONES ,  Kit Yan SIU

IPC: G06F9/48

CPC classification number: G06F9/4887 ,  G06F9/4837

Abstract: Methods, apparatus, systems and articles of manufacture to facilitate efficient scheduling of digital tasks in a system are disclosed. Periodic and aperiodic tasks may be identified, an initial minimum required duration may be determined based on the periodic and aperiodic tasks, a finish-to-activate duration of the aperiodic task may be determined, a final minimum required duration may be determined based on the initial minimum required duration and the finish-to-activate duration, a time budget may be adjusted to be the final minimum required duration, and the aperiodic task may be activated within the time budget based on the finish-to-activate duration.

公开(公告)号：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.