Výsledky vyhledávání - "Catherine Oriat"

hW-inference: A heuristic approach to retrieve models through black box testing

Autor: Nicolas Brémond, Catherine Oriat, Roland Groz, Adenilso Simao

Publikováno v: Journal of Systems and Software
Journal of Systems and Software, Elsevier, 2020, 159, pp.110426. ⟨10.1016/j.jss.2019.110426⟩
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Universidade de São Paulo (USP)
instacron:USP

We present an efficient approach to retrieve behavioural models from reactive software systems in the form of Finite State Machines by testing them. The system is accessed in black box mode; thus, no source or binary code is needed. The novelty of th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94f5ad6a479e862b80420744ca246d3b
https://hal.archives-ouvertes.fr/hal-03275239

Zobrazit plný text záznamu

Inferring FSM Models of Systems Without Reset

Autor: Alexandre Petrenko, Adenilso Simao, Roland Groz, Catherine Oriat

Publikováno v: Machine Learning for Dynamic Software Analysis
Machine Learning for Dynamic Software Analysis, pp.178-201, 2018
Lecture Notes in Computer Science ISBN: 9783319965611

Active inference algorithms that are used to extract behavioural models of software systems usually assume that the System Under Inference (SUI) can be reset. Two approaches have been proposed to infer systems that cannot be reset. Rivest and Schapir

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1d924053c8b0e35d5b6d31d1669916a4
https://hal.archives-ouvertes.fr/hal-02012813

Zobrazit plný text záznamu

Revisiting AI and testing methods to infer FSM models of black-box systems

Autor: Adenilso Simao, Catherine Oriat, Nicolas Brémond, Roland Groz

Publikováno v: AST@ICSE
the 13th International Workshop on Automation of Software Test (AST'18)
the 13th International Workshop on Automation of Software Test (AST'18), May 2018, Gothenburg, Sweden. pp.16-19

Machine learning in the form of inference of state machine models has gained popularity in model-based testing as a means of retrieving models from software systems. By combining an old idea from machine inference with methods from automata testing i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::be798f7f6b554b9d4dba7fed25e1c40b
https://doi.org/10.1145/3194733.3194736

Zobrazit plný text záznamu

FSM inference and checking sequence construction are two sides of the same coin

Autor: Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat

Publikováno v: Software Quality Journal
Software Quality Journal, Springer Verlag, 2018, ⟨10.1007/s11219-018-9429-3⟩
Software Quality Journal, Springer Verlag, 2019, 27 (2), pp.651-674. ⟨10.1007/s11219-018-9429-3⟩

The paper focuses on the problems of passive and active FSM inference as well as checking sequence generation. We consider the setting where an FSM cannot be reset so that its inference is constrained to a single trace either given a priori in a pass

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8b8ddbb73ea1346c078f9999e671e075
https://hal.archives-ouvertes.fr/hal-02022438

Zobrazit plný text záznamu

From Passive to Active FSM Inference via Checking Sequence Construction

Autor: Alexandre Petrenko, Florent Avellaneda, Catherine Oriat, Roland Groz

Publikováno v: Lecture Notes in Computer Science
29th IFIP International Conference on Testing Software and Systems (ICTSS)
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.126-141, ⟨10.1007/978-3-319-67549-7_8⟩
Testing Software and Systems ISBN: 9783319675480
ICTSS

Part 2: Test Derivation Methods; International audience; The paper focuses on the problems of passive and active FSM inference as well as checking sequence generation. We consider the setting where an FSM cannot be reset so that its inference is cons

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c834f83f5d86c9cb5044910ac2076bc4
https://hal.inria.fr/hal-01678991/file/449632_1_En_8_Chapter.pdf

Zobrazit plný text záznamu

Adaptive Localizer Based on Splitting Trees

Autor: Roland Groz, Adenilso Simao, Catherine Oriat

Publikováno v: Testing Software and Systems ISBN: 9783319675480
ICTSS
Lecture Notes in Computer Science
29th IFIP International Conference on Testing Software and Systems (ICTSS)
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.326-332, ⟨10.1007/978-3-319-67549-7_21⟩

Part 6: Short Contributions; International audience; When testing a black box system that cannot be reset, it may be useful to use a localizer procedure that will ensure that the test sequence goes at some point through a state that can be identified

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8f24b3532b061b41114b67c766f08f11
https://doi.org/10.1007/978-3-319-67549-7_21

Zobrazit plný text záznamu

Applying a Pairwise Coverage Criterion to Scenario-Based Testing

Autor: L. du Bousquet, Mickaël Delahaye, Catherine Oriat

Publikováno v: Fifth International Workshop on Combinatorial Testing (IWCT 2016)
Fifth International Workshop on Combinatorial Testing (IWCT 2016), Apr 2016, Chicago, United States
ICST Workshops

Some scenario-based testing approaches propose to express a test suite as a regular expression (called scenario or pattern). It specifies a set of valid sequences of operations in a abstract way. When the regular expression is "unfold", test sequence

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3f882dcd8b1e5048fec9d2bb1cf07be
https://hal.univ-grenoble-alpes.fr/hal-01415860

Zobrazit plný text záznamu

Inferring Finite State Machines Without Reset Using State Identification Sequences

Autor: Alexandre Petrenko, Catherine Oriat, Roland Groz, Adenilso Simao

Publikováno v: Testing Software and Systems ISBN: 9783319259444
ICTSS
Lecture Notes in Computer Science
27th IFIP International Conference on Testing Software and Systems (ICTSS)
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.161-177, ⟨10.1007/978-3-319-25945-1_10⟩

Part 4: Model and System Testing; International audience; Identifying the (finite state) control structure of a black box system from the traces observed in finite interaction is of great interest for many model-based activities, such as model-based

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b691946e0be289ae13d12b7f218a7fb
https://doi.org/10.1007/978-3-319-25945-1_10

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání