Software for verification of program coding

Centre National d'Etudes Spatiales CNES - 10/19/2016


Free open source software for verifying program coding rules, using customizable libraries.


Faster and less risky software develop- ment - The developed computer programs are robust and fullfil the best practices defined by the entity, - Best practices for coding rules are capitalized in libraries and standardized within teams of program- mers, - Its use increases the rate of success of tests verifying that the coding of the program was carried out in the rules


An OPEN SOURCE technology - Open-source software, plug-in for Eclipse platform - Configurable with your own libraries of rules - Operationally validated by CNES’s space programs

Sheet PDF