If you haven't received our response, please do the following: check your Spam/Junk folder and click the
"Not Spam" button for our message.
This way, you won't miss messages from our team in the future.
The article describes principles on which implementation of the static code analyzer VivaMP is based. The described set of testing logical conditions allows you to diagnose some errors in parallel programs created on the basis of OpenMP technology.
Testing parallel software is a more complicated task in comparison to testing a standard program. The programmer should be aware both of the traps he can face while testing parallel code and existing methodologies and toolkit.
The articles "Using Static Analysis in Program Development" and "Adaptation of the technology of the static code analyzer for developing parallel programs" were published in issue N3 of "Izvestiya TulGU. Tehnicheskie Nauki" magazine, 2008.
OOO "Program Verification Systems" has concluded a partner agreement with Avangate company (www.avangate.com) which provides services for Internet sales of programs. The headquarters of Avangate company is located in Amsterdam (Holland).
OOO "Program Verification Systems" has finished testing the code of software products of LEIOS family by an Italian company E.G.S. s.r.l.. The aim of the work was to check the compatibility of the code with 64-bit systems. The testing was performed with the help of...