2 Why We Need Model-Based Testing

Advanced Topics 269
TestResult RunTest(int k)
{
Sequence trace = Sequence.EmptySequence;
Action o = null;
while (trace.Count < steps ||
(!strategy.IsInAcceptingState && trace.Count < maxSteps))
{
if (isAsync && o == null && !obs.IsEmpty) o = obs.Dequeue();
if (o != null)
{
trace = trace.AddLast(o);
string reason = "";
if (strategy.IsActionEnabled(o, out reason))
{ strategy.DoAction(o); o = null; }
else return new TestResult(k,Verdict.Failure,reason,trace);
}
else
{
Action a = strategy.SelectAction(testerActionSymbols);
if (a == null)
{
if (isAsync)
{
Action w = strategy.SelectAction(new Set(waitAction));
int obsTimeout = (w == null ? 0 : (int)w[0]);
if (w != null){ trace = trace.Add(w); strategy.DoAction(w);}
if (!obs.TryDequeue(obsTimeout, out o))
if (strategy.IsInAcceptingState)
return new TestResult(k,Verdict.Success,"",trace);
else
else o = timeoutAction;
}
else
{
if (strategy.IsInAcceptingState)
return new TestResult(k,Verdict.Success,"",trace);
else
return new TestResult(k, Verdict.Failure,
"Did not finish in accepting state", trace);
}}
else
{
strategy.DoAction(a);
trace = trace.AddLast(a);
if (!internalActionSymbols.Contains(a.FunctionSymbol))
{
try
{ o = InvokeStepper(a); }
catch (Exception e)
{ return new TestResult(k,Verdict.Failure,e.Message,trace); }
}}}}
if (strategy.IsInAcceptingState)
return new TestResult(k,Verdict.Success,"",trace);
else
return new TestResult(k,Verdict.Failure,
"Did not finish in accepting state", trace);
}
Figure 16.6. Extension of the algorithm in Figure 12.7 with observable actions.
more free ebooks download links at:
http://www.ebook-x.com