Patent Document ID: 10108536
Application ID: 14565907
Patent Flag: 1

Claim One:
1. A system comprising: 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 a type of computation in a computation path extracted from 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, wherein the intermediate model is reduced to include only a portion of the intermediate model associated with a sub-graph that identifies only elements affecting a test objective; wherein the intermediate model preserves one or more behaviors per an associated sampling time from the model; wherein the translation computer module maps one or more computation sequences of the at least one model to one or more computation paths in the intermediate model; wherein the system further comprises a converter module operative to convert one or more test criteria to one or more test objectives, wherein each test objective is associated with a test objective path; wherein the one or more test objectives are attached to the intermediate model; and wherein the computation paths describe model behaviors and the test objectives paths describe test objectives.