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 .

[img](Document in English)

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

Official URL: http://dx.doi.org/10.1007/978-3-642-05031-2_1

Abstract

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 (ALGERIA)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Other partners > Centre Universitaire Dr. Moulay Tahar de Saïda (ALGERIA)
Laboratory name:
Statistics:download
Deposited By:Pierre de Saqui-Sannes

Repository Staff Only: item control page