Discussion :

[Stéphane Bory]

Bonjour,

je suis entrain de développer un produit en c++ qui doit suivre certaines standards de programmations. Les standards que je doit suivre sont décrits dans le Corelinux consortium: "C++ coding standards" (www.literateprogramming.com/cppstnd.pdf ).

Je cherche un outil qui me permette de vérifier de façon automatiques les standards décrit dans le manuel de linuxcore.
Il existe par exemple un outil développer pare parasoft (c++test) mais cet outil est plutot centré sur des standards tels que FDA, MISRA, ...

Est-ce que quelqu'un connait un outil du style de c++test qui permettrai de ve´rfier les standards décrit dans le Corelinux consortium: "C++ coding standards" .

Merci d'avance pour vos réponse.

Cordialement
Stéphane

[Feriaman]

Bonjour,

Je me permet de répondre sans apporter beaucoup d'aide, car tu n'as pas eu de réponse depuis une semaine.

Je ne connais pas d'outil qui fassent cela en C++.
Je sais que de tels outils existent en Java, mais c'est beaucoup plus facile grace à la reflexion (et à la lisibilité du language aussi).
C'est peut-être à cela que tu pense.
Personellement je n'avais jamais entendu parler de tels outils avant l'arrivée du JAVA 1.5, et a fortiori en C++.

Dans tous les cas, certaines des directives du standard dont tu parles, comme :

The programmer should only have to look at the .hpp to use a class.

sont parfaitement subjective et ne pourront pas être strictement testées. Cela n'empèche que la faisabilité à n% peut être envisagée.

Si tu envisages de créer un tel outil, il existe un certain nombre de tuto pour écrire un plug-in gcc, qui te permettent de parser l'AST suite à compilation.

Cela permettrait au moins de tester des règles simples comme :

Do not use unions

Bonne journée

[3DArchi]

Salut,
Des outils de vérification statiques du code C++ :
QAC++
PCLint
CppCheck
CppDepend donne des métriques et je crois qu'il permet de construire des indicateurs.

J'ai entendu aussi parler de Polyspace

gcc avec tous les warning activés (-Wall ET -Wextra ET -Weffc++ etc... car Wall n'active pas tout)

Beaucoup de ces outils permettent des vérifications d'ensemble de règles réputées (comme MISRA par expl)

[Stéphane Bory]

Bonjour

Merci a Feriaman et 3DArchi pour vos réponses.
Javoue que pour le moment j'ai opté pour C++test qui couvre un pourcentage assez élevé des règles que je dois vérifier.
Mais je jetterai quand même un coup d'oeuil aux outils dont parle 3DArchiv.

Je vous tiendrai au courant si je trouve quelque chose de concluant.

Bonne fin de journée.