| 
|
Quote: difficult to test non-deterministic software because of limited observability and limited controllability
topics >
all references >
references g-h >
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
Topic: bugs (65 items)
Group: parallel processing (41 topics, 1116 quotes)
Topic: flavor analysis and typestates for supplementary type checking (68 items)