Timed Test Case Generation Using Labeled Prioritized Time Petri Nets

Abstract

Model-based testing of software and hardware systems uses behavioral and formal models of the systems. The paper presents a technique for model-based black-box conformance testing of real-time systems using Labeled Prioritized Time Petri Nets (LPrTPN). The Timed Input/Output Conformance (tioco) relation, which takes environment assumptions into account… (More)

Topics

6 Figures and Tables

Cite this paper

@article{Adjir2012TimedTC, title={Timed Test Case Generation Using Labeled Prioritized Time Petri Nets}, author={Noureddine Adjir and Pierre de Saqui-Sannes and Kamel Mustapha Rahmouni and Abdelkader Adla}, journal={CoRR}, year={2012}, volume={abs/1206.0788} }