2 Why We Need Model-Based Testing

Systems with Complex State 215
TestResult RunTest(int k)
{
Sequence trace = Sequence.EmptySequence;
Action o = null; // optional output from the stepper
while (trace.Count < steps ||
{
(!strategy.IsInAcceptingState && trace.Count < maxSteps))
if (o != null)
{
trace = trace.AddLast(o);
string reason = "";
if (strategy.IsActionEnabled(o, out reason)) //check conformance
{ strategy.DoAction(o); o = null; }
else
return new TestResult(k, Verdict.Failure, reason, trace);
}
else
{
Action a = strategy.SelectAction(testerActionSymbols);
if (a == null)
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);
}
}
}
}
}
Figure 12.7. Outline of the algorithm executing a single test run.
more free ebooks download links at:
http://www.ebook-x.com