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 metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-01583920
Contributor : Hal Ifip <>
Submitted on : Friday, September 8, 2017 - 10:05:31 AM
Last modification on : Friday, September 29, 2017 - 2:36:04 PM

File

978-3-642-24580-0_2_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

66

Files downloads

95