Automation of code verification

Objective

Integration of automatized verification in the development environment using a set of programming rules.

Justification

To make team work easier, to smooth code transmission between developers, to reduce defects in coding, programming rules are necessary. The automation of their verification, and its integration in the development environment will ensure they are respected at best.

Languages

C, C++, ADA and Java

Service description

Phase 1: critical analysis of existing programming rules
Phase 2: identification of a set of rules to be automated
Phase 3: development of verification scripts
Phase 4: integration of the scripts in user's development environment
Phase 5: programming manual production

Tools

IBM Rational Logiscope RuleChecker, Checkstyle, AdaControl …

Material

•    Verification scripts integrated in the development environment

•    Programming manual