Patent · US Active

Abstract symbolic execution for scaling symbolic execution generation and automatic test generation

US8856751B2 · kind B2 · utility

3Cited by

4References

20Claims

0Family size

Assignee

FUJITSU LIMITED · JP

Inventors

Guodong Li · Hornsby, AU
Indradeep Ghosh · Cupertino, US
Sreeranga P. Rajan · Sunnyvale, US

Key dates

Filing date	Sep 20, 2012
Grant date	Oct 7, 2014
Priority date	—
Expiry date	Apr 4, 2033

Classification

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

Abstract

A method includes, by one or more computing devices, determining code-under-test configured for execution on a computing device to be evaluated, creating a plurality of test cases based on the symbolic execution and including a plurality of constraints, selectively conducting abstract interpretation on the constraints, selectively conducting Satisfiability Modulo Theory (“SMT”) solving on the constraints, and validating or invalidating the code-under-test based on at least the SMT solving and the abstract interpretation. The abstract interpretation includes using a plurality of abstract interpretation models based on the constraints of the test case and over-approximating the constraints of the test case.

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