OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Conformance Testing of Preemptive Real-Time Systems

Adjir, Noureddine and Saqui-Sannes, Pierre de and Rahmouni, Mustapha Conformance Testing of Preemptive Real-Time Systems. (2013) International Journal of Embedded and Real-Time Communication Systems (IJERTCS), 4 (4). 1-26. ISSN 1947-3176

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.4018/ijertcs.2013100101


The paper presents an approach for model-based black-box conformance testing of preemptive real-time systems using Labeled Prioritized Time Petri Nets with Stopwatches (LPrSwTPN). These models not only specify system/environment interactions and time constraints. They further enable modelling of suspend/resume operations in real-time systems. The test specification used to generate test primitives, to check the correctness of system responses and to draw test verdicts is an LPrSwTPN made up of two concurrent sub-nets that respectively specify the system under test and its environment. The algorithms used in the TINA model analyzer have been extended to support concurrent composed subnets. Relativized stopwatch timed input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Assuming the modelled systems are non deterministic and partially observable, the paper proposes a test generation and execution algorithm which is based on symbolic techniques and implements an online testing policy and outputs test results for the (part of the) selected environment.

Item Type:Article
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Other partners > Université de Saida Dr Moulay Tahar (ALGERIA)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Université d'Oran 1 - Ahmed Ben Bella (ALGERIA)
Laboratory name:
Deposited On:07 Apr 2014 09:30

Repository Staff Only: item control page