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.
Type de document :
Communication dans un congrès
Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7019, pp.9-14, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_2〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01583920
Contributeur : Hal Ifip <>
Soumis le : vendredi 8 septembre 2017 - 10:05:31
Dernière modification le : vendredi 29 septembre 2017 - 14:36:04

Fichier

978-3-642-24580-0_2_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Manuel Núñez. Formal Testing of Timed and Probabilistic Systems. Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7019, pp.9-14, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_2〉. 〈hal-01583920〉

Partager

Métriques

Consultations de la notice

38

Téléchargements de fichiers

10