SYSTEM AND METHOD FOR AUTOMATICALLY CREATING TEST CASES BASED ON REQUIREMENTS RELATING TO CRITICAL SOFTWARE

摘要

A method for automatically generating requirement-based test cases includes constructing (205) in a model-based debugging tool, a software architecture model automatically derived from architectural information of a model of software design, assignment (210) of requirement models to blocks / operators of the software architecture model, and creation (215), from the software architecture, of test cases based on requirements at the component level.