公开(公告)号：US20160299836A1

公开(公告)日：2016-10-13

申请号：US15019448

申请日：2016-02-09

Applicant: NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY

Inventor： D. RICHARD KUHN ,  RAGHU N. KACKER

IPC: G06F11/36

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

Abstract translation: 用于测试程序的过程包括：接收包括多个输入值的变量; 产生用于输入值的多个等价类; 产生每个等价类的代表值; 由处理器产生包括多个主向量的主覆盖阵列; 产生包括多个次向量的次级覆盖阵列; 向程序提供辅助向量; 并产生包括多个结果条目的结果向量以测试该程序。 用于测试程序的计算机系统包括：存储器; 以及与所述存储器通信的处理器，其中所述计算机系统被配置为执行用于测试所述程序的处理。 一种用于测试程序的计算机程序产品包括：由处理器可读的非暂时计算机可读存储介质，并存储用于由处理器执行以执行该过程的程序代码。