School of Computing

Applying software testing metrics to Lapack

David Barnes and Tim Hopkins

In Jack Dongarra, Kaj Madsen, and Jerzy Wasniewski, editors, Proceedings of the Seventh International Workshop, PARA'04, Lyngby, Denmark, June 2004, Lecture Notes in Computer Science, pages 182-196, Berlin, July 2005. Springer Verlag.

Abstract

We look at how the application of software testing metrics affects the way in which we view the testing of the Lapack suite of software. We discuss how we may generate a test suite that is easily extensible and provides a high degree of confidence that the package has been well tested.

Download publication 186 kbytes (PDF)

Bibtex Record

@inproceedings{2046,
author = {David Barnes and Tim Hopkins},
title = {Applying Software Testing Metrics to {Lapack}},
month = {July},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2046},
    publication_type = {inproceedings},
    submission_id = {13673_1107772774},
    booktitle = {Proceedings of the Seventh International Workshop, PARA'04, Lyngby, Denmark, June 2004 },
    editor = {Jack Dongarra and Kaj Madsen and Jerzy Wasniewski},
    series = {Lecture Notes in Computer Science },
    address = {Berlin},
    publisher = {Springer Verlag},
    refereed = {yes},
    ISBN = {3-540-29067-2},
}

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

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

Last Updated: 21/03/2014