INTEGRATED AUTOMATED TEST CASE GENERATION FOR SAFETY-CRITICAL SOFTWARE

摘要

According to some embodiments, system 1200 comprises a communication device 1220 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 302 to receive the model, store the model and generate an intermediate model; a generator computer module 314 to receive the intermediate model, store the intermediate model, generate at least one test case; a memory 1230 for storing program instructions; at least one test case generation platform processor 1210, coupled to the memory 1230, and in communication with the translation computer module 302 and the generator computer module 314, 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.