liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Mutation-based Framework for Automated Testing of Timeliness
Linköping University, Department of Computer and Information Science, RTSLAB - Real-Time Systems Laboratory. Linköping University, The Institute of Technology.
2006 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

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 thesis presents and evaluates a framework for testing of timeliness that is based on mutation testing theory. 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. A scheme for automated test case execution is also defined. The testing framework assumes that a structured notation is used to model the real-time applications and their execution environment. This real-time system model is subsequently mutated by operators that mimic potential errors that may lead to timeliness failures. Each mutated model is automatically analyzed to generate test cases that target execution orders that are likely to lead to timeliness failures. The validation of the theory and methods in the proposed testing framework is done iteratively through case-studies, experiments and proof-of-concept implementations. This research indicates that an adapted form of mutation-based testing can be used for effective and automated testing of timeliness and, thus, for increasing the confidence level in real-time systems that are designed according to the event-triggered paradigm.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2006. , 168 p.
Series
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 1030
Keyword [en]
Automated Testing, Timeliness, Real-time systems, Time constraints, Model-based, Mutation testing
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-7314ISBN: 91-85523-35-6 (print)OAI: oai:DiVA.org:liu-7314DiVA: diva2:22327
Public defence
2006-10-18, G110, Hus G, Högskolan i Skövde, Skövde, 13:15 (English)
Opponent
Supervisors
Available from: 2006-09-07 Created: 2006-09-07 Last updated: 2009-03-06

Open Access in DiVA

fulltext(720 kB)1031 downloads
File information
File name FULLTEXT01.pdfFile size 720 kBChecksum MD5
b25ba95b68acc3872c5e70a70787cc75fabc36c94a3d7889ca37d21e738381264453fe17
Type fulltextMimetype application/pdf

Authority records BETA

Nilsson, Robert

Search in DiVA

By author/editor
Nilsson, Robert
By organisation
RTSLAB - Real-Time Systems LaboratoryThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 1031 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 935 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf