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 mutation-based testing of timeliness
Högskolan i Skövde, Institutionen för kommunikation och information. (Distributed Real-time Systems (DRTS))
Information and Software Engineering, George Mason University, Fairfax Virginia, USA.ORCID-id: 0000-0002-8657-2557
Högskolan i Skövde, Institutionen för kommunikation och information. (Distributed Real-time Systems (DRTS))ORCID-id: 0000-0002-5223-4381
2006 (engelsk)Inngår i: Electronic Notes in Theoretical Computer Science, E-ISSN 1571-0661, Vol. 164, nr 4, s. 97-114Artikkel i tidsskrift (Fagfellevurdert) 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.

sted, utgiver, år, opplag, sider
Elsevier, 2006. Vol. 164, nr 4, s. 97-114
Emneord [en]
Real-time Systems, Mutation Testing, Model based
HSV kategori
Forskningsprogram
Distribuerade realtidssystem (DRTS)
Identifikatorer
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
Konferanse
Second Workshop on Model Based Testing 2006 (MBT 2006), 25-26 March 2006, Vienna, Austria
Merknad

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

Tilgjengelig fra: 2007-10-12 Laget: 2007-10-12 Sist oppdatert: 2024-07-04bibliografisk kontrollert

Open Access i DiVA

fulltext(301 kB)97 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 301 kBChecksum SHA-512
48d6fc25015422e0f74d83671c0ab7b82495231bbb48089218b6968e62ce216d535f3065d489265f19b103ce84eaa446834c12ffb9bc33049d0366941b236916
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Person

Nilsson, RobertOffutt, JeffMellin, Jonas

Søk i DiVA

Av forfatter/redaktør
Nilsson, RobertOffutt, JeffMellin, Jonas
Av organisasjonen
I samme tidsskrift
Electronic Notes in Theoretical Computer Science

Søk utenfor DiVA

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

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 868 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