Le récent problème d'OpenSSL et de ses failles peut nous avoir rendu dubitatifs quant à la supposée meilleure qualité des logiciels libres.
Cette dépêche se veut un petit rappel sur ce qui impacte la qualité d'un programme informatique, et de ce que l'on peut en déduire pour la communauté libre, et open source.
Ce jeudi 19 mars 2015 à 19h se déroulera la 37e séance montoise des Jeudis du Libre de Belgique, avec Dimitri Durieux (CETIC), sur la thématique : Qualité / Développement / Outils / Visualisation, avec SonarQube. Séance tout public.
SonarQube (anciennement Sonar) est un projet qui permet de suivre la qualité des développements logiciels. La qualité d’un logiciel est un sujet qui divise : certains pensent qu’il s’agit d’un surcoût et la voient comme une contrainte, d’autres au contraire pensent qu’il s’agit d’une opportunité et voient la qualité comme un guide de travail.
La qualité en général c’est le fait de mettre en place les conditions (organisation, outils, règles, équipe) qui permettront de répondre aux besoins exprimés. Dans le cas d’un développement logiciel, il s’agit de développer les besoins fonctionnels et non-fonctionnels du client. Nous distinguons donc la qualité fonctionnelle (répondre aux besoins fonctionnels) et la qualité non-fonctionnelle (répondre aux besoins non-fonctionnels). On préfère donc opposer au surcoût induit par la qualité, le coût induit par le manque de qualité d’un logiciel. On appelle ce manque de qualité logicielle « la dette technique ».
La deuxième partie présente SonarQube et les détails de la séance.
L'assistant de preuve Coq, deux fois primé l'année dernière, vient de sortir en version 8.5 bêta. Attendue depuis plus d'un an déjà, on trouvera au menu de cette version un nombre certain de changements en profondeur.
Coq est un assistant de preuve sous licence LGPL 2.1, développé entre autres à l'INRIA. Issu des travaux sur la correspondance de Curry-Howard, Coq peut être vu aussi bien comme un langage de programmation que comme un système de preuves mathématiques. Il est, de fait, employé par les deux communautés. Parmi les développements en Coq, on peut citer par exemple le compilateur C certifié CompCert sur le versant informatique et la preuve du Théorème de Feit et Thompson sur le versant mathématique. Plus récemment, une des failles d'OpenSSL a été découverte grâce à Coq[0] . Il est aussi de plus en plus utilisé comme système interactif pour l'apprentissage de la logique dans l'enseignement supérieur.
On rappellera dans le reste de la dépêche les grands principes qui sous-tendent Coq, ce qu'il est, ce qu'il n'est pas, puis on détaillera les changements introduits dans cette version.
Retrouvez-nous autour d'un apéritif ce jeudi 20 novembre (de 18h45 à 20h) à la Cantine Numérique de Nantes pour découvrir la "Gestion des exigences et des tests pour une meilleure qualité des logiciels".
Attention : la présentation "La voix sur IP en entreprise et la place du logiciel libre dans tout cela" qui devait aussi avoir lieu de jour là est reportée à l'ApéroLibre suivant.
Vous vous intéressez au logiciels libres ou plus généralement au monde du Libre ?
Alliance Libre vous propose un nouveau format de séminaire : les "ApéroLibres", généralement le 3e jeudi tous les 2 mois impairs, de 18h45 à 21h à la Cantine Numérique de Nantes (Chaussée de la Madeleine - 11 Impasse Juton - 44000 Nantes) pour découvrir 2 thématiques différentes.
Entrée libre et gratuite - Le nombre de places est limité, si vous voulez être sûr d'avoir une place, inscrivez vous à info AT alliance-libre DOT org.
J'ai le plaisir de vous annoncer la sortie Blueprint v0.1, une bibliothèque METAPOST pour produire des graphiques utiles aux project managers et system desginers. Voilà une liste (exhaustive) de figures pouvant être produites avec la bibliothèque:
Ce dernier graphique utilise La bibliothèque graph de METAFONT QUI permet de faire de zolis dessins, j'ai ajouté des légendes. Cela permet par exemple (…)
Nous sommes heureux d'annoncer la sortie de la version 1.0.0 de Cerberus. Pour mémoire, Cerberus est un outil de test pour les applications web, les applications back office et les tests d'infocentres et outils décisionnels.
Cette version majeure voit le jour suite à l'ajout de trois fonctionnalités :
Cher journal,
Debian a mis en place son système d'intégration continue. Il consiste à exécuter les tests des différents logiciels présents dans le système de paquet dès qu'une dépendance du paquet binaire est mise à jour. Cela permet donc de trouver plus rapidement un problème dans une dépendance et de pouvoir prévenir aussi bien l'upstream du paquet dont les tests ont échoués que la dépendance qui les a fait échouer (en fonction d'où vient le problème).
Espérons que ce (…)
Développer une application peut rapidement devenir un enfer si vous n'avez pas anticipé certaines difficultés et fait les bons choix au moment de sa conception. Ce livre vous aidera à vous poser les bonnes questions et à tirer le meilleur parti de la programmation objet, en particulier en C++, sans tomber dans les pièges les plus fréquents. Il clarifie certains concepts délicats et passe en revue un ensemble de bonnes pratiques, qui rendront vos projets plus évolutifs et plus faciles à maintenir.
Après 6 mois de développement intensif depuis la version 0.9.0, une nouvelle version 0.9.1 de Cerberus vient d'être publiée. Cerberus (sous licence GPLv3) est un outil de test pour les applications web, les applications back office et les tests d'infocentres et outils décisionnels. En mode web lié à une base de données, il permet de centraliser la totalité des tests utilisateurs de n'importe quel type d'application.
Grâce à Selenium (autre framework de tests informatiques), Cerberus permet aussi de lancer en mode automatique (par une API REST) les tests d'application web en batch dans le cadre, par exemple, d'un processus d’intégration continue.
Au delà d'un script Selenium, Cerberus rend l’édition des actions utilisateur facile et lisible à travers une interface web. Les utilisateurs peuvent donc spécifier leur exigence dans chaque test et sur le même écran, les actions selenium peuvent être définies pour rendre l’exécution automatisée.
Bon test à tous…
Reqflow est un outil open-source, sous licence GPL v2+, de traçabilité d'exigences entre documents. Ce genre de traçabilité s'avère utile dès que la taille d'un projet devient conséquente : plusieurs centaines d'exigences.
J'avais plusieurs fois cherché et mentionné le besoin d'un tel outil open-source et, ne trouvant rien, je l'ai réalisé.
NdM : merci à goeb pour son journal.
Cher nourjal,
Après les journaux successifs sur l'instruction goto, je reçois un mail d'un de nos professeurs par rapport à une affaire où les freins d'une Toyota ont refusé de fonctionner à cause d'un code spaghetti : http://www.safetyresearch.net/2013/11/07/toyota-unintended-acceleration-and-the-big-bowl-of-spaghetti-code/
L'article est très long et en angliche, ça date du 13 novembre 2013, je vais tenter un résumé :
Jean Bookout et Barbara Schwarz avaient une Toyota Camry de 2005. Le système de freinage est contrôlé par l'électronique du système. Mais voilà (…)
Reqflow est un outil open-source de traçabilité d'exigences entre documents. Ce genre de traçabilité s'avère utile dès que la taille d'un projet devient conséquente : plusieurs centaines d'exigences.
J'avais plusieurs fois cherché et mentionné le besoin d'un tel outil open-source, et ne trouvant rien, je l'ai réalisé.
Pour résumer le concept d'exigence à ceux qui n'en ont pas l'habitude, une exigence (requirement en anglais) est typiquement une fonctionnalité, décrite en quelques lignes. De cette exigence peuvent (…)
Salut Nal,
Mon premier billet ici, après quelques années passées à lire ceux des autres, est pour vous parler des derniers outils que j'ai eu l'occasion de tester.
Je cherchais les outils nécessaires pour développer collaborativement un programme open source, ou fermé dans le cadre d'une petite entreprise. Plus généralement je cherche un workflow efficace qui s'adapte aux diverses situations que je rencontre.
Les fonctionnalités recherchées sont :
Nous sommes heureux d'annoncer la première version d'une nouvelle génération d'outil de test : Cerberus 0.9.0 (licence GPLv3).
Son objectif est de centraliser et supporter la totalité de la stratégie de test et qualité d'un système d'information. Son but premier est de permettre à l'utilisateur final d'avoir accès à l'ensemble des tests. Il peut aussi voir quand ces tests ont été exécutés avec les résultats associés. Cerberus permet ainsi de mesurer la qualité d'une application en rendant l’exécution des tests très facile. Il centralise et historise la totalité des exécutions des tests par version.
Il supprime les étapes fastidieuses de test et améliore la documentation d'une application en rendant les cas de tests lisibles et centralisés.
Cette première version 0.9.0 permet de stocker les tests et les automatiser en utilisant Selenium (Cerberus peut être considéré comme une interface graphique à Selenium). Elle peut s’intégrer facilement à un système d’intégration continue de type Jenkins.
La prochaine version 1.0.0 permettra d'alimenter des résultats d’exécution de test en manuel avec une gestion des campagnes.
Hier, j'ai participé à une discussion fort intéressante, vis à vis de la nécessité, ou non, de commenter son code. Certains étaient contre, d'autres non.
Voici pourquoi moi je suis pour le fait de commenter, et absolument contre la version courante, mauvais dérivé d'XP et des méthodes agiles qui voudrait faire croire que le code est la documentation, justification au fait de ne pas commenter.
Tout a commencé par la lecture de cette présentation faite par (…)