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.
|