|
Published Articles >> Table of Contents >> Abstract
XX International Conference of the Chilean Computer Science Society (SCCC'00)
p. 68
Testing an Implementation of a Temporal Logic Language
M.A. Sanchez, Dept. of Comput. Sci., Univ. Nacional del Sur, Bahia Blanca, Argentina
J.C. Augusto, Dept. of Comput. Sci., Univ. Nacional del Sur, Bahia Blanca, Argentina
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCCC.2000.890393
Send link to a friend
| 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, 2000) 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.
|
 Additional Information
|
Index Terms- logic programming; temporal logic; program testing; PROLOG; formal specification; temporal logic language; language implementation testing; Temporal Prolog; Hilbert model; axioms; inference rules; program errors; temporal logic; specification-based testing
Citation:
M.A. Sanchez, J.C. Augusto,
"Testing an Implementation of a Temporal Logic Language,"
sccc,
p. 68,
XX International Conference of the Chilean Computer Science Society (SCCC'00),
2000
|
|
