OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Testing real-time systems using TINA

Adjir, Noureddine and Saqui-Sannes, Pierre de and Rahmouni, Mustapha Testing real-time systems using TINA. (2009) In: TESTCOM-FATES'09, 02-04 Nov 2009, Eindhoven, the Netherlands .

(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.1007/978-3-642-05031-2_1


The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts.

Item Type:Conference or Workshop Item (Lecture)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Other partners > Université d'Oran 1 - Ahmed Ben Bella (ALGERIA)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Université de Saida Dr Moulay Tahar (ALGERIA)
Laboratory name:
Deposited On:28 Oct 2009 08:29

Repository Staff Only: item control page