Reprise du message précédent :

 
Ah ouais, pas mal.  

ouais cool, on dirait du groovy

 
 
Aujourd'hui, j'ai eu droit à une démo de Coverity Prevent, un outil d'analyse statique de C/C++. Ca a l'air de plutôt bien marcher, ce truc, c'est la première fois que je vois un outil d'analyse statique de code fonctionner réellement sans avoir à instrumenter le code à la main comme un bourrin.
On a fait passer l'outil sur le produit (~1 million de lignes de C++), et il a reporté 900 erreurs. Les quelques-unes qu'on a examinées en direct lors de la présentation étaient effectivement de vrais bugs (ils disent qu'il y a environ 20% de "false positive", ce qui est faible comparativement aux autres produits du même genre).
Je ne sais pas comment il se démerde, mais le logiciel fait une vraie simulation de l'exécution des branchements, il ne se contente pas de faire de l'analyse grammaticale. Ainsi, dans le rapport en HTML, il ne se contente pas de dire où se trouve l'erreur mais comment elle arrive, en détaillant les valeurs des variables de boucles et des branchements, par exemple. Ce qui troue le cul, c'est qu'ils disent couvrir 100% des branchement, là où traditionnellement, dans de l'embarqué, il faut des centaines d'heures de test pour obtenir 80%. Bref, c'est assez balèze, comme soft.
 
On devrait avoir droit à une 2e présentation du produit avec le module "Extend" qui permet d'écrire ses propres règles d'analyse. On en saura un petit peu plus sur la technologie employée.
Ce soft est dérivé du "Stanford Checker" qui a détecter 2000 bugs dans le noyau Linux (et a permis de les corriger).

KOMM HENTE KOMM RENTE KOMM HASS AUF ALLES WAS FRUHER WAR JHAHAHHAHA

http://www.ivao.org/fr

much > t'as déjà envisagé d'ecrire un blog?

 
Ca a l'air sympa ce truc.
 
J'imagine que la license doit coûter bonbon, mais sur de gros projets...  

Pathfinder? À la JPF?

Si ça ne t'intéresse, pas, tu as le droit de ne pas me lire, je t'en voudrai pas.
Mais tu n'es pas obligé de te montrer systématiquement désagréable à mon égard.
 
Si j'ai écrit ce pavé, c'est que j'estime que ça peut intéresser qq. J'ai vu passer pas mal d'outils de ce genre et aucun ne m'a vraiment convaincu. Là, c'est la première fois que j'en vois un qui semble avoir une réelle utilité, donc j'en parle, ne vous en déplaise, monsieur moinmoins.

moi, ça m'interresse
 
par contre, spa la peine de faire une demande, vu que même textpad, on me le refuse

C'est gentil WTP, mais ça rame un poil sur ma machine

C'est quoi sa théorie ? parce que moi aussi j'en ai une: les mecs qui prennent les décisions sont des nazes

Je sais que c'est utilisé, je dis juste que c'est pas le remède à tout les maux comme il le sous entend (c'est pas avec un test que tu sais si du code est illisible ou pas)

C'est pas parce que je fais du VB que je ne me tiens pas au courant de ce qui se dit dans le monde hein.

De TDD uniquement, pas de XP. le TDD n'est qu'une petite partie de l'XP

Et ils t'ont embauché comme commercial

Je demanderai, mais oui, c'est certains que ça coûte bonbon. Ceci dit, c'est une licence qui n'est pas par poste ou par jetons.
Et effectivement, sur de gros projets... Par ex. dans les télécoms, on dépense des milliers d'heures d'ingénieur pour de la couverture de code. Si ce truc fait 100% de couverture de branchements, non seulement on gagne très rapidement en temps de développement, mais aussi en sûreté, parce qu'avec du test dynamique (par ex. Purify +9 Pure Coverage + test écrits à la main), c'est très difficile de dépasser 80% de couverture de code.

Il y a un trial dispo

http://butunclebob.com/ArticleS.Un [...] Mediocrity

Il dit pas que la TDD rend le code lisible hein, il dit qu'un code créé par TDD ne devrait jamais avoir besoin d'être modifié, c'est pas pareil  
 
Il y a un critère de qualité supplémentaire par rapport au juste TDD

 
non
 
clique sur le lien un peu

C'est simple, tu t'inscris pour qu'ils te fassent une démo gratuite avec audit du code. Tu leur montres le résultat avec les milliers de bugs résiduels détectés par l'outil dans votre code, et tu va voir s'ils vont te le refuser longtemps.

 
C'est clair. Déjà Purify coûte cher mais fait gagner un temps précieux (et beaucoup de fiabilité).
Quand j'ai découvert cet outil, je débarquais dans le monde du travail, et personne ne l'utilisait jamais : ils payaient la license, mais personne ne s'en servait.
Des coredumps tous les jours (en production...), des gens qui me donnaient des "leçons" de C ahurissantes (à base de memcpy(pointeur_a_initialiser, NULL, taille)   ), etc... j'ai utilisé cette merveille une semaine, et plus aucun plantage pendant deux ans
 
Désavantage de purify, effectivement, c'est que vu que c'est à l'exécution, faut parvenir à provoquer tous les cas... impossible.
 
Donc, bref, des outils d'analyse de code, c'est quand même super utile, peu importe leur prix ça fait gagner au final énormément de sous.
Faut juste une équipe et des dissaïdors qui en sont conscients, spas évident.  

Il te font une démo gratuite sur ton propre code

aujoud'hui j'ai essayé une soupe marrocaine de maggie
 
ca tape

par contre c'est pas libre et y'a pas de trial

 
tu la chie et tu la ressert

mais y vous font une demo : vous envoyer votre sachet de soupe et ils le bouffent pour vous

alors peut etre qu'un peu d'humilité ou de bienséance devrait te pousser à commencer ton post par qqchose dans le gout de "tiens, est-ce que quelqu'un connait ... ?".
 
 
Hein, juste histoire d'éviter de donner l'impression que tu te prend pour le dispenseur de bonne parole du topic, quoi.
 
edit: j'ai pas dit que ça m'interessait pas, c'est le ton et la manière qui m'exasperent. (que tu confirmes en estimant que ça peut intéresser qqun)

 
trofaure !

C'est plutôt genre ils viennent chez toi, preparent de la soupe avec tes instruments de cuisine et te la font goûter

 
Et quand ils repartent, ils embarquent la soupe que tu n'as pas pu gouter (juste voir), c'est à toi de ranger tout le bordel qu'ils ont mis.

DItes les webbeux, j'ai ça dans mon <head>
 

 
Et un div est défini par : <div onclick="openClosePhoto();return false;" class = "photoborder">
 
Pourquoi quand je cliquette dans ce div, il se passe rien ?

M'ouais... chacun sait que tu es bien placé pour donner des leçons d'humilité et de bienséance.
Désolé vieux, mais il va falloir t'y faire. J'ai bien remarqué que tu ne peux pas me piffrer, tu es sans arrêt à venir me chercher des poux avec des posts sarcastiques à chaque fois que j'écris. Généralement, j'ignore tes rodomontades, mais si tu continues, je vais finir par passer en mode aggressif et si j'ai du temps à perdre, je pourrais même jouer au petit jeu très con que tu joues avec moi.

Le ton et la manière t'exaspèrent ? Et tu crois que ton ton et ta manière n'exaspèrent personne ? Tu crois que les remarques désagréables que tu distilles en permanence n'exaspèrent pas la moitié des intervenants de ce topic ??
Figure-toi qu'elles m'exaspèreent tout autant, mais je n'en fais pas tout un fromage, moi. Il se trouve que j'ai mieux à faire qu'à me disputer avec un type que je ne connais pas par web interposé. Je viens ici pour me distraire. J'aimerais bien pour cette même raison qu'on ne vienne pas me chier dans les pompes tous les 3 jours. Merci d'avance, monsieur moinmoins.
Quand au fait que j'estime que ça peut intéresser qq, les faits me donnent raison. Ce genre d'outil peut intéresser n'importe quel développeur C/C++ avec un peu d'expérience. Le jour où ma prose fera chier tout le monde, et bien je partirai comme je suis venu, et basta.

OK, mauvais type de script

Harko, c'est toi ?

Les gens prettent à peu près autant d'attention aux remarques de -- qu'à mes posts, donc non

ptain bonjour la bonne ambiance ici

moi j'aime tout le monde
 
 surtout avec beaucoup de biere dans le ventre

eh much, stu veux on fait un sondage?

Tiens, c'est vrai, ça...

Moi aussi je t'aime dans les fesses

stoi qui parle d'humilité et de bienséance
 

de mieux en mieux
 
je retourne à mon Flight Sim moi tiens, passke quand même, les trolls de kadreg sont bien meilleurs

oui oui oui

Pas la peine de demander qui en est la cause...  

Non merci.

 
On organise une partouze générale ?