APPARATUS AND METHOD FOR TESTING COMPUTER PROGRAM IMPLEMENTATION AGAINST A DESIGN MODEL

• Main Authors: SHEN, WUWEI, CHAVEZ, HECTOR M
• Format: Patent
• Language: English; French
• Published: 19.11.2015
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; PHYSICS

A method of testing a computer program implementation according to a predefined design model, the program implementation having at least one method under test, employs a computer to generate a post-method corresponding to the method under test. A computer is further used to automatically generate a set of test cases. Then,using the automatically generated set of test cases, the computer explores different execution paths of the computer program implementation, by applying those test cases to both the method under test and the generated post-method, to reveal behavior that is not consistent with the behavior specified by the design model. L'invention concerne un procédé de test d'une implémentation de programme d'ordinateur selon un modèle de conception prédéfini, l'implémentation de programme ayant au moins un procédé en cours de test, qui utilise un ordinateur pour générer un post-procédé correspondant au procédé en cours de test. Un ordinateur est en outre utilisé pour générer automatiquement un ensemble de cas de test. Ensuite, à l'aide de l'ensemble de cas de test généré automatiquement, l'ordinateur explore différents trajets d'exécution de l'implémentation de programme informatique, en appliquant ces cas de test à la fois au procédé en cours de test et au post-procédé généré, pour révéler un comportement qui n'est pas cohérent avec le comportement spécifié par le modèle de conception.