Test coverage for collaborative workflow application based on Petri Net

Liu, Zhnenyu; Liu, Tiejiang; Cai, Lizhi; Yang, Guangwen

doi:10.1109/cscwd.2010.5471973

Cited by 2 publications

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Authors have modified an existing debugging tool to measure the coverage rate of various protocol-based criteria related expressed using Petri nets. Several coverage criteria have been formalized for high-level Petri nets [51,30]. The work of [14] uses the cause-effect network's concept for the generation of test inputs, while [15] uses the execution potential of the model by the simulation to measure the coverage rate of the generated test inputs.…”

Section: Related Workmentioning

confidence: 99%

Symbolic Observation Graph-Based Generation of Test Paths

Klaï

Bennani

Arias

et al. 2023

Lecture Notes in Computer Science

View full text Add to dashboard Cite

The paper introduces a theoretical foundation for generating abstract test paths related to Petri net specifications. Based on the structure of the Petri net model of the system, we first define the notion of unobservable transition. Unless such a transition is unreachable, we prove that its firing is necessarily ensured by the firing of another transition (namely observable transition) of the Petri net. We show that the set of observable transitions is the smallest set that guarantees the coverage of all the transitions of the Petri net model, i.e., any set of firing sequences of the model, namely observable traces, involving all the observable transitions passes eventually through the unobservable transitions as well. If some unobservable transitions are mandatory to trigger the execution of a test sub-sequence, observable traces are completed with such transitions to enhance the controllability of the test scenario. In addition to structurally identifying observable (and unobservable) transitions, we mainly propose two algorithms: the first allows to generate a set of observable paths ensuring full coverage of all the system transitions. It is based on an on-the-fly construction of a hybrid graph called the symbolic observation graph. The second algorithm completes the observable paths in order to explicitly cover the whole set of system's transitions. The approach is implemented within an available prototype, and the preliminary experiments are promising.

show abstract

Section: Related Workmentioning

confidence: 99%

Symbolic Observation Graph-Based Generation of Test Paths

Klaï

Bennani

Arias

et al. 2023

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Lui et al define in [23] coverage metrics based on Petri nets in the context of workflow applications. Comparable to this work the authors combine predefined subnets, but their scope is limited on the workflow aspects.…”

Section: Related Workmentioning

confidence: 99%

Well-Defined Coverage Metrics for the Glass Box Test

Schmidberger

2014

Advanced Information Systems Engineering

View full text Add to dashboard Cite

The Glass Box Test (GBT), also known as White Box Test or Structural Test, shows which parts of the program under test have, or have not, been executed. Many GBT tools are available for almost any programming language. Industry standards for safety-critical software require a very high or even complete coverage. At first glance, the GBT seems to be a well-established and mature testing technique that is based on standardized metrics. But on closer inspection, there are several serious shortcomings of the underlying models and metrics which lead to very imprecise, inconsistent coverage results of the various GBT tools. In this paper, a new and precise model for the GBT is presented. This model is used as a reference for the precise definition of all the popular coverage metrics that are around. The tool CodeCover which was developed in the University of Stuttgart is an implementation that strictly follows those definitions.

show abstract

Test coverage for collaborative workflow application based on Petri Net

Cited by 2 publications

References 5 publications

Symbolic Observation Graph-Based Generation of Test Paths

Symbolic Observation Graph-Based Generation of Test Paths

Well-Defined Coverage Metrics for the Glass Box Test

Contact Info

Product

Resources

About