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