Test of preemptive real-time systems

Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time systems. Assuming the modelled systems are non deterministic and partially observable, the paper proposes a test generation approach which implements an online testing policy and outputs test results that are valid for the (part of the) selected environment. A relativized conformance relation named rswtioco is defined and a test generation algorithm is presented. The proposed approach is illustrated on an example.

• Type: Conference
• Year: 2008
• Where: AICCSA
• Authors: Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni
• Keywords: AICCSA 2008, Hardware, Test Generation, Test Generation Approach, Time Petri Nets