Software for verification of program coding

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

Description

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

Benefits

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

Innovations

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