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

Otkrytoe Obrazovanie (Moskva)

Yuskevich A. Ilya¹  Viktor L. Lyaskovsky¹ 

[1] Bauman Moscow State Technical University;

关键词: software reliability;    reliability parameter;    software testing;    algorithmic redundancy;    integer programming;    mesh adaptive direct search;    brute-force search;   

DOI  :  10.21686/1818-4243-2014-4(105-4-10

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown