Logotype Mälardalen University

MRTC publications



Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis

Authors: Daniel Sundmark, Anders Pettersson, Christer Sandberg (former), Andreas Ermedahl (former), Henrik Thane
Source: Technical Report, MRTC
 

Abstract

Memory corruption is one of the most common software failures. For sequential software and multi-tasking software with synchronized data accesses, it has been shown that program faults causing memory corruption can be detected by analyzing the relations between defines and uses of variables (DU-based testing). However, such methods are insufficient in preemptive systems, since they lack the ability to detect inter-task shared variable dependencies. In this paper, we propose the use of a system level shared variable DU analysis of preemptive multi-tasking real-time software. By deriving temporal attributes of each access to shared data using WCET analysis, and combining this information with the real-time schedule information, our method also detects inter-task shared variable dependencies.
 

BibTeX entry

@techreport{Sundmark_1275:2007,
   author = {Daniel Sundmark and Anders Pettersson and Christer Sandberg and Andreas Ermedahl and Henrik Thane},
   title = {Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis},
   month = {April},
   year = {2007},
   institution = {M{\aa}lardalen University},
   number = {},
   type = {{T}echnical {R}eport},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1275},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2010.02.23