DocumentCode :
1567838
Title :
Mutation-based testing criteria for timeliness
Author :
Nilsson, Robert ; Offutt, Jeff ; Andler, Sten F.
Author_Institution :
Sch. of Humanities & Informatics, Univ. of Skovde
fYear :
2004
Firstpage :
306
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International
Conference_Location :
Hong Kong
ISSN :
0730-3157
Print_ISBN :
0-7695-2209-2
Type :
conf
DOI :
10.1109/CMPSAC.2004.1342848
Filename :
1342848
Link To Document :
بازگشت