Les tests de transition d’état servent à dériver les cas de test depuis des diagrammes états-transitions.
Les tables de décision permettent de réduire la combinatoire en considérant les entrées et sorties du logiciel comme des expressions booléennes.
L’analyse des valeurs limites permet de trouver des déplacements ou des omissions de limites, et peut détecter des cas de dépassement des limites.
La technique des partitions d’équivalence est utilisée pour réduire le nombre de cas de test nécessaire pour tester un ensemble d’entrées, de sorties, d’intervalles de valeurs ou de temps.
