Högskolan i Skövde

his.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • apa-cv
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Rapport (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Skövde: Institutionen för kommunikation och information , 2005. , s. 22
Serie
IKI Technical Reports ; HS-IKI-TR-05-003
Nationell ämneskategori
Systemvetenskap, informationssystem och informatik
Identifikatorer
URN: urn:nbn:se:his:diva-1277OAI: oai:DiVA.org:his-1277DiVA, id: diva2:2414
Tillgänglig från: 2008-06-17 Skapad: 2008-06-17 Senast uppdaterad: 2018-01-13Bibliografiskt granskad

Open Access i DiVA

fulltext(208 kB)803 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 208 kBChecksumma MD5
0526b70818e2dccb78130cd26132cd90ef9085e937f7873ef83e8e339c44606cb923b2dd
Typ fulltextMimetyp application/pdf

Person

Nilsson, RobertOffutt, JeffMellin, Jonas

Sök vidare i DiVA

Av författaren/redaktören
Nilsson, RobertOffutt, JeffMellin, Jonas
Av organisationen
Institutionen för kommunikation och information
Systemvetenskap, informationssystem och informatik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 803 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 1055 träffar
RefereraExporteraLänk till posten
Permanent länk

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