behavioral coverage. Coverage that measures aspects of behavior, such as state
coverage or transition coverage. Contrast to structural coverage.
binary relation. A set of pairs.
bug. A word which is sometimes used for defect and sometimes used for failure ??“
which are two different things!
Chinese postman tour. Postman tour.
cleanup action. An action that makes progress toward an accepting state in order
to finish a test run during on-the-fly testing. Closing a file is an example of a cleanup
action.
closed system. A system where all actions are controllable. Contrast to reactive
system.
component. A unit of software that can be deployed independently. Assemblies are
the components of the .NET framework.
composition. An operation that combines separate model programs into a new
model program called the product.Under composition, model programs synchronize
steps for shared actions and interleave actions not found in their common action
vocabulary.
318 Glossary
compound value. An NModel data type which is a value type that can handle
tree-structured and variable-length data. The NModel data types set, map, sequence,
value array, and bag derive from compound value.
concurrent system. A system where more than one program runs at a time. Multithreaded
programs and distributed systems are examples of concurrent systems.
conform. To be in conformance.
Pages:
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407