Cindy S Gonzalez

US Patent:

20110314454, Dec 22, 2011

Filed:

Jun 17, 2010

Appl. No.:

12/817291

Inventors:

Patrice Godefroid - Mercer Island WA, US
Shuvendu Kumar Lahiri - Redmond WA, US
Cindy Rubio Gonzalez - Madison WI, US

Assignee:

Microsoft Corporation - Redmond WA

International Classification:

G06F 11/36

US Classification:

717131

Abstract:

Concepts and technologies are described herein for incremental compositional dynamic test generation. The concepts and technologies described herein are used to increase the code coverage and security vulnerability identification abilities of testing applications and devices, without significantly increasing, and in some cases decreasing, computational and time costs associated with the testing. Test summaries that describe how code is tested by a test engine are generated and stored during testing of code. These test summaries can be evaluated when additional iterations or versions of the code are tested. If functions corresponding to the test summaries are unchanged from, or logically equivalent to, a version of the function previously tested, the test summary may be used when testing the new version of the code.