NET Framework Redistributable Package (and any Windows operating system
capable of running it). The NModel framework, as well as .NET, are available for
download at no cost.
This book is not a comprehensive survey or comparison of the model-based
testing and analysis tools developed at Microsoft Research (or elsewhere). Instead,
we focus on selected concepts and techniques that we believe are the most important
for beginners in this field to learn, and that make a persuasive (and reasonably short)
introduction. We created the NModel library and tools to support this book (and
further research).We believe that the simplicity, versatility, and transparency of this
technology makes it a good platform for learning the methods and experimenting
with their possibilities. However, this book is also for readers who use other tools,
including Spec Explorer, which is also fromMicrosoft Research and is also in active
development. Other tools support many of the same methods we describe here, and
some that we do not discuss. This book complements the other tools??™ documentation
by explaining the concepts and methods common to all, by providing case studies
with thorough explanations, and by showing one way (of many possible ways) that
a modeling and testing framework can support the techniques that we have selected
to teach here.
This book is a self-contained introduction to modeling, specifications, analysis,
and testing.
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