A facility for verification, testing and documentation of concurrent process software
Richard N. Taylor, Leon J. Osterweil · 2005
This paper describes the overall design of some modular capabilities for error detection testing, verification, and documentation of concurrent process HAL/S programs. The work described draws upon many ideas first advanced in building tools for single process software. In this paper, these ideas are significantly extended and adapted to realize the power of these tools for concurrent software. Particular attention is paid to the design of static data flow analysis capabilities for concurrent software.