Title
Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic
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.
Year
DOI
Venue
2003
10.1007/978-3-540-24738-8_5
LECTURE NOTES IN COMPUTER SCIENCE
Field
DocType
Volume
Computer science,Round-off error,Infinity,Vendor,Arithmetic,Rounding,Software,Porting,Interval arithmetic,Test strategy
Conference
2991
ISSN
Citations 
PageRank 
0302-9743
2
0.53
References 
Authors
3
2
Name
Order
Citations
PageRank
George F. Corliss19526.53
Jun Yu26910.20