Wichmann, B (1997) Testing Ada fixed point operations. NPL Report. CISE 11/97

Text cise11.pdf Download (4MB)

Abstract

Since errors have been noted in Ada 83 compilers in handling fixed point operations, a study has been undertaken to ensure such errors can be located easily. The report describes an automatic test case generator written in Prolog. Results of applying the generator to three Ada compilers are given, none of which were entirely satisfactory.

Item Type:	Report/Guide (NPL Report)
NPL Report No.:	CISE 11/97
Subjects:	Mathematics and Scientific Computing Mathematics and Scientific Computing > Numerical Computation
Last Modified:	02 Feb 2018 13:18
URI:	https://eprintspublications.npl.co.uk/id/eprint/573