Formal Testing of Timed and Probabilistic Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Formal Testing of Timed and Probabilistic Systems


This talk reviews some of my contributions on formal testing of timed and probabilistic systems, focusing on methodologies that allow their users to decide whether these systems are correct with respect to a formal specification. The consideration of time and probability complicates the definition of these frameworks since there is not an obvious way to define correctness. For example, in a specific situation it might be desirable that a system is as fast as possible while in a different application it might be required that the performance of the system is exactly equal to the one given by the specification. All the methodologies have as common assumption that the system under test is a black-box and that the specification is described as a timed and/or probabilistic extension of the finite state machines formalism.
Fichier principal
Vignette du fichier
978-3-642-24580-0_2_Chapter.pdf (82.94 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01583920 , version 1 (08-09-2017)





Manuel Núñez. Formal Testing of Timed and Probabilistic Systems. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.9-14, ⟨10.1007/978-3-642-24580-0_2⟩. ⟨hal-01583920⟩
43 View
58 Download



Gmail Facebook Twitter LinkedIn More