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

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...

Full description

Saved in:
Bibliographic Details
Main Authors Chavez Hector M, Shen Wuwei
Format Patent
LanguageEnglish
Published 09.03.2017
Subjects
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:Application Number: US201515118755