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 computation paths and test objective paths 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; and generate at least one test case for use in software validation and verification; and means configured to, using the at least one test case, verify and validate the model satisfies the requirements; 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 behaviours 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 of the 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 of the test objective paths; wherein the one or more test objectives are attached to the intermediate model; and wherein the computation paths describe model behaviours and the test objective paths describe test objectives. 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 computation paths and test objective paths 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; and generate at least one test case for use in software validation and verification; and 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 computation paths and test objective paths 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; and generate at least one test case for use in software validation and verification; and means configured to, using the at least one test case, verify and validate the model satisfies the requirements; 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 behaviours 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 of the 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 of the test objective paths; wherein the one or more test objectives are attached to the intermediate model; and wherein the computation paths describe model behaviours and the test objective paths describe test objectives.