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

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