Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Lehrstuhl fr Informatik 11 Zeit: Dienstag, 03.06.2008, 16.00 Uhr

Summary: Lehrstuhl für Informatik 11
Zeit: Dienstag, 03.06.2008, 16.00 Uhr
Ort: AH VI, Ahornstr. 55
Referent: Herr Professor Dr. Jan Peleska
University of Bremen
Titel: Integrated and Automated Abstract Interpretation,
Verification and Testing of C/C++ Modules
Starting from the perspective of safety-critical systems development in avionics, rail-
ways and the automotive domain, we advocate an integrated verification approach
for C/C++ modules combining abstract interpretation, formal verification and conven-
tional testing. It is illustrated how testing and formal verification can benefit from ab-
stract interpretation results and, vice versa, how test automation techniques may help
to reduce the well known problem of false alarms frequently encountered in abstract
interpretations. As a consequence, verification tools integrating these different meth-
odologies can provide a wider variety of useful results to their users and facilitate the
bug localisation processes involved. When applied to C/C++ software, the problems
of aliasing, type casts and mixed arithmetic and bit operations have to be handled on
the level of constraint generation. We cope with this problem by using a symbolic


Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)


Collections: Computer Technologies and Information Sciences