Patent · US Active

Extending test sequences to accepting states

US7493544B2 · kind B2 · utility

2Cited by

4References

20Claims

0Family size

Assignee

Microsoft Corporation · US

Inventors

Andreas Blass · Ann Arbor, US
Colin Campbell · Seattle, US
Lev Borisovich Nachmanson · Redmond, US
Margus Veanes · Bellevue, US
Michael Barnett · Seattle, US
Nikolai Tillmann · Redmond, US
Wolfgang Grieskamp · Redmond, US
Wolfram Schulte · Bellevue, US
Yuri Gurevich · Edmonds, US

Key dates

Filing date	Jan 21, 2005
Grant date	Feb 17, 2009
Priority date	—
Expiry date	Oct 4, 2026

Classification

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

Abstract

State spaces are traversed to produce test cases, or test coverage. Test coverage is a test suite of sequences. Accepting states are defined. Expected costs are assigned to the test graph states. Strategies are created providing transitions to states with lower expected costs. Linear programs and other approximations are discussed for providing expected costs. Strategies are more likely to provide access to an accepting state, based on expected costs. Strategies are used to append transitions to test segments such that the new test segment ends in an accepting state.

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