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
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;
Conference_Titel :
Computer Software and Applications Conference, 1992. COMPSAC '92. Proceedings., Sixteenth Annual International
Conference_Location :
Chicago, IL
Print_ISBN :
0-8186-3000-0
DOI :
10.1109/CMPSAC.1992.217550
