Generating test cases for real-time systems from logic specifications

1995 ◽  
Vol 13 (4) ◽  
pp. 365-398 ◽  
Author(s):  
Dino Mandrioli ◽  
Sandro Morasca ◽  
Angelo Morzenti
Keyword(s):  
Real Time ◽  
Test Cases ◽  
Real Time Systems ◽  
Time Systems

scholarly journals Problem Detection in Real-Time Systems by Trace Analysis

2016 ◽  
Vol 2016 ◽  
pp. 1-12 ◽  
Author(s):  
Mathieu Côté ◽  
Michel R. Dagenais
Keyword(s):  
Real Time ◽  
Critical Path ◽  
Test Cases ◽  
Real Time Systems ◽  
Scheduling Problems ◽  
New Approach ◽  
Execution Traces ◽  
Problem Detection ◽  
Execution Model ◽  
Time Systems

This paper focuses on the analysis of execution traces for real-time systems. Kernel tracing can provide useful information, without having to instrument the applications studied. However, the generated traces are often very large. The challenge is to retrieve only relevant data in order to find quickly complex or erratic real-time problems. We propose a new approach to help finding those problems. First, we provide a way to define the execution model of real-time tasks with the optional suggestions of a pattern discovery algorithm. Then, we show the resulting real-time jobs in a Comparison View, to highlight those that are problematic. Once some jobs that present irregularities are selected, different analyses are executed on the corresponding trace segments instead of the whole trace. This allows saving huge amount of time and execute more complex analyses. Our main contribution is to combine the critical path analysis with the scheduling information to detect scheduling problems. The efficiency of the proposed method is demonstrated with two test cases, where problems that were difficult to identify were found in a few minutes.

scholarly journals Time-Optimal Test Cases for Real-Time Systems

2004 ◽  
pp. 234-245 ◽  
Author(s):  
Anders Hessel ◽  
Kim G. Larsen ◽  
Brian Nielsen ◽  
Paul Pettersson ◽  
Arne Skou
Keyword(s):  
Real Time ◽  
Test Cases ◽  
Real Time Systems ◽  
Optimal Test ◽  
Time Optimal ◽  
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)

Generating Test Cases for Real-Time Systems Based on Symbolic Models

2013 ◽  
Vol 39 (9) ◽  
pp. 1216-1229 ◽  
Author(s):  
Wilkerson L. Andrade ◽  
Patricia D.L. Machado
Keyword(s):  
Real Time ◽  
Test Cases ◽  
Real Time Systems ◽  
Time Systems

Software Engineering for Real Time Systems

IEE Review ◽  
1992 ◽  
Vol 38 (3) ◽  
pp. 112
Author(s):  
Stuart Bennett
Keyword(s):  
Software Engineering ◽  
Real Time ◽  
Real Time Systems ◽  
Time Systems

Generic Round Robin Scheduling for Real Time Systems

2017 ◽  
Vol 7 (5) ◽  
pp. 148-155
Author(s):  
Pallab Banerjee ◽  
◽  
Riya Shree ◽  
Richa Kumari Verma ◽  
◽  
...  
Keyword(s):  
Real Time ◽  
Round Robin ◽  
Real Time Systems ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document