Automated validation and verification of computer software

Details Automated validation and verification of computer software Automated validation and verification of computer software

G - Physics

06

F

G06F 11/00 (2006.01) G06F 11/36 (2006.01)

Patent

CA 2304314

A method and apparatus for automating validation and verification of computer software confirms that during a test execution of the software, all lines of code are executed and all branches in the software are taken or not taken at least once. The computer software to be tested is compiled and a link map is generated. After compilation of the code, it is run in a test fixture to test all the design functions. During this test execution, a monitoring process is performed which documents which lines of code have been executed and when and when not certain branches were taken. Two maps are generated which indicate what instruction branches were taken and were not taken. A comparison is then made between the link map originally generated and the two branch maps generated to determine what lines of code were executed, whether each branch was taken at least once, and whether a branch was not taken.

Un procédé et un appareil destinés à automatiser la validation et la vérification de logiciels d'ordinateur permettent de confirmer que pendant une exécution de test du logiciel, toutes les lignes de code sont exécutées et toutes les branches du logiciel sont prises ou ne sont pas prises au moins une fois. Le logiciel d'ordinateur devant être testé est compilé et un relevé de liens est généré. Après la compilation du code, on le fait tourner dans un dispositif de test pour vérifier toutes les fonctions du logiciel. Pendant cette exécution de test, un processus de surveillance est réalisé avec des documents dont les lignes de code ont été exécutées et lorsque certaines branches sont prises et lorsque certaines branches ne sont pas prises. Deux cartes sont générées, ces dernières indiquant les branches d'instruction qui sont prises et celles qui ne sont pas prises. Une comparaison est ensuite effectuée entre le relevé de liens généré au départ et les deux cartes de branches générées pour déterminer les lignes de code qui ont été exécutées, si chaque branche a été prise au moins une fois et si une branche n'a pas été prise.

Affiliated with

Also associated with

Rating

Automated validation and verification of computer software does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Automated validation and verification of computer software, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automated validation and verification of computer software will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-1963627