-
公开(公告)号: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.
-
公开(公告)号:US20190087357A1
公开(公告)日:2019-03-21
申请号:US16134300
申请日:2018-09-18
Applicant: GENERAL ELECTRIC COMPANY
Inventor: Hongwu SHE , Xin JIANG , Jie SHEN , Dan ZHU , Xiaohong LI , Jian DAI , Stefan SCHROEDER
IPC: G06F13/10 , G05B19/042 , H04B10/25 , G06F13/40
Abstract: A power conversion system is disclosed, which comprises at least one conversion unit comprising a converter unit and a first power interface boards; at least one measurement unit comprising a measurement board and a second power interface boards; and a controller comprising a processing unit, and a third power interface board communicated with the processing unit, and the first power interface board and the second power interface board, wherein at least some of the communications between the third power interface board and the first and second power interface boards have independent bandwidths.
-