We decided to adhere to all the rules within MISRA and the QA.C tool made this extremely easy to achieve....Read More »
Using Static Code Analysis to Reduce Programming Errors
Static code analysis is a method of examining code, without executing it, and reporting on inconsistencies, redundancies, and design patterns known to cause defects or unexpected run-time behavior. It can also ensure compliance with internal, and industry-standard coding standards such as MISRA.
Coding Standards Enforcement
Organizations developing safety-critical embedded software applications benefit greatly by adopting coding standards. Enforcement of coding standards reduces the probability of introducing errors by:
- Identifying problematic constructs the underlying language allows
- Restricting or eliminating use of those constructs within the application code
Some software development organizations, such as those building embedded automotive applications, have long embraced coding standards for software development. MISRA C, and MISRA C++ for example, are widely used in the automotive industry.
Combining Static Analysis and Dynamic Testing
VectorCAST/Lint provides a perfect complement to the VectorCAST dynamic testing tools which provide users with automated unit and integration testing, including code coverage and regression test management capability.
It is important to note that VectorCAST/Lint and VectorCAST/C++ are completely integrated, but can be used separately or together. The dynamic tools used for unit/integration test and code coverage have no dependence on the static analysis for information to construct executable test harnesses. This alleviates the need to run the static analysis every time a change is made to a file when doing unit, integration, and regression testing.
See the benefits of combining static code analysis and dynamic testing for your embedded applications
If you would like to see how VectorCAST/Lint can help you deliver higher quality software, register today for a Fully-Functional Free Trial.
You may also contact Vector Software to arrange a demo for your project.