This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Generating Test Cases for Real-Time Systems Based on Symbolic Models
Sept. 2013 (vol. 39 no. 9)
pp. 1216-1229
Wilkerson L. Andrade, Federal University of Campina Grande, Campina Grande
Patricia D.L. Machado, Federal University of Campina Grande, Campina Grande
The state space explosion problem is one of the challenges to be faced by test case generation techniques, particularly when data values need to be enumerated. This problem gets even worse for real-time systems (RTS) that also have time constraints. The usual solution in this context, based on finite state machines or time automata, consists of enumerating data values (restricted to finite domains) while treating time symbolically. In this paper, a symbolic model for conformance testing of real-time systems software named TIOSTS that addresses both data and time symbolically is presented. Moreover, a test case generation process is defined to select more general test cases with variables and parameters that can be instantiated at testing execution time. Generation is based on a combination of symbolic execution and constraint solving for the data part and symbolic analysis for timed aspects. Furthermore, the practical application of the process is investigated through a case study.
Index Terms:
Testing,Clocks,Cost accounting,Real-time systems,Data models,Automata,Semantics,testing strategies,Real-time systems and embedded systems,formal methods,symbolic execution
Citation:
Wilkerson L. Andrade, Patricia D.L. Machado, "Generating Test Cases for Real-Time Systems Based on Symbolic Models," IEEE Transactions on Software Engineering, vol. 39, no. 9, pp. 1216-1229, Sept. 2013, doi:10.1109/TSE.2013.13
Usage of this product signifies your acceptance of the Terms of Use.