公开(公告)号：EP3457511A1

公开(公告)日：2019-03-20

申请号：EP18195018.9

申请日：2018-09-18

申请人： General Electric Company

发明人： SHE, Hongwu ,  JIANG, Xin ,  SHEN, Jie ,  ZHU, Dan ,  LI, Xiaohong ,  DAI, Jian ,  SCHROEDER, Stefan

IPC分类号： H02J1/00 ,  G06F1/26 ,  H02J13/00 ,  H02M3/157

摘要： A power conversion system (100) is disclosed. The system comprises at least one conversion unit (10) with a converter unit (11) and a power interface board (or PIB) (12). The system (100) further comprises at least one measurement unit (20) with a measurement board (21) and a PIB (22). A controller (30) includes a processing unit (31) and a PIB (32) in communication with the processing unit (31) and with the PIBs (12, 22) of the conversion unit (10) and the measurement unit (30) with independent bandwidth.

公开(公告)号：EP3398247B1

公开(公告)日：2020-02-19

申请号：EP16829189.6

申请日：2016-12-28

申请人： General Electric Company

发明人： SZCZESNY, Paul Michael ,  DATTA, Rajib ,  TAO, Fengfeng ,  DAI, Jian ,  SHE, Xu ,  FRANGIEH, Tannous

IPC分类号： H02M1/088

公开(公告)号：EP3208716A1

公开(公告)日：2017-08-23

申请号：EP17153891.1

申请日：2017-01-31

申请人： General Electric Company

发明人： LI, Meng ,  DURLING, Michael Richard ,  DAI, Jian ,  STACEY, Scott Alan

IPC分类号： G06F11/36

CPC分类号： G06F11/3684 ,  G06F11/3676

摘要： A method for automated test case augmentation includes receiving, at an automated test augmentation system 100, a design model 130 and model coverage gap 135 information from a model-based development tool, translating the model coverage gap information into machine-readable mathematical test objective 152 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 160, the augmented test model to obtain the test cases to cover the coverage gaps and the causes for the model coverage gaps. A system 100 for implementing the model-based design and a non-transitory computer readable medium are also disclosed.

摘要翻译： 用于自动化测试案例增强的方法包括在自动化测试增强系统100处接收来自基于模型的开发工具的设计模型130和模型覆盖间隙135信息，将模型覆盖间隙信息转换为机器可读数学测试目标152 通过翻译机器可读的数学测试目标表达式，针对设计模型内已识别的覆盖差距定位目标运算符，将测试目标运算符附加到设计模型的目标运算符以创建测试模型来开发一组测试目标运算符 ，通过将目标操作员的测试目标传播给设计模型的测试节点操作员来扩充测试模型，并且由测试生成器160执行增强测试模型以获得测试案例以覆盖覆盖差距和原因 模型覆盖率差距。 还公开了用于实施基于模型的设计的系统100和非暂时性计算机可读介质。