In this book, we demonstrate the methods using a framework called NModel that
is built on the C# language and .NET (the implementations that are modeled and
tested do not have to be written in C# and do not need to run in .NET). The NModel
framework includes a library for writing model programs in C#, a visualization and
analysis tool mpv (Model Program Viewer), a test generation tool otg (Offline Test
Generator), and a test runner tool ct (Conformance Tester). The library also exposes
the functionality of mpv, otg, ct, and more, so you may write your own tools that
are more closely adapted to your environment, or that provide other capabilities.
To use this technology, you must write your own model program in C# that
references the NModel library. Then you can use the mpv tool to visualize and
analyze the behavior of your model program, in order to confirm that it behaves as
you intend, and to check it for design errors. To execute tests using the test runner
ct, you must write a test harness in C# that couples your implementation to the
tool. You can use the test generator otg to create tests from your model program
in advance, or let ct generate the test on the fly from your model program as the
test run executes. If you wish, you can write a custom strategy in C# that ct uses to
maximize coverage according to criteria you define.
xiii
To use the NModel library and tools, the only additional software you need is
the .
Pages:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25