The use of executable assertions is a powerful tool with which to perform program verification, provide software fault-tolerance, and provide hardware fault-tolerance via the application-oriented paradigm. The authors show that assertions commonly used in the sequential programming environment are inadequate for the distributed parallel environment. In particular, it is shown that even design-based assertions are myopic and provide inadequate error coverage. In their place, a triad of basic metrics is proposed for certain classes of problems that, when applied beginning with the specification phase of the life cycle, produce assertions that are better suited to the parallel environment. This method is applied to a well-known parallel computing problem in order to demonstrate the effectiveness of the method. Error coverage is modeled probabilistically so that the dominance of assertions may be quantified
B. M. McMillin and L. M. Ni, "Executable Assertion Development for the Distributed Parallel Environment," Proceedings of the 12th International Computer Software and Applications Conference, 1988, Institute of Electrical and Electronics Engineers (IEEE), Jan 1988.
The definitive version is available at http://dx.doi.org/10.1109/CMPSAC.1988.17187
12th International Computer Software and Applications Conference, 1988
Keywords and Phrases
Application-Oriented Paradigm; Basic Metrics; Design-Based Assertions; Distributed Parallel Environment; Error Coverage; Executable Assertion Development; Fault Tolerant Computing; Hardware Fault-Tolerance; Parallel Architectures; Parallel Computing Problem; Parallel Programming; Program Verification; Sequential Programming Environment; Software Fault-Tolerance; Software Reliability; Specification Phase
Article - Conference proceedings
© 1988 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.