Sciweavers

ICFEM
2005
Springer

Testing Real-Time Multi Input-Output Systems

14 years 3 months ago
Testing Real-Time Multi Input-Output Systems
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quiescence is sometimes applied. Briefly, a system is in a quiescent state when it cannot produce outputs. In this paper, we relax the input enabling assumption, and allow some input sets to be enabled while others remain disabled. Moreover, we also relax the general bound M used in timed systems to detect quiescence, and allow different bounds for different sets of outputs. By considering the tiocoM theory, an enriched theory for timed testing with repetitive quiescence, and allowing the partition of input sets and output sets, we introduce the mtiocoM relation. A test derivation procedure which is nondeterministic and parameterized is further developed, and shown to be sound and complete wrt mtiocoM.
Laura Brandán Briones, Ed Brinksma
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ICFEM
Authors Laura Brandán Briones, Ed Brinksma
Comments (0)