1 Model program viewer, mpv 308
B.2 Offline test generator, otg 311
B.3 Conformance tester, ct 312
C Glossar y 315
Bibliography 333
Index 341
Preface
This book teaches newmethods for specifying, analyzing, and testing software. They
are examples of model-based analysis and model-based testing, which use a model
that describes how the program is supposed to behave. The methods provide novel
solutions to the problems of expressing and analyzing specifications and designs,
generating test cases, and checking the results of test runs. The methods increase the
automation in each of these activities, so they can be more timely, more thorough,
and (we expect) more effective. The methods integrate concepts that have been
investigated in academic and industrial research laboratories for many years and
apply them on an industrial scale to commercial software development. Particular
attention has been devoted to making these methods acceptable to working software
developers. They are based on a familiar programming language, are supported by
a well-engineered technology, and have a gentle learning curve.
These methods provide more test automation than do most currently popular
testing tools, which only automate test execution and reporting, but still require
the tester to code every test case and also to code an oracle to check the results of
every test case.
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