Högskolan i Skövde

his.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Test case generation for testing of timeliness: Extended version
Högskolan i Skövde, Institutionen för kommunikation och information.
Högskolan i Skövde, Institutionen för kommunikation och information.
Högskolan i Skövde, Institutionen för kommunikation och information.
2005 (engelsk)Rapport (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Skövde: Institutionen för kommunikation och information , 2005. , s. 22
Serie
IKI Technical Reports ; HS-IKI-TR-05-003
HSV kategori
Identifikatorer
URN: urn:nbn:se:his:diva-1277OAI: oai:DiVA.org:his-1277DiVA, id: diva2:2414
Tilgjengelig fra: 2008-06-17 Laget: 2008-06-17 Sist oppdatert: 2018-01-13bibliografisk kontrollert

Open Access i DiVA

fulltekst(208 kB)803 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 208 kBChecksum MD5
0526b70818e2dccb78130cd26132cd90ef9085e937f7873ef83e8e339c44606cb923b2dd
Type fulltextMimetype application/pdf

Person

Nilsson, RobertOffutt, JeffMellin, Jonas

Søk i DiVA

Av forfatter/redaktør
Nilsson, RobertOffutt, JeffMellin, Jonas
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 803 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 1055 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf