Implementing multi-threaded test methods with ABET/ATLAS

Abstract

The author discusses the application of tasking in Ada test programs to satisfy multithreaded dynamic functional testing requirements. Ada's inherent multitasking capability, which can express both control and data dependencies among simultaneous actions, is one of the reasons why the IEEE ATLAS Committee (SCC 20) is presently engaged in developing a new Ada-based test program specification standard, designated informally as ABET/ATLAS. Experience using ATLAS tasking can be applied in the development of the ABET standards and in the implementation of Ada test programs. The author cites instances where multitasking is and is not appropriate and suggests some guidelines for implementing multithreaded Ada test programs developed in conformance with ABET/ATLAS.<>