Fehlalarmfreie Abstraktion in ISO-C konformer Semantik

Zusammenfassung
Viele Aussagen zum Programmverhalten sind in turingmächtigen Programmiersprachen unentscheidbar (Rice Theorem). Mittels Abstraktion vom Programmverhalten können nicht-turingmächtige Modelle automatisch erzeugt werden. Modelle in Form von symbolischen Kellersystemen (SPDS) erlauben eine so präzise Darstellung des Programmverhaltens, sodass eine ISO-C konforme Semantik möglich ist [RB12, KZR09]. Allerdings führen präzisere Darstellungen stets auch zu komplexeren und umfangreicheren Modellen. Dies erschwert Software-Modellprüfung, modellbasiertes Testen und Testdatenund Codegenerierung. Mehr Abstraktion führt hingegen zu kleineren Modellen, allerdings auch zu mehr Fehlalarmen. Ziel dieser Arbeit ist es, bezüglich temporaler Aussagen unwichtige Teile eines SPDS zu identifizieren und von diesen Teilen so zu abstrahieren, dass keine Fehlalarme entstehen.
  • Vollständige Referenz
  • BibTeX
Richter, D. & Hoffmann, R., (2012). Fehlalarmfreie Abstraktion in ISO-C konformer Semantik. In: Jähnichen, S., Rumpe, B. & Schlingloff, H. (Hrsg.), Software Engineering 2012. Workshopband. Bonn: Gesellschaft für Informatik e.V.. (S. 89-103).
@inproceedings{mci/Richter2012,
author = {Richter, Dirk AND Hoffmann, Roberto},
title = {Fehlalarmfreie Abstraktion in ISO-C konformer Semantik},
booktitle = {Software Engineering 2012. Workshopband},
year = {2012},
editor = {Jähnichen, Stefan AND Rumpe, Bernhard AND Schlingloff, Holger} ,
pages = { 89-103 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
89.pdf212.7Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-293-2
ISSN: 1617-5468
Datum: 2012
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige