A facility for verification, testing and documentation of concurrent process software
- 25 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
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.Keywords
This publication has 11 references indexed in Scilit:
- MUST - An integrated system of support tools for research flight software engineeringPublished by American Institute of Aeronautics and Astronautics (AIAA) ,1977
- Modula: A language for modular multiprogrammingSoftware: Practice and Experience, 1977
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976
- A System to Generate Test Data and Symbolically Execute ProgramsIEEE Transactions on Software Engineering, 1976
- Symbolic execution and program testingCommunications of the ACM, 1976
- An experimental program-testing facilityIEEE Transactions on Software Engineering, 1975
- The programming language Concurrent PascalIEEE Transactions on Software Engineering, 1975
- Testing large software with automated software evaluation systemsIEEE Transactions on Software Engineering, 1975
- New assertion concepts for self-metric software validationPublished by Association for Computing Machinery (ACM) ,1975
- Evaluating the effectiveness of software verificationPublished by Association for Computing Machinery (ACM) ,1972