Testing an Implementation of a Temporal Logic Language

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by M.A. Sanchez Articles by J.C. Augusto

XX International Conference of the Chilean Computer Science Society (SCCC'00)

Santiago, Chile

November 16-November 18

ISBN: 0-7695-0810-3

	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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCCC.2000.890393

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.