Available Technology

EQUIVALENCE CLASS VERIFICATION AND ORACLE-FREE TESTING USING TWO-LAYER COVERING ARRAYS

A process for testing a program includes:  receiving a variable comprising a plurality of input values; producing a plurality of equivalence classes for the input values; producing a representative value per equivalence class; producing, by a processor, a primary covering array comprising a plurality of primary vectors; producing a secondary covering array comprising a plurality of secondary vectors; providing the secondary vectors to the program; and producing a result vector comprising a plurality of result entries to test the program.  A computer system for testing the program includes:  a memory; and a processor, in communication with the memory, wherein the computer system is configured to perform the process for testing the program.  A computer program product for testing the program includes:  a non-transitory computer readable storage medium readable by a processor and storing program code for execution by the processor to perform the process.
Inventors: 
Richard Kuhn, Raghu Kacker
Patent Number: 
15/019,448
Internal Laboratory Ref #: 
15-016US1
Lab Representatives
Share to Facebook Share to Twitter Share to Google Plus Share to Linkedin