×

INTEGRATED AUTOMATED TEST CASE GENERATION FOR SAFETY-CRITICAL SOFTWARE

  • US 20160170864A1
  • Filed: 12/10/2014
  • Published: 06/16/2016
  • Est. Priority Date: 12/10/2014
  • Status: Active Grant
First Claim
Patent Images

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 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.

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×