Techniques de test logiciels

Les compétences des techniques de tests logiciels de KEREVAL s’appliquent aux systèmes d’information et aux systèmes embarqués. Elles sont classées en quatre types :

Les tests de conformité

• Adéquation des fonctionnalités constatées avec les exigences spécifiées du logiciel au niveau réglementaires, normatives et fonctionnelles,
• Non-régression des évolutions,
• Analyse de la couverture des tests existants,
• Analyse statique du code et tests unitaires des modules.
• Vérification de conformité d’interface,
• Vérification de la bonne interaction de deux ou plusieurs sous-systèmes,
• Mise en œuvre de plates-formes de référence pour tester différentes implémentations d’un même référentiel d’exigences.

Les tests de montée en charge

• Performances du logiciel,
• Tenue à la montée en charge du système,
• Tests aux limites et robustesse,
• Supervision du test et diagnostic des erreurs.

Les tests de sécurité

• Audit flash de sécurité
• La recherche de vulnérabilités du système,
• Le test d’intégrité des données,
• Le test de l’efficacité des droits d’accès des utilisateurs,
• La résistance des mécanismes de sécurité mis en place par le client.

Les tests d’interopérabilité

• Vérification des contrats d’interface,
• Vérification de la bonne interaction de deux ou plusieurs sous-systèmes,
• Mise en œuvre de plates-formes de référence pour tester différentes implémentations d’un même référentiel d’exigences.