his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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
Test case generation for mutation-based testing of timeliness
University of Skövde, School of Humanities and Informatics.
University of Skövde, School of Humanities and Informatics.
2006 (English)In: Proceedings of the Second Workshop on Model Based Testing (MBT 2006), 2006, 102-112 p.Conference paper, (Other academic)
Abstract [en]

Temporal correctness is crucial for real-time systems. Few methods exist to test temporal correctness and most methods used in practice are ad-hoc. A problem with testing real-time applications is the response-time dependency on the execution order of concurrent tasks. Execution order in turn depends on execution environment properties such as scheduling protocols, use of mutual exclusive resources as well as the point in time when stimuli is injected. Model based mutation testing has previously been proposed to determine the execution orders that need to be verified to increase confidence in timeliness. An effective way to automatically generate such test cases for dynamic real-time systems is still needed. This paper presents a method using heuristic-driven simulation to generate test cases.

Place, publisher, year, edition, pages
2006. 102-112 p.
Identifiers
URN: urn:nbn:se:his:diva-1811OAI: oai:DiVA.org:his-1811DiVA: diva2:32087
Conference
Second Workshop on Model Based Testing 2006
Available from: 2007-10-12 Created: 2007-10-12 Last updated: 2013-03-20

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Nilsson, RobertMellin, Jonas
By organisation
School of Humanities and Informatics

Search outside of DiVA

GoogleGoogle Scholar

Total: 668 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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