Dès qu'un logiciel est développé dans un langage orienté objet, il ne peut y avoir de méthode mathématique de validation.
La méthode usuelle consiste alors à revalider chaque fonction existante à chaque modification du code. Cela implique d'écrire en plus du code opérationnel, une routine de test pour chaque fonction. De plus cela ne protège ni des erreurs lors d'interactions entre fonctions, ni des erreurs lors des interactions homme/machine pour lesquelles aucune routine de test n'est vraiment envisageable.
Si l'on ajoute à cella la croissance vertigineuse des combinaisons de fonction possibles, la tâche semble hors d'atteinte.
Par exemple, imaginons une interface utilisateur avec 100 fonctions, chacune commandée par un bouton marche/arrêt. Le nombre d'états possibles à un moment donné est égal à 100 x 99 x 98 ... x 1. Factorielle de 100 = 9.33^157. Et l'exécution d'une séquence d'instructions multiplie encore le nombre d'états possibles du logiciel à valider!

Comment relevez-vous ce défi?

Ce forum ne contient aucun message.

Ce forum ne contient aucun message.