Patent · US Active

Whitebox trace fuzzing

US8387016B2 · kind B2 · utility

4Cited by

11References

20Claims

0Family size

Assignee

Microsoft Corporation · US

Inventors

Nikolai Tillmann · Redmond, US
Jonathan Paul de Halleux · Seattle, US

Key dates

Filing date	May 1, 2009
Grant date	Feb 26, 2013
Priority date	—
Expiry date	Dec 28, 2031

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/3612
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

Disclosed is a process to generate and execute relevant, non-redundant test cases starting with an execution trace. An execution trace may be collected. A sequence of actions and the data involved in the actions may then be extracted from the execution trace and persisted separately from one another. Code for a non-deterministic program (“NDP”) may be generated, comprising the sequence of actions but without determining the data. A systematic program analysis of the NDP may be made, exploring possible execution paths and beginning from the path exercised by the persisted data. A new test case may be generated which fixes particular test inputs for the NDP.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.