Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions

2015 ◽  
Author(s):  
Adriana Carla Damasceno ◽  
Patricia Duarte De Lima Machado ◽  
Wilkerson De Lucena Andrade ◽  
Wesley Nunes Marques Torres
Keyword(s):  
Real Time ◽  
Test Case Generation ◽  
Test Case ◽  
Real Time Systems ◽  
Time Systems ◽  
Symbolic Test

scholarly journals Test Case Minimization for Real-Time Systems Using Timed Bound Traces

2006 ◽  
pp. 289-305 ◽  
Author(s):  
Ismaïl Berrada ◽  
Richard Castanet ◽  
Patrick Félix ◽  
Aziz Salah
Keyword(s):  
Real Time ◽  
Test Case ◽  
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)

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
Sign in / Sign up

Export Citation Format

Share Document