BTC EmbeddedValidator
Produits
Information
Un cas de test pour une fonction donnée n’accède qu’à un des multiples chemins dans la fonction. Bien que les méthodes de test à l’état de l’art puissent en effet conduire à un certain niveau de confiance quant à la qualité du système, elles ne peuvent jamais affirmer la complétude de la verification.
Pour combler ce manque, BTC EmbeddedValidator vous permet de vérifier vos exigences formalisées par rapport à votre code de production de manière entière automatisée et avec une approche mathématique complète.
