Map
Index
Random
Help
th

Quote: difficult to test non-deterministic software because of limited observability and limited controllability

topics > all references > references g-h > QuoteRef: holzGJ11_2002 , p. 83



Topic:
bugs
Group:
parallel processing
Topic:
flavor analysis and typestates for supplementary type checking

Quotation Skeleton

In all likelihood, not even the most diligent … in almost all cases of interest, the sampling … a missed error. … The situation is more interesting still for concurrent, … Limited observability means that the tester or the … [e.g., precise interleaving of threads] … Limited controllability means that the tester cannot control … [New methods include] static analysis and symbolic interpretation methods, reachability … The phenomenon that bugs can invade any technique …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: use static analysis, symbolic interpretation, reachability, and logic model checking for non-deterministic software; but bugs will still remain

Related Topics up

Topic: bugs (65 items)
Group: parallel processing   (41 topics, 1116 quotes)
Topic: flavor analysis and typestates for supplementary type checking (68 items)

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