loading...
Testing an Implementation of a Temporal Logic Language
Santiago, Chile November 16-November 18
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCCC.2000.890393XX International Conference of the Ch ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
M.A. Sanchez, J.C. Augusto, "Testing an Implementation of a Temporal Logic Language," Chilean Computer Science Society, International Conference of the, pp. 68, XX International Conference of the Chilean Computer Science Society (SCCC'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/SCCC.2000.890393,
author = {M.A. Sanchez and J.C. Augusto},
title = {Testing an Implementation of a Temporal Logic Language},
journal ={Chilean Computer Science Society, International Conference of the},
volume = {0},
year = {2000},
issn = {1522-4902},
pages = {68},
doi = {http://doi.ieeecomputersociety.org/10.1109/SCCC.2000.890393},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Chilean Computer Science Society, International Conference of the
TI - Testing an Implementation of a Temporal Logic Language
SN - 1522-4902
SP
EP
A1 - M.A. Sanchez,
A1 - J.C. Augusto,
PY - 2000
KW - 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
VL - 0
JA - Chilean Computer Science Society, International Conference of the
ER -
 
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
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.
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, pp.68, XX International Conference of the Chilean Computer Science Society (SCCC'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.