DocumentCode :
1827818
Title :
Certification trails and software design for testability
Author :
Sullivan, Gregory F. ; Wilson, Dwight S. ; Masson, Gerald M.
Author_Institution :
Dept. of Comput. Sci., Johns Hopkins Univ., Baltimore, MD, USA
fYear :
1993
fDate :
17-21 Oct 1993
Firstpage :
200
Lastpage :
209
Abstract :
This paper investigates design techniques which may be applied to make program testing easier. We present methods for modifying a program to generate additional data which we refer to as a certification trail. This additional data is designed to allow the program output to be checked more quickly and effectively. Certification trails have heretofore been described primarily from a theoretical perspective. In this paper, we report on a comprehensive attempt to assess experimentally the performance and overall value of the certification trail method. The method has been applied to nine fundamental, well-known algorithms for the following problems: convex hull, sorting, huffman tree, shortest path, closest pair, line segment intersection, longest increasing subsequence, skyline, and voronoi diagram. Run-time performance data for each of these problems is given, and selected problems are described in more detail. Our results indicate that there are many cases in which certification trails allow for significantly faster overall program execution time than a two-version programming approach, and also give further evidence of the breadth of applicability of this method
Keywords :
computational complexity; data structures; design for testability; performance evaluation; software engineering; software fault tolerance; abstract data; certification trail method; closest pair; convex hull; huffman tree; line segment intersection; longest increasing subsequence; program execution time; shortest path; skyline; software design for testability; sorting; timing data; voronoi diagram; Algorithm design and analysis; Certification; Computer science; Data structures; Fault detection; Monitoring; Runtime; Software design; Software testing; Sorting;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Test Conference, 1993. Proceedings., International
Conference_Location :
Baltimore, MD
Print_ISBN :
0-7803-1430-1
Type :
conf
DOI :
10.1109/TEST.1993.470701
Filename :
470701
Link To Document :
بازگشت