Title :
Mutation-based testing criteria for timeliness
Author :
Nilsson, Robert ; Offutt, Jeff ; Andler, Sten F.
Author_Institution :
Sch. of Humanities & Informatics, Univ. of Skovde
Abstract :
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with testing real-time applications is the dependency on the execution time and execution order of individual tasks. Thus, the response times for the tasks may be non-deterministic with respect to inputs. Conventional test coverage criteria ignore task interleaving and tinting and, thus do not help determine which execution orders need to be exercised to test for temporal correctness. This paper presents test criteria based on mutation to test timeliness. We also show how previously proposed methods in specification based testing, can be applied to testing real-time systems
Keywords :
formal specification; program testing; real-time systems; software reliability; dependability; execution order; execution time; mutation-based testing criteria; real-time systems; specification based testing; temporal correctness; timeliness; Application software; Delay; Genetic mutations; Informatics; Interleaved codes; Real time systems; Software engineering; Software testing; System testing; Timing;
Conference_Titel :
Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-2209-2
DOI :
10.1109/CMPSAC.2004.1342848