期刊论文详细信息
Otkrytoe Obrazovanie (Moskva) | |
METHODS OF CHOICE THE SOFTWARE TESTING AND ALGORITHMIC REDUNDANCY PARAMETERS TO ACHIEVE RELIABILITY REQUIREMENTS FOR THE REAL-TIME PROCESSING SYSTEMS | |
Yuskevich A. Ilya1  Viktor L. Lyaskovsky1  | |
[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