Chemin réalisable

Qu'est-ce qu'un chemin réalisable?

Un chemin de flux de contrôle via une fonction ou une procédure est possible s'il y a une affectation aux valeurs d'entrée qui entraîne l'exécution sur le chemin. Nous pouvons également utiliser une expression régulière pour décrire un ensemble de chemins.

L'analyse du chemin faisable dépend de:

• Type associé de constantes et déclarations de variables d'une fonction.

• Le chemin du début à la fin.

Méthodes:

Le chemin peut être bien analysé à l'aide de la technique de test White Box, dans laquelle les cas de test sont construits à partir de code sans référence aux exigences ou aux spécifications. Une collection de cas de test est construite pour satisfaire un ou plusieurs critères de couverture.

• Statement Coverage : Chaque énoncé du programme doit être exercé avec un nombre minimal de tests.

• Decision Coverage : Le résultat de chaque décision doit être exercé sur vrai et faux.

• Condition Coverage : Outre le test des résultats de chaque décision, les différentes manières dont chaque résultat peut être atteint à travers différentes valeurs de sous-conditions dans une décision doivent être exercées.

• Path Coverage : Tous les chemins de flux de contrôle à travers le programme sont testés.