Unfolding-based Test Selection for Concurrent Conformance
Hernán Ponce-de-León, Stefan Haar, Delphine Longuet · 2013
Abstract. Model-based testing has mainly focused on models where currency 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 coioco. We propose 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 a coverage criterion based on a dedicated notion of complete prefixes that selects a manageable test suite. Model-based Testing. The aim of testing is to execute a software system, the implementation, on a set of input data selected so as to find discrepancies between actual behavior and intended behavior described by the specification. The testing process is usually decomposed into three phases: selection of relevant input data, called a test suite, among the possible inputs of the system; submission of this test suite to the implementation, its execution; and decision of the success or the failure of the test suite submission, known