In this document, it will be discussed how software faults can be inadvertently introduced into applications which code is automatically generated from a design automation tool. The authors explain that these faults can be embedded into the model itself because of scaling, timing and data dictionary issues. Then, we introduce how an advanced static verification technique called Semantic Analysis can help locate and eliminate these errors from the generated code and the model itself.
Model based development with code generators - verification, testing and certification
Modellbasierte Entwicklung eines Code-Generators - Verifikation, Testen und Zertifizierung
2007
10 Seiten, 1 Bild, 3 Quellen
Conference paper
English
Tema Archive | 1997