KIT | KIT-Bibliothek | Impressum

Heuristische Graphzerlegung für redundanzarme Pfadbedingungen in ValSoft

Robschink, Torsten; Krinke, Jens

Abstract: In order to check safety-critical software, conventional software analysis methods are not sufficient. Our software analysis system ValSoft uses data flow analysis and deductive methods to find and analyse influences on relavant information pathes within programs. Program Dependence Graphs (PDG) serves us as a basis to compute conservative approximated path conditions, which indicate the circumstances of dependencies between interesting points in the programs. These conditions containded too much logical redundance. We introduce a partial heuristic method to speed up the computing of path conditions and to reduce the redundance clearly. We use in this connection articulation points, folded cycles and a heuristic graph decomposition method.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 1999
Sprache Deutsch
Identifikator ISBN: 3-00-004872-3
KITopen ID: 1000017649
Erschienen in Sicherheit und Zuverlässigkeit software-basierter Systeme. Beiträge zum GI-Workshop in Bad Honnef, 3. - 5. Mai 1999; enthält eine Zusammenstellung der Beiträge eines gemeinsamen Workshops der beiden GI-Fachgruppen FG 2.1.4 (Alternative Konzepte für Sprachen und Rechner) und FG 3.6.2 (German ENCRESS). Hrsg.: F. Saglietti
Verlag ISTec, Garching bei München
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page