The Use of Error Detection and Compensation Techniques for Testing the Integer Class cBigNumber

摘要

The use of automatic error detection and compensation techniques for testing the class cBigNum-ber 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.