cambridge.org/9780521886550
This publication is in copyright. Subject to statutory exception and to the provision of
relevant collective licensing agreements, no reproduction of any part may take place
without the written permission of Cambridge University Press.
ISBN-10 0-511-36784-8
ISBN-10 0-521-88655-4
ISBN-10 0-521-68761-6
Cambridge University Press has no responsibility for the persistence or accuracy of urls
for external or third-party internet websites referred to in this publication, and does not
guarantee that any content on such websites is, or will remain, accurate or appropriate.
Published in the United States of America by Cambridge University Press, New York
www.cambridge.org
hardback
paperback
paperback
eBook (NetLibrary)
eBook (NetLibrary)
hardback
Contents
Preface xi
Acknowledgments xv
I Overview
1 Describe, Analyze, Test 3
1.1 Model programs 4
1.2 Model-based analysis 5
1.3 Model-based testing 7
1.4 Model programs in the software process 8
1.5 Syllabus 11
2 WhyWe Need Model-Based Testing 13
2.1 Client and server 13
2.2 Protocol 14
2.3 Sockets 15
2.4 Libraries 15
2.5 Applications 20
2.6 Unit testing 23
v
vi Contents
2.7 Some simple scenarios 25
2.8 A more complex scenario 27
2.9 Failures in the field 28
2.10 Failures explained 29
2.11 Lessons learned 29
2.12 Model-based testing reveals the defect 30
2.13 Exercises 31
3 WhyWe Need Model-Based Analysis 32
3.
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