DocumentCode
3091062
Title
View graphs for analysis and testing of programs at different abstraction levels
Author
Gossens, Stefan ; Belli, Fevzi ; Beydeda, Sami ; Cin, Mario Dal
Author_Institution
Framatome ANP GmbH, Erlangen, Germany
fYear
2005
fDate
12-14 Oct. 2005
Firstpage
121
Lastpage
130
Abstract
This paper introduces view graphs, which allow representation of source code for program analysis and testing at different levels of abstraction. At a low level of abstraction, view graphs can be used for white-box analysis and testing, and at a high level of abstraction, they can be used for black-box analysis and testing. View graphs are thus an approach to integrate black-box and white-box techniques.
Keywords
formal specification; formal verification; graph theory; program testing; abstraction level; black-box analysis; program analysis; program testing; source code; view graph; white-box analysis; Communication system control; Fault tolerant systems; Flow graphs; Information analysis; Protocols; Software systems; Software testing; System testing; Systems engineering and theory; User interfaces;
fLanguage
English
Publisher
ieee
Conference_Titel
High-Assurance Systems Engineering, 2005. HASE 2005. Ninth IEEE International Symposium on
ISSN
1530-2059
Print_ISBN
0-7695-2377-3
Type
conf
DOI
10.1109/HASE.2005.27
Filename
1581289
Link To Document