Map
Index
Random
Help
th

Quote: the TOPD tester exhaustively executes the model of a procedure; result is state vectors for each valid execution path

topics > all references > references g-h > QuoteRef: hendP9_1975 , p. 116



Topic:
test data selection
Topic:
model checker

Quotation Skeleton

The tester is a tool which exhaustively "executes" … appearing in the body. The execution is carried … describing the effect of other procedures called from … is a set of state vectors … with each such combination having been generated by …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: test data selection (39 items)
Topic: model checker (49 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.