| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Model-based Testing for Concurrent Systems: Unfolding-based Test Selection
Abstract : Model-based testing has mainly focused on models where concurrency is interpreted as interleaving (like the ioco theory for labeled transition systems), which may be too coarse when one wants concurrency to be preserved in the implementation. In order to test such concurrent systems, we choose to use Petri nets as specifications and define a concurrent conformance relation named co-ioco. We present a test generation algorithm based on Petri net unfolding able to build a complete test suite w.r.t our co-ioco conformance relation. In addition we propose several coverage criteria that allow to select finite prefixes of an unfolding in order to build manageable test suites.
Cited literature [26 references]
https://hal.inria.fr/hal-00996000
Contributor : Hernan Ponce de Leon <>
Submitted on : Monday, December 15, 2014 - 2:16:52 PM
Last modification on : Monday, February 15, 2021 - 10:47:56 AM
Long-term archiving on: : Monday, March 16, 2015 - 10:06:31 AM
Contributor : Hernan Ponce de Leon <>
Submitted on : Monday, December 15, 2014 - 2:16:52 PM
Last modification on : Monday, February 15, 2021 - 10:47:56 AM
Long-term archiving on: : Monday, March 16, 2015 - 10:06:31 AM
File
sttt_final.pdf
Publisher files allowed on an open archive