Error-free software: know-how and know-why of program correctness
Error-free software: know-how and know-why of program correctness
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Hi-index | 0.00 |
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.