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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anderson, E., Bai, Z., Bischof, C., Blackford, S., Demmel, J., Dongarra, J.J., Du Croz, J., Greenbaum, A., Hammarling, S., McKenney, A., Sorensen, D.: LAPACK: users’ guide, 3rd edn. SIAM, Philadelphia (1999)
Barker, V.A., Blackford, L.S., Dongarra, J., Du Croz, J., Hammarling, S., Marinova, M., Waśniewski, J., Yalamov, P.: LAPACK95: Users’ Guide. SIAM, Philadelphia (2001)
Barnes, D.J., Hopkins, T.R.: The evolution and testing of amediumsized numerical package. In: Langtangen, H.P., Bruaset, A.M., Quak, E. (eds.) Advances in Software Tools for Scientific Computing. Lecture Notes in Computational Science and Engineering, vol. 10, pp. 225–238. Springer, Berlin (2000)
Beizer, B.: Software System Testing and Quality Assurance. Van Nostrand Reinhold, New York (1984)
Gunnels, J.A., Gustavson, F.G., Henry, G.M., van de Geijn, R.A.: FLAME: Formal Linear Algebra Methods Environment. ACM Transactions on Mathematical Software 27(4), 422–455 (2001)
Hayhurst, K.J., Veerhusen, D.S., Chilenski, J.J., Rierson, L.K.: A practical tutorial on modified condition/decision coverage.Technical Report TM-2001-210876, NASA, Langley Research Center, Hampton, Virginia 23681-2199 (May 2001)
Hopkins, T.: A comment on the presentation and testing of CALGO codes and a remark on Algorithm 639:To integrate some infinite oscillating tails. ACM Transactions on Mathematical Software 28(3), 285–300 (2002)
ISO, Geneva, Switzerland. ISO/IEC 9899:1990 Information technology - Programming Language C (1990)
ISO/IEC. Information Technology – Programming Languages – Fortran - Part 1: Base Language (ISO/IEC 1539-1:1997). ISO/IEC Copyright Office, Geneva (1997)
Kaner, C., Falk, J., Nguyen, H.Q.: Testing Computer Software. Wiley, Chichester (1999)
Lahey Computer Systems, Inc., Incline Village, NV, USA. Lahey/Fujitsu Fortran 95 User’s Guide, Revision C edition (2000)
LDRA Ltd, Liverpool, UK. LDRA Testbed: Technical Description v7.0 (2000)
Numerical Algorithms Group Ltd., Oxford, UK. NAGWare Fortran Tools (Release 4.0) (September 1999)
Numerical Algorithms Group Ltd., Oxford, UK. NAGWare f95 Compiler (Release 5.0) (November 2003)
Offut, A.J., Lee, A., Rothermel, G., Untch, R.H., Zapf, C.: An experimental determination of sufficient mutant operators. ACM Transactions on Software Engineering Methodology 5(2), 99–118 (1996)
SunMicrosystems, Inc., Santa Clara, CA. FortranUser’sGuide (ForteDeveloper 7), Revision A edn. (May 2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barnes, D.J., Hopkins, T.R. (2006). Applying Software Testing Metrics to Lapack. In: Dongarra, J., Madsen, K., Waśniewski, J. (eds) Applied Parallel Computing. State of the Art in Scientific Computing. PARA 2004. Lecture Notes in Computer Science, vol 3732. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11558958_27
Download citation
DOI: https://doi.org/10.1007/11558958_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29067-4
Online ISBN: 978-3-540-33498-9
eBook Packages: Computer ScienceComputer Science (R0)