Home    -   Contact   -   Site Map    -   Copyright
Consulting and Tools to Improve the Quality of Embedded Systems  
Links
 
Contact us
Our partners
 
 
Information
 
Audit
When you engage DevQuality to perform an audit on your  code, you will be provided with an exceptional level of quality, thanks to the runtime error detection tools, the most powerful on the market.


Advantages

DevQuality targets teams in charge of software quality that wish to:

  • Increase the quality of source code before delivery or deployment :
    DevQuality consultants constitute an independent team for verification and validation that will hunt down, in the code, the most difficult runtime errors to find by traditional methods.
  • Perform an evaluation of code quality for outsourced development :
    With the power of PolySpace™ tools used by DevQuality consultants, each single runtime error contained in the code you are analyzing is automatically identified. You then benefit from an objective acceptance criteria which is efficient and reusable for future deliveries. Please note that DevQuality consultants will actually use PolySpace™ licences owned by you and will not lend you any license.

 

These advantages are given to you by tools that DO NOT require :

Writing any specific test case
You find errors that can be found with more traditional methods but much faster.

Execution of code
Errors are detected by static analysis of dynamic proprieties of the code. You then find errors that are impossible to detect via traditional methods which utilize test cases while DevQuality performs an exhaustive analysis by branches and values of the code.

Code Instrumentation
In the embedded software domain, it is usually not allowed to perform instrumentation of the code during testing. Tested code shall strictly be the same as embedded code delivered. This makes data corruption detection much more complex and has dramatic results after deployment. With DevQuality, these errors are detected during a static analysis and, therefore, without code instrumentation.

Changes in development process
DevQuality needs only the source code of an application to perform an audit. Therefore, using our services and consultants is really without any effort on your part.

Process
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!

 
Home   -   Contact   -   Site Map   -   Copyright
Copyright 2008 DevQuality - All rights reserved