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

Author

Malepati, V. ; Li, H. ; Pattipati, K.R. ; Deb, S. ; Patterson-Hine, A.

Author_Institution

Dept. of Electr. & Syst. Eng., Connecticut Univ., Storrs, CT, USA

Volume

3

fYear

1998

fDate

11-14 Oct 1998

Firstpage

3004

Abstract

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

Keywords

automatic programming; fault diagnosis; program debugging; program testing; program verification; software fault tolerance; automatic code generators; automatically generated software; fault diagnosis; fault-effect dependency model; faulty code segment identification; functional dependency modeling; high-integrity software; incompatibility detection; input stimuli; large complex hardware systems; robustness; software bugs; software validation; software verification; test design; testability analysis; Application software; Computer bugs; Fault detection; Fault diagnosis; Hardware; Robustness; Software design; Software systems; Software testing; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on

Conference_Location

San Diego, CA

ISSN

1062-922X

Print_ISBN

0-7803-4778-1

Type

conf

DOI

10.1109/ICSMC.1998.725121

Filename

725121