Coverage Criteria for Model-Based Testing using Property Patterns

Autor: Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 141, Iss Proc. MBT 2014, Pp 29-43 (2014)

We present in this paper a model-based testing approach aiming at generating test cases from a UML/OCL model and a given test property. The property is expressed using a dedicated formalism based on patterns, and automatically translated into an auto

Externí odkaz: https://doaj.org/article/bfa1825a0cf44d6583f7b685d15a0b67

How testing helps to diagnose proof failures

Autor: Guillaume Petiot, Alain Giorgetti, Nikolai Kosmatov, Bernard Botella, Jacques Julliand

Publikováno v: Formal Aspects of Computing
Formal Aspects of Computing, 2018, 30 (6), pp.629-657. ⟨10.1007/s00165-018-0456-4⟩
Formal Aspects of Computing, Springer Verlag, 2018, 30 (6), pp.629-657

Applying deductive verification to formally prove that a program respects its formal specification is a very complex and time-consuming task due in particular to the lack of feedback in case of proof failures. Along with a non-compliance between the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::530b3ffa7121e48abfdd912df4a1314b
https://hal.science/hal-01948799/document

Test Generation from Event System Abstractions to Cover Their States and Transitions

Autor: Pierre-Alain Masson, Jacques Julliand, Olga Kouchnarenko, Guillaume Voiron

Publikováno v: Programming and Computer Software
Programming and Computer Software, 2018, 44 (1), pp.1-14

International audience; Model-based testing of event systems can take advantage of considering abstractions rather than explicit models, for controlling their size. When abstracting still a test has to be a concrete connected and reachable event sequ

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::14829270a2ecc5fc35ee15fc0a780ef3
https://hal.archives-ouvertes.fr/hal-02945128

Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines

Autor: Jacques Julliand, Pierre-Alain Masson, Hana M'Hemdi, Riadh Robbana

Publikováno v: WETICE

This paper is about conformance testing of non-deterministic timed pushdown automata (TPAIO), with urgency modelled as deadlines put on the transitions. The deadlines impose time progress conditions (TPC) on the locations of the TPAIO. In addition to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6c34d615a545cdb2c046d36830859e7d
https://doi.org/10.1109/wetice.2016.54

Scenario-based testing from UML/OCL behavioral models

Autor: Frédéric Dadeau, Kalou Cabrera Castillos, Jacques Julliand

Publikováno v: International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, 2011, VSTTE 2009, 13 (5), pp.431-448. ⟨10.1007/s10009-011-0189-7⟩
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2011, VSTTE 2009, 13 (5), pp.431-448. ⟨10.1007/s10009-011-0189-7⟩

International audience; We present in this article a way to produce test suites applied to the POSIX mini-challenge based on a behavioral model of a file system manager written in UML/OCL. We illustrate the limitations of a fully automated test gener

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4776c5d7f6b8e700788c031ef7bfe23e
https://doi.org/10.1007/s10009-011-0189-7