Advanced

Test Case Generation for Flexible Real-Time Control Systems

Nilsson, Robert and Henriksson, Dan LU (2005) In Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on 2. p.723-730
Abstract
Temporal correctness is crucial for the dependability of real-time control systems. A problem with testing such systems is the dependency on the execution orders of tasks. Mutation-based testing criteria have been proposed to determine which execution orders need to be exercised to verify that real-time systems are timely. For flexible control systems, timeliness in itself may only be relevant for a sub-set of tasks, whereas maintained control performance in the presence of worst-case jitter and disturbances is essential. This paper presents an extension to the co-simulator tool TrueTime, to support mutation-based testing of control performance and timeliness. Further, an approach for automatic generation of test cases using genetic... (More)
Temporal correctness is crucial for the dependability of real-time control systems. A problem with testing such systems is the dependency on the execution orders of tasks. Mutation-based testing criteria have been proposed to determine which execution orders need to be exercised to verify that real-time systems are timely. For flexible control systems, timeliness in itself may only be relevant for a sub-set of tasks, whereas maintained control performance in the presence of worst-case jitter and disturbances is essential. This paper presents an extension to the co-simulator tool TrueTime, to support mutation-based testing of control performance and timeliness. Further, an approach for automatic generation of test cases using genetic algorithms is presented. A conclusion is that testing criteria for timeliness can be used to increase confidence in the dependability of flexible control systems. (Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
in
Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on
volume
2
pages
723 - 730
publisher
IEEE--Institute of Electrical and Electronics Engineers Inc.
external identifiers
  • Scopus:33847310942
ISBN
0-7803-9402-X
language
English
LU publication?
yes
id
385e5042-6e18-4c2e-a468-164b0ab547a7 (old id 535760)
alternative location
http://ieeexplore.ieee.org/iel5/10734/33858/01612746.pdf?tp=&arnumber=1612746&isnumber=33858
date added to LUP
2007-09-24 13:09:45
date last changed
2016-10-13 04:49:09
@misc{385e5042-6e18-4c2e-a468-164b0ab547a7,
  abstract     = {Temporal correctness is crucial for the dependability of real-time control systems. A problem with testing such systems is the dependency on the execution orders of tasks. Mutation-based testing criteria have been proposed to determine which execution orders need to be exercised to verify that real-time systems are timely. For flexible control systems, timeliness in itself may only be relevant for a sub-set of tasks, whereas maintained control performance in the presence of worst-case jitter and disturbances is essential. This paper presents an extension to the co-simulator tool TrueTime, to support mutation-based testing of control performance and timeliness. Further, an approach for automatic generation of test cases using genetic algorithms is presented. A conclusion is that testing criteria for timeliness can be used to increase confidence in the dependability of flexible control systems.},
  author       = {Nilsson, Robert and Henriksson, Dan},
  isbn         = {0-7803-9402-X},
  language     = {eng},
  pages        = {723--730},
  publisher    = {ARRAY(0x9ddc950)},
  series       = {Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on},
  title        = {Test Case Generation for Flexible Real-Time Control Systems},
  volume       = {2},
  year         = {2005},
}