Skip to Main content Skip to Navigation
Conference papers

Formal Testing of Timed and Probabilistic Systems

Abstract : 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.
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, September 8, 2017 - 10:05:31 AM
Last modification on : Tuesday, October 19, 2021 - 3:44:46 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads