|
|
ISIT propose des outils et des solutions pour répondre à ces problématiques et aux méthodologies de développement. Les solutions sont inspirées des techniques de revue de code, conformité à un standard de codage ou des règles de programmation, maîtrise de la complexité, tests unitaires automatisés et de non régression, revue de couverture de code, et enfin, suivi des exigences.
Analyse statique :
La mise en œuvre d’une Analyse Statique durant la phase d'implémentation logiciel est primordiale pour limiter les coûts de développement d'un produit.
ISIT propose des outils permettant l’Analyse Statique du code en automatisant les différentes revue de code, revue de qualité (qualimétrie / métrologie) et revue de conception ou revue de design.
Revue de code :
Les revues de code manuelles sont très coûteuses en temps surtout lorsque des standards de codage, des normes ou même des règles de programmation propriétaires sont à appliquer. ISIT propose des outils permettant d'automatiser cette revue de code avec plus 750 règles de programmation, le support de nombreuses norme comme CERT, MISRA, DERA, MISRA-C:2004, GJB, HIC++, LMTCP, HIS, MISRA-C++.
Revue de qualité :
Les revues de qualité apportent une meilleure vue sur la suite du cycle de développement jusqu'en phase de maintenance du logiciel. Un code de meilleure qualité sera moins coûteux en phase de test et de validation mais également en phase de maintenance évolutive ou corrective. Les métriques les plus répandus sont la complexité cyclomatique, les métriques de McCabe ou Halstead, et des mesures plus directes comme le nombre de ligne de code, le nombre de lignes de commentaire, le nombre de boucles, l'étude des chemins ou LCSAJ.
L'outil LDRA classe plus de 60 métriques en trois métriques essentiels : la clarté, la testabilité et la maintenabilité.
Revue de conception :
Les revues de conception ont trois avantages. D'une part valider la documentation de conception architecturale et détaillée, d'autre part de faciliter la compréhension de l'implémentation ou de générer une documentation de conception détaillée plus adaptée et pour finir d'aider à la mise en place de la phase de tests unitaires.
L'outil LDRA va générer des graphes d'appel (callgraph) et des organigrammes (flowgraph) ainsi que des rapports de cross-referencement configurable et d'anomalie de données.
Analyse Dynamique :
Que ce soit pour répondre à une certification ou pour rechercher des bugs non évidents, il est important de réaliser une analyse dynamique poussée. ISIT est en mesure de vous proposer des outils d'analyse dynamique aussi bien pour mener une campagne de test que pour la recherche de bug.
Ces outils permettent de réaliser des campagnes de test unitaire, de test d'intégration et de test système.
Analyse de code arbitraire:
Les outils d’analyse permettent l’identification des défauts logiciels complexes et souvent critiques donc, difficiles à mettre en évidence par des tests conventionnels (plantage système complet, fuite mémoire, pointeur dé-référencé,…).
Normes et Certifications logiciel :
Quel que soit le standard auquel vous devez vous conformer pour votre certification de logiciel, DO-178C, SIL, IEC61508, ISO26262, EN50128 …, ISIT distribue les outils pour faciliter votre processus de certification logiciel et certification du code.
ISIT est capable de vous fournir un pack de qualification et pack de certification pour différents outils.
Ces processus permettent de certifier le code selon certaines normes tel que DO178B, MISRA-C, EN50128. Il permettent de s’adapter aux normes ISO (ISO9001) pour les entreprises, et de s’inscrire dans une démarche CMMi ou SPICE.
Test et Validation du code :
ISIT distribue un outil d'analyse pour l'amélioration des procédés de développement et d'essai de logiciels. Idéal pour les tests unitaires, les tests d'intégration, les tests systèmes et les tests de validation, LDRA Testbed peut être utilisé tout au long du cycle de vie d'un projet.
Gestion des exigences :
Visure Solution par le biais d’ISIT propose un outil d'ingénierie des exigences conçu spécifiquement pour fournir un support intégral du processus de gestion des exigences. C'est la réponse idéale pour les entreprises cherchant une solution flexible pour définir et implémenter leurs processus d'exigences. La gestion par les exigences permet de répondre au mieux au cahier des charges.
Ces outils facilitent le management des exigences et la traçabilité des exigences aussi bien pour de petit projets que pour des projets plus importants.
Formation test et validation :
ISIT propose des formations pour mettre en place des processus qualité, des méthodologies de développement. Les formations permettent de découvrir les différentes analyses statiques et les analyses dynamiques ainsi que les outils d’analyse du marché, les certifications logicielles pour le respect de normes par les tests et la validation du code.
|
