%0 Conference Proceedings
%T Formal Testing of Timed and Probabilistic Systems
%+ Universidad Complutense de Madrid =  Complutense University of Madrid  [Madrid] (UCM)
%A Núñez, Manuel
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 23th International Conference on Testing Software and Systems (ICTSS)
%C Paris, France
%Y Burkhart Wolff
%Y Fatiha Zaïdi
%I Springer
%3 Testing Software and Systems
%V LNCS-7019
%P 9-14
%8 2011-11-07
%D 2011
%R 10.1007/978-3-642-24580-0_2
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01583920/document
%2 https://inria.hal.science/hal-01583920/file/978-3-642-24580-0_2_Chapter.pdf
%L hal-01583920
%U https://inria.hal.science/hal-01583920
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-7019