Verification and validation of high integrity software generated by automatic code generators

Presents a comprehensive methodology for validating automatically generated software. The process consists of developing a fault-effect dependency model for the software, designing input stimuli to make the bugs manifest, designing tests to detect the incompatibilities from the intended behavior, and identifying the faulty code segment. A key feature of the methodology is the application of functional dependency modeling concepts, that have been proven to be robust in the testability analysis and fault diagnosis of large, complex hardware systems, to software verification and validation