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

Direct link
Referera
Referensformat
  • apa
  • 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
Architecture-Based Regression Verification of AADL Specifications
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-1844-7874
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-0904-3712
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-4040-3480
(engelsk)Manuskript (preprint) (Annet vitenskapelig)
Abstract [en]

Design artifacts of dependable embedded systems, and the systems themselves, are subjected to a number of modifications during the development process. Verified artifacts that subsequently are modified must necessarily be re-verified to ensure that no faults have been introduced in response to the modification. We collectively call this type of verification as regression verification. Studies show that regression testing alone consumes a vast amount of the total development cost. This is likely a result of unnecessary verification of parts that are not affected by the modification. In this paper, we propose an architecture-based selective regression verification technique for the development process of dependable embedded systems specified in the Architecture Analysis and Design Language (AADL). The selection of necessary regression verification sequences is based on the concept of specification slicing through System Dependence Graphs (SDGs). This allows for the avoidance of unnecessary re-verification, and thereby unnecessary costs.

HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-19039OAI: oai:DiVA.org:mdh-19039DiVA, id: diva2:622501
Merknad

Artikeln är inlämnad till en konferens för granskning.

Tilgjengelig fra: 2013-05-22 Laget: 2013-05-22 Sist oppdatert: 2013-12-03bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Personposter BETA

Johnsen, AndreasLundqvist, KristinaPettersson, Paul

Søk i DiVA

Av forfatter/redaktør
Johnsen, AndreasLundqvist, KristinaPettersson, Paul
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

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

Direct link
Referera
Referensformat
  • apa
  • 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