Title :
Early errors detection in parallel programs
Author :
Karpov, Andrey N. ; Ryzhkov, Evgeniy A.
Author_Institution :
OOO “Program Verification Syst.”, Russia
Abstract :
The goal of this paper is to tell about the methodology and tools for errors detection in parallel programs at the code writing stage. Applying static code analysis methodology allows developers to significantly reduce the error correction costs at the testing and support stages. The error diagnostics in multithread applications will be demonstrated with the examples of PC-Lint, VivaMP, and Intel C++ “Parallel Lint” analyzers. The paper will be useful for developers who create parallel Windows applications in C/C++ languages.
Keywords :
C++ language; error detection; parallel programming; program diagnostics; C/C++ languages; error correction costs reduction; errors detection; parallel programs; static code analysis methodology; Costs; Error correction codes; Mathematics; Out of order; Physics; Testing; Writing; C; C++; Parallel Programs Testing; Static Analysis;
Conference_Titel :
Software Engineering Conference in Russia (CEE-SECR), 2009 5th Central and Eastern European
Conference_Location :
Moscow
Print_ISBN :
978-1-4244-5664-2
Electronic_ISBN :
978-1-4244-5665-9
DOI :
10.1109/CEE-SECR.2009.5501180
