Saving traces for Ada debugging
作者： Carol H. LeDoux , D. Stott Parker
关键词: Prolog 、 Debugging 、 Yoda 、 Programming language 、 Database model 、 Debugger 、 TRACE (psycholinguistics) 、 Trace analysis 、 Computer science
摘要: A trace database model for debugging concurrent Ada programs is presented. In this approach, information captured in an historical and queried using Prolog. This was used to build a prototype debugger, called Your Own Debugger (YODA). The design of YODA described analysis sample program exhibiting misuse shared data Because the flexible general, it can aid diagnosis variety runtime errors.
acm.org
sci-hub.st 参考文章(27)
Steven M. German, David P. Helmbold, David C. Luckham, Monitoring for deadlocks in Ada tasking Proceedings of the AdaTEC Conference on Ada. ,(1982) , 10.1145/3304133.3304136
Paul Richard Eggert, Detecting software errors before execution University of California, Los Angeles. ,(1980)
David H. D. Warren, Efficient processing of interactive relational data base queries expressed in logic very large data bases. pp. 272- 281 ,(1981)
Robert Kowalski, LOGIC FOR DATA DESCRIPTION Logic and Data Bases. pp. 77- 103 ,(1978) , 10.1007/978-1-4684-3384-5_4
Edward Tucker Smith, Debugging techniques for communicating, loosely-coupled processes The University of Rochester. ,(1982)
Richard N. Taylor, Leon J. Osterweil, Anomaly Detection in Concurrent Software by Static Data Flow Analysis IEEE Transactions on Software Engineering. ,vol. 6, pp. 265- 278 ,(1980) , 10.1109/TSE.1980.234488
I. Futó, F. Darvas, P. Szeredi, The Application of Prolog to the Development of QA and DBM Systems Logic and Data Bases. pp. 347- 376 ,(1978) , 10.1007/978-1-4684-3384-5_13
Michael L. Powell, Mark A. Linton, A database model of debugging (Preliminary Draft) Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging. pp. 67- 70 ,(1983) , 10.1145/800007.808011
Richard N. Taylor, A general-purpose algorithm for analyzing concurrent programs Communications of The ACM. ,vol. 26, pp. 361- 376 ,(1983) , 10.1145/69586.69587
Philip A. Bernstein, Nathan Goodman, Concurrency Control in Distributed Database Systems ACM Computing Surveys. ,vol. 13, pp. 185- 221 ,(1981) , 10.1145/356842.356846