DocumentCode
3156344
Title
Experimental evaluation of certification trails using abstract data type validation
Author
Wilson, Dwight S. ; Sullivan, Gregory F. ; Masson, Gerald M.
Author_Institution
Dept. of Comput. Sci., Johns Hopkins Univ., Baltimore, MD, USA
fYear
1992
fDate
21-25 Sep 1992
Firstpage
300
Lastpage
305
Abstract
The authors report on an attempt to assess the performance of algorithms utilizing certification trails on abstract data types. Specifically, they have applied this method to the following problems: heapsort, Huffman tree, shortest path, and skyline. Previous results used certification trails specific to a particular problem and implementation. The approach allows certification trails to be localized to data structure modules making the use of this technique transparent to the user of such modules
Keywords
abstract data types; program testing; Huffman tree; abstract data type validation; certification trails; data structure modules; heapsort; shortest path; skyline; Certification; Computer science; Data structures; Fault detection; Fault tolerance; Hardware; Monitoring; NASA; Redundancy; Space technology;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1992. COMPSAC '92. Proceedings., Sixteenth Annual International
Conference_Location
Chicago, IL
Print_ISBN
0-8186-3000-0
Type
conf
DOI
10.1109/CMPSAC.1992.217550
Filename
217550
Link To Document