Högskolan i Skövde

his.sePublications
Planned maintenance
A system upgrade is planned for 10/12-2024, at 12:00-13:00. During this time DiVA will be unavailable.
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 testing of timeliness: Extended version
University of Skövde, School of Humanities and Informatics.
University of Skövde, School of Humanities and Informatics.
University of Skövde, School of Humanities and Informatics.
2005 (English)Report (Other academic)
Abstract [en]

Temporal correctness is crucial for real-time systems. There are few methods 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 orders in turn depends on scheduling protocols, task execution times, and use of mutual exclusive resources apart from the points in time when stimuli is injected. Model-based mutation testing has previously been proposed to determine the execution orders that need to be tested 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 for generation of test cases.

Place, publisher, year, edition, pages
Skövde: Institutionen för kommunikation och information , 2005. , p. 22
Series
IKI Technical Reports ; HS-IKI-TR-05-003
National Category
Information Systems
Identifiers
URN: urn:nbn:se:his:diva-1277OAI: oai:DiVA.org:his-1277DiVA, id: diva2:2414
Available from: 2008-06-17 Created: 2008-06-17 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

fulltext(208 kB)822 downloads
File information
File name FULLTEXT01.pdfFile size 208 kBChecksum SHA-1
37f7873ef83e8e339c44606cb923b2dd0526b70818e2dccb78130cd26132cd90ef9085e9
Type fulltextMimetype application/pdf

Authority records

Nilsson, RobertOffutt, JeffMellin, Jonas

Search in DiVA

By author/editor
Nilsson, RobertOffutt, JeffMellin, Jonas
By organisation
School of Humanities and Informatics
Information Systems

Search outside of DiVA

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

urn-nbn

Altmetric score

urn-nbn
Total: 1075 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