Abstract
The COSY Infinity software package by Berz et al. is widely used in the beam physics community. We report execution-based testing of its interval and Taylor model arithmetics. The testing strategy is careful to avoid contamination by inevitable rounding errors. Tests were ported to Sun’s F95 and INTLAB. In each package, we uncovered violations of containment which have all been corrected by their authors. We encourage users of COSY and most other software packages to check author/vendor web sites regularly for possible updates and patches.
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
Berz, M.: COSY INFINITY Version 8 reference manual. Technical Report MSUCL–1088, National Superconducting Cyclotron Laboratory, Michigan State University, East Lansing, MI 48824 (1997)
Berz, M.: COSY INFINITY web page (2000), cosy.pa.msu.edu
Corliss, G.F.: Performance of self-validating quadrature. In: Keast, P., Fairweather, G. (eds.) Proceedings of the NATO Advanced Workshop on Numerical Integration: Recent Developments, Software, and Applications, pp. 239–259. Reidel, Boston (1987)
Corliss, G.F.: Comparing software packages for interval arithmetic, 1993. Presented at SCAN 1993, Vienna (September 1993)
Dixon, L.C.W., Szegö, G.P.: Towards Global Optimization 2. North-Holland, Amsterdam (1978)
Kaner, C., Falk, J., Nguyen, H.Q.: Testing Computer Software, 2nd edn. Wiley, New York (1999)
Baker Kearfott, R., Dawande, M., Du, K.-S., Hu, C.: INTLIB: A portable FORTRAN 77 interval standard function library. ACM Transactions on Mathematical Software (1994)
Kit, E.: Software Testing in the Real World: Improving the Process. Addison Wesley, Reading (1995)
Makino, K., Berz, M.: Taylor models and other validated functional inclusion methods. International Journal of Pure and Applied Mathematics 4(4), 379–456 (2003), bt.pa.msu.edu/pub/
Sun Microsystems. Sun ONE Studio 7 (formerly Forte Developer 7) Interval Arithmetic (2002)
Myers, G.: The Art of Software Testing. Wiley, New York (1979)
Revol, N., Makino, K., Berz, M.: Taylor models and floating-point arithmetic: Proof that arithmetic operations are validated in COSY. LIP report RR 2003-11, University of Lyon, France, MSU HEP report 30212 (2003) (submitted), http://bt.pa.msu.edu/pub/
Rump, S.M.: Fast and parallel interval arithmetic. BIT 39(3), 539–560 (1999)
Rump, S.M.: INTLAB - INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77–104. Kluwer Academic Publishers, Dordrecht (1999), www.ti3.tu-harburg.de/rump/intlab
Rump, S.M.: Rigorous and portable standard functions. BIT 41(3), 540–562 (2001)
Whittaker, J.A.: How to Break Software: A Practical Guide to Testing. Addison Wesley, Boston (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Corliss, G.F., Yu, J. (2004). Interval Testing Strategies Applied to COSY’s Interval and Taylor Model Arithmetic. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds) Numerical Software with Result Verification. Lecture Notes in Computer Science, vol 2991. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24738-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-24738-8_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21260-7
Online ISBN: 978-3-540-24738-8
eBook Packages: Springer Book Archive