RUS  ENG
Full version
JOURNALS // Prikladnaya Diskretnaya Matematika // Archive

Prikl. Diskr. Mat., 2009 supplement № 1, Pages 75–76 (Mi pdm113)

Mathematical Foundations of Informatics and Programming

Software errors search in complex data processing algorithms

A. N. Makarov

State Scientific Technical Centre "Science", Moscow

Abstract: The method of software analysis in the absence of the source code is discussed in the paper. The method of stress testing with the automatic tracing of software is applied for the analysis. In this case test data can be formed statistically or dynamically on the basis of tracing results.

UDC: 004.94



© Steklov Math. Inst. of RAS, 2024