Results 1 
3 of
3
ModelBased Testing of ObjectOriented Reactive Systems with Spec Explorer
, 2007
"... Testing is one of the costliest aspects of commercial software development. Modelbased testing is a promising approach addressing these deficits. At Microsoft, modelbased testing technology developed by the Foundations of Software Engineering group in Microsoft Research has been used since 2003. T ..."
Abstract

Cited by 38 (11 self)
 Add to MetaCart
(Show Context)
Testing is one of the costliest aspects of commercial software development. Modelbased testing is a promising approach addressing these deficits. At Microsoft, modelbased testing technology developed by the Foundations of Software Engineering group in Microsoft Research has been used since 2003. The second generation of this tool set, Spec Explorer, deployed in 2004, is now used on a daily basis by Microsoft product groups for testing operating system components,.NET framework components and other areas. This chapter provides a comprehensive survey of the concepts of the tool and their foundations. 1
Optimal strategies for testing nondeterministic systems
 In ISSTA’04, volume 29 of Software Engineering Notes
, 2004
"... This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: states and choice points. Choice points represent the nondeterministic behaviour of the implementation under test (IUT). E ..."
Abstract

Cited by 25 (6 self)
 Add to MetaCart
(Show Context)
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: states and choice points. Choice points represent the nondeterministic behaviour of the implementation under test (IUT). Edges represent transitions. They have costs and probabilities. Test case generation in this setting amounts to generation of a game strategy. The two players are the testing tool (TT) and the IUT. The game explores the graph. The TT leads the IUT by selecting an edge at the state vertices. At the choice points the control goes to the IUT. A game strategy decides which edge should be taken by the TT in each state. This paper presents three novel algorithms 1) to determine an optimal strategy for the bounded reachability game, where optimality means maximizing the probability to reach any of the given final states from a given start state while at the same time minimizing the costs of traversal; 2) to determine a winning strategy for the bounded reachability game, which guarantees that given final vertices are reached, regardless how the IUT reacts; 3) to determine a fast converging edge covering strategy, which guarantees that the probability to cover all edges quickly converges to 1 if TT follows the strategy.
Play to test
 In FATES’05
, 2005
"... Abstract. Testing tasks can be viewed (and organized!) as games against nature. We study reachability games in the context of testing. Such games are ubiquitous. A single industrial test suite may involve many instances of a reachability game. Hence the importance of optimal or near optimal strategi ..."
Abstract

Cited by 19 (9 self)
 Add to MetaCart
(Show Context)
Abstract. Testing tasks can be viewed (and organized!) as games against nature. We study reachability games in the context of testing. Such games are ubiquitous. A single industrial test suite may involve many instances of a reachability game. Hence the importance of optimal or near optimal strategies for reachability games. One can use linear programming or the value iteration method of Markov decision process theory to find optimal strategies. Both methods have been implemented in an industrial modelbased testing tool, Spec Explorer, developed at Microsoft Research. 1