School of Computing

Testing a Medium Sized Numerical Package: A Case Study

Tim Hopkins and David Barnes

In G.Psihoyios, editor, NaCoM-2003 Extended Abstracts, pages 182-196. Wiley, May 2003.


We report on our experiences of applying a number of software testing techniques and software quality metrics to a medium sized numerical package. This package includes its own testing routines and we report a number of areas where we believe both the testing process and the code may be improved. We also report a number of faults and discuss a testing regimen which we have developed that appears to be more effective, efficient and extensible than the one currently provided with the package.

Bibtex Record

author = {{T}im {H}opkins and {D}avid {B}arnes},
title = {{T}esting a {M}edium {S}ized {N}umerical {P}ackage: {A} {C}ase {S}tudy},
month = {May},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {conference},
    submission_id = {12500_1075201842},
    ISBN = {3-527-40462-7},
    booktitle = {NaCoM-2003 Extended Abstracts},
    editor = {G.Psihoyios},
    publisher = {Wiley},
    refereed = {yes},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014