A formal framework for black-box conformance testing of distributed real-time systems

2012 ◽  
Vol 3 (1/2) ◽  
pp. 26 ◽  
Author(s):  
Moez Krichen
Keyword(s):  
Real Time ◽  
Conformance Testing ◽  
Black Box ◽  
Real Time Systems ◽  
Formal Framework ◽  
Time Systems

scholarly journals Conformance Testing of Preemptive Real-Time Systems

2013 ◽  
Vol 4 (4) ◽  
pp. 1-26 ◽  
Author(s):  
Noureddine Adjir ◽  
Pierre de Saqui-Sannes ◽  
Kamel Mustapha Rahmouni
Keyword(s):  
Real Time ◽  
Test Generation ◽  
Conformance Testing ◽  
Black Box ◽  
Online Testing ◽  
Test Results ◽  
Real Time Systems ◽  
Test Specification ◽  
Partially Observable ◽  
Time Systems

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.

Conformance testing for real-time systems

2009 ◽  
Vol 34 (3) ◽  
pp. 238-304 ◽  
Author(s):  
Moez Krichen ◽  
Stavros Tripakis
Keyword(s):  
Real Time ◽  
Conformance Testing ◽  
Real Time Systems ◽  
Time Systems

FORMAL METHOD FOR AUTOMATED TRANSFORMATION OF LOTOS SPECIFICATIONS TO ESTELLE SPECIFICATIONS

2005 ◽  
Vol 15 (05) ◽  
pp. 873-891 ◽  
Author(s):  
HAZEM EL-GENDY ◽  
NABIL EL-KADHI
Keyword(s):  
Real Time ◽  
Formal Method ◽  
Conformance Testing ◽  
Control Flow ◽  
Semantic Model ◽  
Formal Description ◽  
Real Time Systems ◽  
Behavior Tree ◽  
Time Systems ◽  
Formal Description Techniques

ISO and IEC have jointly developed two Formal Description Techniques (FDTs) for specifying distributed real time systems such as computer/telecommunications protocols. These are Lotos and Estelle. In this paper, a formal method for automated transformation of a Lotos specification to an Estelle specification is presented. The method is applicable to various Lotos specification styles and to various communications protocols of ISO OSI layers. Our method has applications in conformance testing of such systems and building common semantic model for the various FDTs. In this paper, we develop an algorithm for constructing a 'Data Oriented'-Restricted Behavior Tree T that represent both the control flow aspects and the data flow aspects of the system. Then, we develop an algorithm for constructing the Estelle specifications from T. A minimization rule is also developed to optimize the size of the Estelle specification by reducing both the number of states and the number of transitions.

scholarly journals Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

2018 ◽  
Vol 277 ◽  
pp. 147-160 ◽  
Author(s):  
Tobias R. Gundersen ◽  
Florian Lorber ◽  
Ulrik Nyman ◽  
Christian Ovesen
Keyword(s):  
Real Time ◽  
Conformance Testing ◽  
Real Time Systems ◽  
Time Systems

scholarly journals Asynchronous testing of real-time systems

10.29007/hcrn ◽  
2018 ◽  
Author(s):  
Puneet Bhateja
Keyword(s):  
Real Time ◽  
Conformance Testing ◽  
Test Case ◽  
Test Cases ◽  
Real Time Systems ◽  
Underlying Theory ◽  
Time Systems ◽  
First In First Out ◽  
Timed Automaton ◽  
Inputs And Outputs

Conformance testing is an operational way of determining whether an implementation conforms to the specification or not. It has a rich underlying theory wherein the specification and the implemen- tation under test (IUT) are each modeled by a timed automaton with inputs and outputs (TAIO), a variant of the classical timed automaton [1]. Test cases generated from the specification TAIO are symbolically executed against the implementation TAIO. Depending upon how test cases interact with the IUT, testing can be synchronous or asynchronous. In synchronous testing a test case interacts with the IUT directly, whereas in asynchronous testing a test case interacts with the IUT through a pair of first-in-first-out (FIFO) channels. Different approaches for synchronous testing of real-time systems have already been proposed [5],[7],[4],[8]. In this paper we propose an approach which is aimed at testing real-time systems asynchronously (i.e., remotely through some medium)

Sign in / Sign up

Export Citation Format

Share Document