A Practical Approach to Testing Finite State Systems

Final Report of the COST-247 Action

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:

discriminating behaviours according to the relation between divergencies and successful terminations, introducing a fair interpretation of divergencies, and
enabling a better knowledge of liveness properties of the system by means of cyclic tests.

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