Couverture logique

Qu'est-ce que le test de couverture logique?

La logique correspond à la structure interne du code et ces tests sont adoptés pour les applications critiques pour la sécurité telles que les logiciels utilisés dans l'industrie aéronautique. Ce test vérifie le sous-ensemble du nombre total d'attributions de vérité aux expressions.

Sources de couverture logique:

La couverture logique provient de l'une des sources mentionnées ci-dessous:

  • Décisions dans les programmes

  • Machines à états finis et Statecharts

  • Requirements