See also modeling languages
bag, 167??“169, 302??“304, 317. See also data
types
for coverage points, 204??“208
bag (case study), 194??“217, 262??“263
behavior, 58, 317
behavioral abstraction, 62??“63, 317
behavioral coverage, 97, 204, 317
binary relation, 169, 317
Bogor, 276. See also model checking
bug, 29, 317
C# 4, 8, 17, 23, 34, 54. See also csc, .NET
framework
delegate, 204, 214, 264
enumerator, 156??“157
event, 34, 39, 264
fully qualified name, 20, 321
indexer, 145, 199, 322
namespace, 20, 67, 247, 324
overloading, 69
partial class, 171
simple name, 20, 327
static class, 75, 328
string, 156??“159
C# compiler. See csc
callback, 264
Category, 25. See also attributes, NUnit
case studies
bag, 194??“217, 262??“263
client/server (temperature monitor), 13??“31,
33, 72??“82, 115??“121, 127??“131, 134??“136,
138??“147, 192??“193
payroll, 247??“257
reactive system (process controller), 32??“52,
82??“92, 106??“113, 134??“136
revision control system, 169??“182
sample protocol (client/server), 224??“244,
260??“261, 264??“268
user interface (news reader), 59??“72,
95??“103, 132??“133
Chinese postman tour. See postman tour
circular reference, 248. See also object
graph
cleanup action, 217, 317
CLI. See Common Language Infrastructure
client/server (temperature monitor case study),
13??“31, 33, 72??“82, 115??“121, 127??“131,
134??“136, 138??“147, 192??“193.
Pages:
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441