Model-based software testing and analysis with C#:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge Univ. Press
2008
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XVI, 349 S. graph. Darst. |
| ISBN: | 9780521687614 0521687616 9780521886550 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV023217953 | ||
| 003 | DE-604 | ||
| 005 | 20120220 | ||
| 007 | t | ||
| 008 | 080317s2008 d||| |||| 00||| eng d | ||
| 020 | |a 9780521687614 |9 978-0-521-68761-4 | ||
| 020 | |a 0521687616 |9 0-521-68761-6 | ||
| 020 | |a 9780521886550 |9 978-0-521-88655-0 | ||
| 035 | |a (OCoLC)488678090 | ||
| 035 | |a (DE-599)BVBBV023217953 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-M347 |a DE-703 |a DE-11 | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 245 | 1 | 0 | |a Model-based software testing and analysis with C# |c Jonathan Jacky ... |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2008 | |
| 300 | |a XVI, 349 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a C sharp |0 (DE-588)4616843-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | 1 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | 2 | |a C sharp |0 (DE-588)4616843-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Jacky, Jonathan |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016403899&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016403899 | ||
Record in the Search Index
| _version_ | 1804137503479824384 |
|---|---|
| adam_text | Contents
Preface
xi
Acknowledgments
XV
1
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
II
2
Why We 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
vi
Contents
2.7
Some
simple
scenarios
25
2.8
A more complex scenario
27
2.9
Failures in the field
28
2.
1
0
Failures explained
29
2.
11 Lessons learned
29
2.
1
2
Model-based testing reveals the defect
30
2.
1
3
Exercises
ЗІ
3
Why We Need Model-Based Analysis
32
3.1
Reactive system
32
3.2
Implementation
34
3.3
Unit testing
4
1
3.4
Failures in simulation
44
3.5
Design defects
46
3.6
Reviews and inspections, static analysis
47
3.7
Model-based analysis reveals the design errors
47
3.8
Exercises
52
4
Further Reading
53
II Systems with Finite Models
5
Model Programs
57
5.1
States, actions, and behavior
57
5.2
Case study: user interface
59
5.3
Preliminary analysis
6
5.4
Coding the model program
4
Contents
vii
5.5
Simulation
70
5.6
Case study: client/server
72
5.7
Case study: reactive program
82
5.8
Other languages and tools
92
5.9
Exercises
93
6
Exploring and Analyzing Finite Model
Programs
94
6.1
Finite state machines
94
6.2
Exploration
99
6.3
Analysis
106
6.4
Exercise
114
7
Structuring Model Programs with Features and
Composition
115
7.1
Scenario control
115
7.2
Features
117
7.3
Composition
121
7.4
Choosing among options for scenario control
129
7.5
Composition for analysis
131
7.6
Exercises
136
8
Testing Closed Systems
137
8.1
Offline test generation
137
8.2
Traces and terms
139
8.3
Test harness
142
8.4
Test execution
146
viii Contents
8.5
Limitations
of offline testing 1
47
8.6
Exercises
148
9
Further Reading 1
50
III Systems with Complex State
1
0
Modeling Systems with Structured State 1
55
1
0.1
Infinite model programs
155
1
0.2
Types for model programs 1
57
10.3
Compound values
57
1
0.4
Case study: revision control system 1
69
1
0.5
Exercises 1
8
1
11 Analyzing Systems with Complex State 1
83
11
.
1 Explorable model programs 1
83
11
.2
Pruning techniques 1
86
11.3
Sampling
190
11.4
Exercises
190
1
2
Testing Systems with Complex State 1
9
1
12.1
On-the-fly testing
192
12.2
Implementation, model and stepper
194
12.3
Strategies
199
1
2.4
Coverage-directed strategies
203
1
2.5
Advanced on-the-fly settings
2
1
0
12.6
Exercises
218
13
Further Reading
219
Contents ix
IV
Advanced
Topics
14
Compositional Modeling
223
1
4.1
Modeling protocol features
223
14.2
Motivating example: a client/server protocol
224
14.3
Properties of model program composition
241
14.4
Modeling techniques using composition and
features
245
14.5
Exercises
246
15
Modeling Objects
247
15.1
Instance variables as field maps
247
15.2
Creating instances
249
15.3
Object IDs and composition
253
15.4
Harnessing considerations for objects
254
15.5
Abstract values and isomorphic states
256
15.6
Exercises
257
16
Reactive Systems
259
16.1
Observable actions
259
16.2
Nondeterminism
261
16.3
Asynchronous stepping
264
16.4
Partial explorability
265
16.5
Adaptive on-the-fly testing
268
16.6
Partially ordered runs
272
16.7
Exercises
274
17
Further Reading
275
Contents
V
Appendices
A
Modeling
Library
Reference
281
A. I Attributes
282
A.2 Data types
292
A.3 Action terms
306
В
Command Reference
308
B. І
Model program viewer, mpv
308
B.2 Offline test generator, otg
311
B.3 Conformance tester, ct
312
С
Glossary
3
1
5
Bibliography
333
Index
341
|
| adam_txt |
Contents
Preface
xi
Acknowledgments
XV
1
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
II
2
Why We 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
vi
Contents
2.7
Some
simple
scenarios
25
2.8
A more complex scenario
27
2.9
Failures in the field
28
2.
1
0
Failures explained
29
2.
11 Lessons learned
29
2.
1
2
Model-based testing reveals the defect
30
2.
1
3
Exercises
ЗІ
3
Why We Need Model-Based Analysis
32
3.1
Reactive system
32
3.2
Implementation
34
3.3
Unit testing
4
1
3.4
Failures in simulation
44
3.5
Design defects
46
3.6
Reviews and inspections, static analysis
47
3.7
Model-based analysis reveals the design errors
47
3.8
Exercises
52
4
Further Reading
53
II Systems with Finite Models
5
Model Programs
57
5.1
States, actions, and behavior
57
5.2
Case study: user interface
59
5.3
Preliminary analysis
6 '
5.4
Coding the model program
'4
Contents
vii
5.5
Simulation
70
5.6
Case study: client/server
72
5.7
Case study: reactive program
82
5.8
Other languages and tools
92
5.9
Exercises
93
6
Exploring and Analyzing Finite Model
Programs
94
6.1
Finite state machines
94
6.2
Exploration
99
6.3
Analysis
106
6.4
Exercise
114
7
Structuring Model Programs with Features and
Composition
115
7.1
Scenario control
115
7.2
Features
117
7.3
Composition
121
7.4
Choosing among options for scenario control
129
7.5
Composition for analysis
131
7.6
Exercises
136
8
Testing Closed Systems
137
8.1
Offline test generation
137
8.2
Traces and terms
139
8.3
Test harness
142
8.4
Test execution
146
viii Contents
8.5
Limitations
of offline testing 1
47
8.6
Exercises
148
9
Further Reading 1
50
III Systems with Complex State
1
0
Modeling Systems with Structured State 1
55
1
0.1
"Infinite" model programs
155
1
0.2
Types for model programs 1
57
10.3
Compound values
'57
1
0.4
Case study: revision control system 1
69
1
0.5
Exercises 1
8
1
11 Analyzing Systems with Complex State 1
83
11
.
1 Explorable model programs 1
83
11
.2
Pruning techniques 1
86
11.3
Sampling
190
11.4
Exercises
190
1
2
Testing Systems with Complex State 1
9
1
12.1
On-the-fly testing
192
12.2
Implementation, model and stepper
194
12.3
Strategies
199
1
2.4
Coverage-directed strategies
203
1
2.5
Advanced on-the-fly settings
2
1
0
12.6
Exercises
218
13
Further Reading
219
Contents ix
IV
Advanced
Topics
14
Compositional Modeling
223
1
4.1
Modeling protocol features
223
14.2
Motivating example: a client/server protocol
224
14.3
Properties of model program composition
241
14.4
Modeling techniques using composition and
features
245
14.5
Exercises
246
15
Modeling Objects
247
15.1
Instance variables as field maps
247
15.2
Creating instances
249
15.3
Object IDs and composition
253
15.4
Harnessing considerations for objects
254
15.5
Abstract values and isomorphic states
256
15.6
Exercises
257
16
Reactive Systems
259
16.1
Observable actions
259
16.2
Nondeterminism
261
16.3
Asynchronous stepping
264
16.4
Partial explorability
265
16.5
Adaptive on-the-fly testing
268
16.6
Partially ordered runs
272
16.7
Exercises
274
17
Further Reading
275
Contents
V
Appendices
A
Modeling
Library
Reference
281
A. I Attributes
282
A.2 Data types
292
A.3 Action terms
306
В
Command Reference
308
B. І
Model program viewer, mpv
308
B.2 Offline test generator, otg
311
B.3 Conformance tester, ct
312
С
Glossary
3
1
5
Bibliography
333
Index
341 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV023217953 |
| classification_rvk | ST 233 ST 250 |
| ctrlnum | (OCoLC)488678090 (DE-599)BVBBV023217953 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01609nam a2200409 c 4500</leader><controlfield tag="001">BV023217953</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120220 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">080317s2008 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521687614</subfield><subfield code="9">978-0-521-68761-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521687616</subfield><subfield code="9">0-521-68761-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521886550</subfield><subfield code="9">978-0-521-88655-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)488678090</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023217953</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model-based software testing and analysis with C#</subfield><subfield code="c">Jonathan Jacky ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 349 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">C sharp</subfield><subfield code="0">(DE-588)4616843-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">C sharp</subfield><subfield code="0">(DE-588)4616843-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jacky, Jonathan</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016403899&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016403899</subfield></datafield></record></collection> |
| id | DE-604.BV023217953 |
| illustrated | Illustrated |
| index_date | 2024-07-02T20:14:49Z |
| indexdate | 2024-07-09T21:13:20Z |
| institution | BVB |
| isbn | 9780521687614 0521687616 9780521886550 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016403899 |
| oclc_num | 488678090 |
| open_access_boolean | |
| owner | DE-M347 DE-703 DE-11 |
| owner_facet | DE-M347 DE-703 DE-11 |
| physical | XVI, 349 S. graph. Darst. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | Model-based software testing and analysis with C# Jonathan Jacky ... 1. publ. Cambridge [u.a.] Cambridge Univ. Press 2008 XVI, 349 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier C sharp (DE-588)4616843-6 gnd rswk-swf Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Softwaretest (DE-588)4132652-0 s Modellgetriebene Entwicklung (DE-588)4832365-2 s C sharp (DE-588)4616843-6 s DE-604 Jacky, Jonathan Sonstige oth Digitalisierung UB Bayreuth application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016403899&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Model-based software testing and analysis with C# C sharp (DE-588)4616843-6 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Softwaretest (DE-588)4132652-0 gnd |
| subject_GND | (DE-588)4616843-6 (DE-588)4832365-2 (DE-588)4132652-0 |
| title | Model-based software testing and analysis with C# |
| title_auth | Model-based software testing and analysis with C# |
| title_exact_search | Model-based software testing and analysis with C# |
| title_exact_search_txtP | Model-based software testing and analysis with C# |
| title_full | Model-based software testing and analysis with C# Jonathan Jacky ... |
| title_fullStr | Model-based software testing and analysis with C# Jonathan Jacky ... |
| title_full_unstemmed | Model-based software testing and analysis with C# Jonathan Jacky ... |
| title_short | Model-based software testing and analysis with C# |
| title_sort | model based software testing and analysis with c |
| topic | C sharp (DE-588)4616843-6 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Softwaretest (DE-588)4132652-0 gnd |
| topic_facet | C sharp Modellgetriebene Entwicklung Softwaretest |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016403899&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT jackyjonathan modelbasedsoftwaretestingandanalysiswithc |