SYMBOLIC EXECUTION PROGRAM, SYMBOLIC EXECUTION METHOD, AND SYMBOLIC EXECUTION DEVICE

摘要

PROBLEM TO BE SOLVED: To provide a symbolic execution device capable of extracting a test case having no duplication.;SOLUTION: In a symbolic execution device 50, symbol value setting means 51 sets a symbol value at the value of the item of each record of a DB stub 100; record identification setting means 54 sets the same identification value at a plurality of records satisfying the same search condition for an item among a record group including the symbol value as the value of an item; record retrieval control means 55 extracts one of the plurality of records that satisfy the same search condition among the record group and at which the same identification value is set as an object of symbolic execution processing; and symbolic execution means 52 executes symbolic processing for the symbol value of the item of the extracted record according to the search condition.;COPYRIGHT: (C)2015,JPO&INPIT