Prev Up Next
Go backward to 11/16/2001   Sequence Searching Example Illustrates Different Approaches to Performance Testing
Go up to News Archive
Go forward to 10/30/2001   Automating Memory Management, in Three Flavors

11/13/2001   Examples Given of Correctness Testing

 AP Wire Service
The paper A Fast Generic Sequence Matching Algorithm, mentioned earlier as a moderately large example of the literate programming style, also provides examples of correctness and performance testing of generic software components. Here is a directory of files related to this paper, most of which are generated from the pdfnuweb source file gensearch.w:
gensearch directory
These files differ somewhat from those referenced in the earlier article; some revisions have been made to bring the code up to date with the C++ standard. Some further revisions are still to be done, but should be ready by Friday's class. These files will be used to illustrate some approaches to correctness and performance testing, but additional points about literate programming and the use of the nuweb and pdfnuweb tools will also be covered in class discussions.

 

Prev Up Next