Automation of code verification


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


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.


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


IBM Rational Logiscope RuleChecker, Checkstyle, AdaControl …


•    Verification scripts integrated in the development environment

•    Programming manual