A Mutation-based Testing using Genetic Algorithm for Timeliness of Real Time Systems
Published: 2011
Author(s) Name: G.N Purohit, A.M Sherry, Manish Saraswat
Locked
Subscribed
Available for All
Abstract
A problem when testing timeliness of event-triggered real-time systems is that response times depend on the execution order of concurrent tasks. Conventional testing methods ignore task interleaving and timing and thus do not help determine which execution orders need to be exercised to gain confidence in temporal correctness.
This paper presents and evaluates a framework for testing of timeliness that is based on mutation testing theory on uni processor systems. The framework includes two complementary approaches for mutation-based test case generation, testing criteria for timeliness, and tools for automating the test case generation process
View PDF