METHODS OF CHOICE THE SOFTWARE TESTING AND ALGORITHMIC REDUNDANCY PARAMETERS TO ACHIEVE RELIABILITY REQUIREMENTS FOR THE REAL-TIME PROCESSING SYSTEMS

Abstract

We propose methods for the evaluation software reliability parameter of the real-time processing systems at complex application software testing and algorithmic redundancy. A formulation of the problem of choice the software testing and algorithmic redundancy parameters for achieving reliability requirements for the realtime processing systems is given as a problem of the mixed (integer and continuous) programming with the nonlinear constraints. The problem is solved by brute-force and mesh adaptive direct search algorithms.

Keywords

• software reliability
• reliability parameter
• software testing
• algorithmic redundancy
• integer programming
• mesh adaptive direct search
• brute-force search