© 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}, }