Title :
Testing an implementation of a temporal logic language
Author :
Sánchez, Marisa A. ; Augusto, Juan Carlos
Author_Institution :
Dept. of Comput. Sci., Univ. Nacional del Sur, Bahia Blanca, Argentina
Abstract :
Axiomatic presentations contain a great deal of information that can be used in the testing of an implementation. We describe how we tested an implementation of a temporal logical system, specifically an implementation of an extension (Cobo and Augusto, 1998) of the language Temporal Prolog (Gabbay, 1987). However, this testing approach generalizes to any system specified using a Hilbert model (i.e. a system described using a set of axioms and inference rules) and implemented as a Prolog program. Our approach allowed us to discover some errors in the program. The necessary background information on temporal logic and specification-based testing is included in order to make the exposition as self-contained as possible
Keywords :
PROLOG; formal specification; logic programming; program testing; temporal logic; Hilbert model; Temporal Prolog; axioms; inference rules; language implementation testing; program errors; specification-based testing; temporal logic; temporal logic language; Automatic testing; Benchmark testing; Computer science; Fault detection; Formal specifications; Joining processes; Logic programming; Logic testing; System testing; Valves;
Conference_Titel :
Computer Science Society, 2000. SCCC '00. Proceedings. XX International Conference of the Chilean
Conference_Location :
Santiago
Print_ISBN :
0-7695-0810-3
DOI :
10.1109/SCCC.2000.890393
