Högskolan i Skövde

his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • apa-cv
  • 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. (Distributed Real-time Systems (DRTS))
Information and Software Engineering, George Mason University, Fairfax Virginia, USA.ORCID iD: 0000-0002-8657-2557
University of Skövde, School of Humanities and Informatics. (Distributed Real-time Systems (DRTS))ORCID iD: 0000-0002-5223-4381
2006 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 164, no 4, p. 97-114Article in journal (Refereed) Published
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
Elsevier, 2006. Vol. 164, no 4, p. 97-114
Keywords [en]
Real-time Systems, Mutation Testing, Model based
National Category
Computer Systems Computer Sciences Information Systems
Research subject
Distributed Real-Time Systems
Identifiers
URN: urn:nbn:se:his:diva-1811DOI: 10.1016/j.entcs.2006.10.010Scopus ID: 2-s2.0-33750062888OAI: oai:DiVA.org:his-1811DiVA, id: diva2:32087
Conference
Second Workshop on Model Based Testing 2006 (MBT 2006), 25-26 March 2006, Vienna, Austria
Note

CC BY-NC-ND 3.0

Special issue: Proceedings of the Second Workshop on Model Based Testing (MBT 2006). Edited by B. Finkbeiner, Y. Gurevich, A.K. Petrenko

Available from: 2007-10-12 Created: 2007-10-12 Last updated: 2021-06-23Bibliographically approved

Open Access in DiVA

fulltext(301 kB)89 downloads
File information
File name FULLTEXT01.pdfFile size 301 kBChecksum SHA-512
48d6fc25015422e0f74d83671c0ab7b82495231bbb48089218b6968e62ce216d535f3065d489265f19b103ce84eaa446834c12ffb9bc33049d0366941b236916
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records

Nilsson, RobertOffutt, JeffMellin, Jonas

Search in DiVA

By author/editor
Nilsson, RobertOffutt, JeffMellin, Jonas
By organisation
School of Humanities and Informatics
In the same journal
Electronical Notes in Theoretical Computer Science
Computer SystemsComputer SciencesInformation Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 89 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

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 861 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • apa-cv
  • 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