AIDA: a dynamic analyser for Ada program
โ
F.E. Eassa; L.J. Osterweil; M.Z. Abdel-mageed
๐
Article
๐
1994
๐
Elsevier Science
๐
English
โ 998 KB
In this paper, we have developed a dynamic analyser for Ada programs, called AIDA. In software engineering, dynamic analysers that have been built previously have often incorporated first-order-logic assertion languages. For dynamic testing of both sequential and concurrent programs, however, tempor