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

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

公开(公告)号：US20170277203A1

公开(公告)日：2017-09-28

申请号：US15082885

申请日：2016-03-28

Applicant: General Electric Company

Inventor： Mauricio CASTILLO-EFFEN ,  Timothy Lee JOHNSON ,  Michael Richard DURLING

IPC: G05D1/10 ,  G08G5/00 ,  B64C39/02

CPC classification number: G08G5/0039 ,  B64C39/024 ,  G06Q10/06

Abstract: A system, medium, and method, including receiving a set of formalized requirements for accomplishing a mission; allocating, by the processor using architecture synthesis, constraint solving, and compositional verification techniques, a role to each of a plurality of assets comprising a team of autonomous entities, the team to execute specific tasks according to their role to accomplish the mission; and generating, by the processor using controller synthesis and verification techniques, automata for accomplishing the mission for the plurality of assets, the automata being encoded to confer an ability to dynamically react to external inputs during a run-time execution of the automata by the plurality of assets.

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

公开(公告)号：US20240005802A1

公开(公告)日：2024-01-04

申请号：US17853478

申请日：2022-06-29

Applicant: General Electric Company

Inventor： Baoluo MENG ,  Szabolcs Andras BORGYOS ,  Michael Richard DURLING ,  Paul SASWATA

IPC: G08G5/00 ,  G08G5/04

CPC classification number: G08G5/0034 ,  G08G5/006 ,  G08G5/0043 ,  G08G5/0069 ,  G08G5/045

Abstract: Methods, apparatus and systems for generating verifiable conflict-free flight plans for aircraft are disclosed. In an embodiment, a server computer receives a set of air traffic flight plans for an airspace that includes elements, and receives at least two of aerodynamic constraint data, business constraint data and operational constraint data for an aircraft. The server computer then generates using a first constraint satisfaction solver, a plurality of candidate flight plans for the aircraft based on the at least two of the aerodynamic constraint data, the business constraint data and the operational constraint data. The server computer next checks, utilizing a second constraint solver, for conflicts with the elements of the air traffic flight plans for the airspace, and provides at least one verifiable conflict-free flight plan for the aircraft from the plurality of candidate flight plans when a candidate flight plan is conflict-free from all of the elements of the set of air traffic flight plans.

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