公开(公告)号：US20160170864A1

公开(公告)日：2016-06-16

申请号：US14565907

申请日：2014-12-10

Applicant: General Electric Company

Inventor： Meng Li

IPC: G06F11/36

CPC classification number: G06F11/3684 ,  G06F11/3676 ,  G06F11/3688

Abstract: According to some embodiments, system comprises a communication device operative to communicate with a user to obtain one or more requirements associated with a model for a test case generation module; a translation computer module to receive the model, store the model and generate an intermediate model; a generator computer module to receive the intermediate model, store the intermediate model, generate at least one test case; a memory for storing program instructions; at least one test case generation platform processor, coupled to the memory, and in communication with the translation computer module and the generator computer module, operative to execute program instructions to: transform the model into an intermediate model by executing the translation computer module; identify a model type associated with the intermediate model based on an analysis of the intermediate model by executing the generator computer module; select a test generation method based on analysis of the identified model type by executing the generator computer module; generate at least one test case for use in software validation and verification. Numerous other aspects are provided.

Abstract translation: 根据一些实施例，系统包括可操作以与用户通信以获得与用于测试用例生成模块的模型相关联的一个或多个需求的通信设备; 翻译计算机模块，用于接收模型，存储模型并生成中间模型; 发电机模块，用于接收中间模型，存储中间模型，生成至少一个测试用例; 用于存储程序指令的存储器; 至少一个测试用例生成平台处理器，耦合到所述存储器，并且与所述翻译计算机模块和所述发生器计算机模块通信，用于执行程序指令以：通过执行所述翻译计算机模块将所述模型变换为中间模型; 通过执行发电机计算机模块，基于对中间模型的分析，识别与中间模型相关联的模型类型; 通过执行发电机模块，选择基于识别的模型类型分析的测试生成方法; 生成至少一个用于软件验证和验证的测试用例。 提供了许多其他方面。