An automated software test is provided which includes a functional model of a system to be tested. The automated software test is utilized to operate a system under test in accordance with specified facts, goals and rules. Quasi-random actions are taken within the system in accordance with specified rules and facts until a defined goal has been accomplished. Training the automated software test is accomplished by specifying a particular goal, i.e. identifying a particularly known defect, and thereafter running the test in a quasi-random fashion until the particular goal has been achieved. The number and nature of actions required to achieve that goal are logged and the process is then repeated until the shortest path required to achieve that goal has been determined. The log of actions which eventually reach a particularly defect may also be utilized a probable cause tree structure for future analysis.

On fournit un essai automatisé de logiciel qui inclut un modèle fonctionnel d'un système à examiner. L'essai automatisé de logiciel est utilisé pour actionner un système à l'essai selon des faits, des buts et des règles indiqués. des mesures Quasi-aléatoires sont prises dans le système selon des règles et des faits indiqués jusqu'à ce qu'un but défini ait été accompli. En formant le logiciel automatisé examinez est accompli en indiquant un but particulier, c.-à-d. en identifiant un défaut en particulier connu, et en exécutant ensuite l'essai d'une mode quasi-aléatoire jusqu'à ce que le but particulier ait été réalisé. Le nombre et la nature des actions exigées pour réaliser que le but sont notés et du processus est alors répété jusqu'au chemin le plus court exigé pour réaliser que le but a été déterminé. La notation des actions qui atteignent par la suite en particulier un défaut peut également être utilisée une structure arborescente de cause probable pour la future analyse.