SYSTEM AND METHOD FOR GENERATION OF AUTOMATIC REQUEST FOR BASE TEST CASE FOR SAFETY CRITICAL SOFTWARE

摘要

PROBLEM TO BE SOLVED: To provide a method for generation of an automatic request for base test case for safety critical software.SOLUTION: A software architecture model 134 is constructed from a software design model and a request model is allotted to a block/an operator of the software architecture model in a model base development tool 150. A component level request base test case generation unit 140 constructs an intermediate test model based on selected components and generates a test case by converting to a test which is executable and a test consideration artifact by: receiving the software architecture of a configuration of a hierarchy data flow diagram to which the request model is allotted; selecting one or a plurality of the software components; adding a test target or a restriction to the corresponding software architecture model block/operator based on a selected test strategy.SELECTED DRAWING: Figure 1