Microsoft Technology Licensing, LLC

Andreas Blass

Wolfram Schulte

Nikolai Tillmann

Wolfgang Grieskamp

Margus Veanes

Michael Barnett

Yuri Gurevich

Colin L Campbell

Lev Borisovich Nachmanson

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.

Extending test sequences to accepting states

Growing community of inventors

Ann Arbor, MI, United States of America

Andreas Blass