next up previous

Final Report of the COST-247 Action


A Practical Approach to Testing Finite State Systems

D. Larrabeiti, J. Quemada, S. Pavón

Dept. of Telematic Engineering
Technical University of Madrid
Ciudad Universitaria
Madrid 28040
Spain
Tel: +34 1 5495700
Fax: +34 1 3367333
E-mail: dlarra@dit.upm.es , jquemada@dit.upm.es , spavon@dit.upm.es

Abstract:

This paper presents a variation of the testing equivalence that provides an intuitive practical framework to test LOTOS behaviours whose infinite executions can be expressed in terms of successions of cycles. The proposal targets:

This features are being incorporated in the LOLA tool (LOTOS LAboratory)

This presentation has been given during the COST-247 2nd International Workshop on Applied Formal Methods in System Design (Zagreb, Croatia, June 18-19, 1997).

COST-247 Working Group(s): 1

Web Links : http://www.dit.upm.es/~lotos , http://www.dit.upm.es/~lotlab , http://www.dit.upm.es/~dlarra


This Page was prepared by Mark Jorgensen.


Back to the VASY Home page