Services de vérification des logiciels conformément aux normes DO-178C et DO-278A
Processus de vérification des logiciels
Nous disposons de techniciens en vérification de logiciels qui ont l'expérience du processus et des outils de vérification automatisés.
Nous avons l'expérience de la vérification de fichiers de données de paramètres (PDIF) complexes : nous minimisons le nombre de cas de test nécessaires pour tester toutes les combinaisons possibles de champs.
Nous testons le logiciel sur l'hôte, le simulateur ou la cible, en réutilisant les cas de test.
Vaste expérience dans l'utilisation de VectorCast : nous fournissons un support de vérification interne.
La vérification comprend
- Vérification des exigences logicielles
- Vérification de la norme de codage des logiciels
- Vérification du code source par analyse statique du code
- Intégration des logiciels et tests unitaires axés sur les exigences
- Analyse de la couverture du code structurel
- Traçabilité des exigences et des cas de test
- Qualification des outils de vérification des logiciels
