The use of automatic error detection and compensation techniques for testing the class cBigNumber written in C++ is discussed; this class is designed for performing operations on unbounded integer numbers. It implements the standard operations of C++, square rooting, binary exponentiation, and Miller-Rabin primality test. The class is tested in the automatic mode. The reliability of computations is ensured using the built-in error control and compensation tools.
Full text>>
Text in SpringerLink>>