Notice that all action symbols
are used k times before any of them is used k + 1 times.
210 Testing Systems with Complex State
12.5 Advanced on-the-fly settings
The command-line utility ct is used throughout the book to illustrate how to run
conformance tests against an implementation under test. The utility can be configured
in several different ways, depending on the testing needs and requirements. In
this section we take a closer look at the main configuration options, some aspects
of the internal architecture, and some of the various extension points of the tool that
can be used to implement more advanced testing heuristics.
The modeling library can be used as a building block of a custom tool with
more advanced features than ct. In particular, the ConformanceTester class that is
used by ct has additional extension points that are not exposed through the settings
for ct, but can be accessed programmatically. The ct utility is implemented by
the static method RunWithCommandLineArguments of the ConformanceTester class
in the NModel.Conformance namespace. This method creates an instance of the
ConformanceTester class for a given stepper and strategy, configures its settings,
and invokes its Run method.
In the rest of this section we look at the following topics related to on-the-fly
testing. Most of the topics are illustrated by using various settings of ct.
Pages:
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283