his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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. , 22 p.
Series
IKI Technical Reports, HS-IKI-TR-05-003
National Category
Information Science
Identifiers
URN: urn:nbn:se:his:diva-1277OAI: oai:DiVA.org:his-1277DiVA: diva2:2414
Available from: 2008-06-17 Created: 2008-06-17 Last updated: 2012-12-17Bibliographically approved

Open Access in DiVA

fulltext(208 kB)528 downloads
File information
File name FULLTEXT01.pdfFile size 208 kBChecksum MD5
0526b70818e2dccb78130cd26132cd90ef9085e937f7873ef83e8e339c44606cb923b2dd
Type fulltextMimetype application/pdf

Search in DiVA

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

Search outside of DiVA

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

Total: 772 hits
CiteExportLink to record
Permanent link

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