© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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.Abstract
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
@conference{1779,
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 = {http://www.cs.kent.ac.uk/pubs/2003/1779},
publication_type = {conference},
submission_id = {12500_1075201842},
ISBN = {3-527-40462-7},
booktitle = {NaCoM-2003 Extended Abstracts},
editor = {G.Psihoyios},
publisher = {Wiley},
refereed = {yes},
}