Patent Number: 7,278,135

Title: Method and system for generating an efficient test suite from a domain description with given constraints

Abstract: Provided is a system and method comprising a test suite generation mechanism for testing a domain (e.g., software program) via "black-box" testing. Parameters are defined, appropriate values for each are chosen, and via the system and method a suite of test cases are automatically generated that covers all N-way parameter combinations (e.g., pairs when N=2) while respecting any specified domain constraints. After receiving a model comprising the parameters and respective values to test, along with constraints in a form of logical predicates, the system and method produces the test cases. Based on the constraints, an algorithm removes invalid combinations in a first stage, and prevents any other invalid combinations from being used in a second stage during the test case generation process. A full set of statistically valuable test cases are thus efficiently and automatically generated, significantly improving testing while significantly reducing the resources needed to test.

Inventors: Czerwonka; Jacek A. (Redmond, WA)

Assignee: Microsoft Corporation

International Classification: G06F 9/44 (20060101)

Expiration Date: 2019-10-02 0:00:00