Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Chédor, Sébastien"'
Autor:
Chédor, Sébastien
L'une des façons les plus efficace de s'assurer du bon fonctionnement d'un système informatique est de les représenter par des modèles mathématiques. De nombreux travaux ont été réalisés en utilisant des automates finis comme modèles, nous
Externí odkaz:
http://www.theses.fr/2014REN1S002/document
Publikováno v:
In IFAC Proceedings Volumes 2012 45(29):265-271
Publikováno v:
Journal of : Software Testing, Verification and Reliability
Journal of : Software Testing, Verification and Reliability, Wiley, 2014, 24 (7), pp.532-557. ⟨10.1002/stvr.1525⟩
Journal of Software Testing, Verification and Reliability
Journal of Software Testing, Verification and Reliability, 2014, 24 (7), pp.532-557. ⟨10.1002/stvr.1525⟩
Journal of : Software Testing, Verification and Reliability, Wiley, 2014, 24 (7), pp.532-557. ⟨10.1002/stvr.1525⟩
Journal of Software Testing, Verification and Reliability
Journal of Software Testing, Verification and Reliability, 2014, 24 (7), pp.532-557. ⟨10.1002/stvr.1525⟩
International audience; This paper explores the generation of conformance test cases for Recursive Tile Systems (RTSs) in the framework of the classical ioco testing theory. The RTS model allows the description of reactive systems with recursion, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e6fdf03f9a92dddda9d434b995adc46
https://hal.inria.fr/hal-01091672/document
https://hal.inria.fr/hal-01091672/document
Autor:
Chédor, Sébastien
Publikováno v:
Autre [cs.OH]. Université de Rennes, 2014. Français. ⟨NNT : 2014REN1S002⟩
Autre [cs.OH]. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S002⟩
Autre [cs.OH]. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S002⟩
An effective way to ensure the proper functioning of a computer system is to represent it by using mathematical models . Many studies have been conducted using finite automata as models, in this thesis we try to extend these works to infinite models.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f049c38ee365041bcc373e2bb058856d
https://theses.hal.science/tel-00980800/file/CHEDOR_Sebastien.pdf
https://theses.hal.science/tel-00980800/file/CHEDOR_Sebastien.pdf
Publikováno v:
[Research Report] RR-8206, INRIA. 2013, pp.32
In this paper we explore the generation of conformance test cases for Recursive Tile Systems (RTSs) in the framework of the classical ioco testing theory. The RTS model allows the description of reactive systems with recursion, and is very similar to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::993dcdc2a42c73f3764ba68db8c2773a
https://hal.inria.fr/hal-00778134/file/RR-8206.pdf
https://hal.inria.fr/hal-00778134/file/RR-8206.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Tests & Proofs (9783642304729); 2012, p99-114, 16p