Please use this identifier to cite or link to this item: https://doi.org/10.1109/RTSS.2013.39
Title: Static analysis driven cache performance testing
Authors: Banerjee, A.
Chattopadhyay, S.
Roychoudhury, A. 
Keywords: Cache performance
Performance testing
Test generation
Issue Date: 2013
Citation: Banerjee, A., Chattopadhyay, S., Roychoudhury, A. (2013). Static analysis driven cache performance testing. Proceedings - Real-Time Systems Symposium : 319-329. ScholarBank@NUS Repository. https://doi.org/10.1109/RTSS.2013.39
Abstract: Real-time, embedded software are constrained by several non-functional requirements, such as timing. With the ever increasing performance gap between the processor and the main memory, the performance of memory subsystems often pose a significant bottleneck in achieving the desired performance for a real-time, embedded software. Cache memory plays a key role in reducing the performance gap between a processor and main memory. Therefore, analyzing the cache behaviour of a program is critical for validating the performance of an embedded software. In this paper, we propose a novel approach to automatically generate test inputs that expose the cache performance issues to the developer. Each such test scenario points to the specific parts of a program that exhibit anomalous cache behaviour along with a set of test inputs that lead to such undesirable cache behaviour. We build a framework that leverages the concepts of both static cache analysis and dynamic test generation to systematically compute the cache-performance stressing test inputs. Our framework computes a test-suite which does not contain any false positives. This means that each element in the test-suite points to a real cache performance issue. Moreover, our test generation framework provides an assurance of the test coverage via a well-formed coverage metric. We have implemented our entire framework using Chronos worst case execution time (WCET) analyzer and LLVM compiler infrastructure. Several experiments suggest that our test generation framework quickly converges towards generating cache-performance stressing test cases. We also show the application of our generated test-suite in design space exploration and cache performance optimization. © 2013 IEEE.
Source Title: Proceedings - Real-Time Systems Symposium
URI: http://scholarbank.nus.edu.sg/handle/10635/78359
ISBN: 9781479920075
ISSN: 10528725
DOI: 10.1109/RTSS.2013.39
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

9
checked on Nov 14, 2018

WEB OF SCIENCETM
Citations

4
checked on Nov 6, 2018

Page view(s)

27
checked on Jun 29, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.