Stress testing real-time systems with genetic algorithms

Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. The goal of this article is to automate, based on the system task architecture, the derivation of test cases that maximize the chances of critical deadline misses within the system. We refer to that testing activity as stress testing. We have developed a method based on genetic algorithms and implemented it in a tool. Case studies were run and results show that the tool may actually help testers identify test cases that will likely stress the system to such an extent that some tasks may miss deadlines. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification – validation, reliability General Terms Algorithms, Performance, Design, Reliability, Experimentation, Theory, Verification. Keywords Schedulability theory, Genetic algorithms

• Type: Conference
• Year: 2005
• Where: GECCO
• Authors: Lionel C. Briand, Yvan Labiche, Marwa Shousha
• Keywords: GECCO 2005, Genetic Algorithms, Reactive Real-time Systems, Test Cases