AADEBUG'95 Abstract

AUI - the Debugger and Assertion Checker for the Awk Programming Language

Mikhail Auguston, Subhankar Banerjee, Manish Mamnani, Ghulam Nabi, Juris Reinfelds, Ugis Sarkans, Ivan Strnad

Department of Computer Science
New Mexico State University
Las Cruces, NM 88003, USA
mikau@cs.nmsu.edu

This paper describes the design of Awk User Interface (AUI). AUI is a graphical programming environment for editing, running, testing and debugging of Awk programs. The AUI environment supports tracing of Awk programs, setting breakpoints, and inspection of variable values. An assertion language to describe relationship between input and output of Awk program is provided.

Assertions can be checked after the program run, and if violated, informative and readable messages can be generated. The assertions and debugging rules for the Awk program are written in a separate text file. Assertions are useful not only for testing and debugging but can be considered as a mean for program formal specification and documentation.

AADEBUG'95 Program

AADEBUG'95 home page


This page is maintained by Stéphane Schoenig. Please send us any comments or suggestions.