Back to results
US 10,853,230 B2Granted
Method for automatically generating search heuristics and performing method of concolic testing using automatically generated search heuristics
AssigneeKorea University Research and Business Foundation
InventorsSooyoung Cha, Seongjoon Hong, Junhee Lee, Hakjoo Oh
Life of this patent
Estimating the term…
Abstract
Provided is a method for automatically generating a search heuristic that is optimal for a test subject program and a method of concolic testing that uses a parameterized search heuristic to yield a consistent test performance for any program.
Claims4
A method of concolic testing, the method comprising:
- inputting a subject program and an initial input;
- repeating the subject program execution by a set number of times using the initial input and a parameterized search heuristic;
- and
- outputting a branch coverage for the subject program,
- wherein the parameterized search heuristic comprises:
- generating feature vectors corresponding respectively to branches included in the subject program;
- calculating branch scores corresponding respectively to the branches by way of scalar products between the feature vectors and a predetermined parameter vector;
- and
- selecting a branch corresponding to a maximum value of the branch scores,
- and wherein the parameter vector is determined by a method for automatically generating a search heuristic based on the subject program.
7 more elements
Dependencies are inferred from the claim text.