See also
sample protocol
closed system, 8, 33, 137, 317
Index 343
Common Language Infrastructure (CLI), 54.
See also .NET framework
compiler. See csc
complete, 47
component, 4, 18, 317. See also assembly
component testing, 9??“10
composition, 4, 103, 115, 121??“129, 131??“136,
188, 223??“246, 253??“254, 275??“276, 317
compound value, 158??“159, 172, 292??“293,
318. See also data types
collection types, 157??“169, 292??“305. See also
data types
concurrent system, 4, 272, 318
conform, 260, 318
conformance relation, 260??“261, 318
Conformance Tester (tool). See ct
conjunction, 198, 228, 318
contract model program, 58, 117, 184,
318
control state, 64, 74, 80??“81, 84??“85, 318
control structure, 23, 47, 62, 67, 69, 75, 83,
318
controllable action, 8, 33, 142, 216, 318
cover, 318
coverage, 193, 203??“209, 318
coverage point, 191, 204??“209, 318
CppUnit, 23. See also testing tools
crosscutting, 244. See also design
csc (C# compiler), 17??“18, 23. See also
assembly, C#, .NET framework
ct (Conformance Tester Tool), 7??“8, 137,
146??“148, 192??“193, 201, 208??“210,
212??“217, 267??“270, 312??“314
current state, 95, 318
cycle, 96, 318
cyclic, 182
data abstraction, 62, 64, 74??“75, 318
data state, 64, 74, 85, 92, 318
data types, 157??“169, 248??“257, 292??“307
bag, 167??“169, 302??“304, 317
compound value, 158??“159, 172, 292??“293,
318
enumerator, 156??“157
labeled instance, 248??“253, 257, 305??“306
map, 162??“164, 172??“173, 247??“248,
296??“298, 323
pair, 169, 304??“305, 325
sequence, 164??“166, 172, 298??“301, 327
set, 159??“162, 173, 293??“296, 327
string, 156??“159
triple, 169, 305, 330
value array, 166, 301??“302, 330
dead state, 6, 50, 94, 108??“111, 138, 318
deadlock, 6, 50, 94, 112??“113, 318
decrementing action weight, 217??“218, 319
De Morgan??™s Law 107, 319
defect, 29??“31, 46??“47, 319
delegate, 204, 214, 264.
Pages:
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441