Source code audit by
DevQuality is done in 5 steps:
Step 1: You provide us with your source code.
We define together your expectations (time frame,
analysis depth...). You also give us a way to access your own PolySpace™ licenses.
Step 2: DevQuality performs the source code
analysis in our own office using PolySpace™ tools.
If you prefer, the analysis can be done at your facilities at added cost.
Each so called 'certain' error found during this analysis
is corrected and reported to you. Then, a new
analysis is performed to check that these corrections
did not introduce new errors (regression tests).
Step 3: DevQuality then performs an
exhaustive analysis of each portion of the source code
that the PolySpace™ tools identified as a potential danger.
The analysis goal is to justify (false alarm) or
correct (real alarm) each portion of code.
Step 4: A DevQuality consultant presents
the audit results to you. Together, we review the
report delivered to you. You keep the results of the
analysis with an HTML version of the verification results, which allows you to view it
with any web browser.
Step 5: DevQuality consultants stay
available for a period of one month to answer any question
regarding the audit results.
In order to plan for the audit of your source code
immediately, contact us!