Présentation
Le groupe Emenda (www.emenda.eu), propose des prestations de service pour le contrôle et la vérification de la qualité de vos applications.
Pour ceci nous disposons d’une gamme de produit comprenant :
- Klocwork : Analyse statique pour C, C++, C# et Java (www.klocwork.com)
- Lattix : Gestion de l’architecture par le concept DSM (www.lattix.com)
- DEFENSICS : Technique du fuzzing pour tester vos applications (www.codenomicon.com)
- Cantata++: Test unitaire et couverture de code pour le C, C++ et Java (http://www.ipl.com/products/p0000.uk.php)
Dans le cadre de ces activités, Emenda offre un panel de solutions permettant :
- Une analyse précise des défauts et mise à disposition de rapports listant les erreurs critiques des applications
- Vérification par rapport aux standards industriels (MISRA, DO-178B….)
- Vérification de la qualimétrie
- Une analyse complète de l’architecture des applications et mise à disposition de recommandation pour une remise en conformité.
- Une assistance pour la correction des applications et pour la mise en œuvre de solutions adaptées.
De plus nous proposons les solutions de la société Electric Cloud (www.electriccloud.com), solutions permettant de réduire de façon significative le temps de build de vos applications.
Produits présentés
Klocwork (www.klocwork.com):
Klocwork est la première solution d'analyse statique pour C, C++, C# et Java entièrement intégrée pour détecter automatiquement run-time erreurs, vulnérabilité du code et visualiser l'architecture du code. Les outils Klocwork permettent des gains exceptionnels en matière de productivité avec une utilisation au plus tôt dans le cycle de développement
Electric Cloud (www.electriccloud.com)
Solution unique pour optimiser et accélérer le processus de build de vos applications.
ElectricAccelerator via sa gestion du build parallèle permet d’accélérer ce processus jusqu'à 20 fois.
Electric Cloud a récemment été classé 8ème par « Deloitte's Technology Fast 50 Program for Silicon Valley Software and Information Technology (IT) Companies ».
Electric Cloud sera présenté pour la première fois en France par le groupe Emenda
Lattix (www.lattix.com)
Lattix est une solution pour visualiser et comprendre l’architecture des applications.
En collaboration avec le Massachusetts Institute of Technology (MIT), Lattix reprend le concept du ‘Dependency Structure Matrix’ (DSM) développé par ce dernier, afin de représenter l’architecture des applications sous la forme d’une matrice carrée et ainsi d’identifier les problèmes de dépendances.
DEFENSICS (www.codenomicon.com)
Solutions utilisant la technique du fuzzing pour tester vos applications
L’approche de Codenomicon est d’injecter un flux de données corrompues, représenté sous la forme de scénario de test, dans les protocoles de message et d’observer la réponse du dispositif. En cas de réponse anormale , un problème critique a alors été détecté par Codenomicon DEFENSICS.
Codenomicon met à disposition entre 1000 et 100 000 scenarios de test
Cantata++ (IPL : http://www.ipl.com/products/p0000.uk.php)
Solutions pour le test dynamique pour les C, C++ et Java. Cantata++ couvre les différentes formes de test comme;
- Test dynamique unitaire
- Test dynamique d’intégration
- Test structurel / fonctionnel (boite blanche / noire)
- Couverture de code (MC/DC - DO-178B - Cenelec.)
Liste des marques
Klocwork
Lattix
Cantata++
AdaTEST95
DEFENSICS
ElectricAccelerator
ElectricCommander |
