Logo des Repositoriums
 
Konferenzbeitrag

Towards static modular software verification

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2012

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

The paper presents our first work in progress results of an approach to verify the correct use of software libraries in target projects. Therefor the project's source code is analyzed and checked against the library's behavior specification, called interface grammar. This grammar is formalized using annotated state diagrams, and the verification analysis is based on static control flow, data flow and alias analyses. The paper illustrates the presented approach using a small-sized Java library example. In the end, we give a brief outlook to necessary enhancements.

Beschreibung

Mews, Marcus; Helke, Steffen (2012): Towards static modular software verification. Software Engineering 2012. Workshopband. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-293-2. pp. 147-153. Regular Research Papers. Berlin. 27. Februar - 2. März 2012

Schlagwörter

Zitierform

DOI

Tags