https://www.mdu.se/

mdu.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
Architecture-Based Regression Verification of AADL Specifications
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-1844-7874
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-0904-3712
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-4040-3480
(English)Manuscript (preprint) (Other academic)
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.

National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:mdh:diva-19039OAI: oai:DiVA.org:mdh-19039DiVA, id: diva2:622501
Note

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

Available from: 2013-05-22 Created: 2013-05-22 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records

Johnsen, AndreasLundqvist, KristinaPettersson, Paul

Search in DiVA

By author/editor
Johnsen, AndreasLundqvist, KristinaPettersson, Paul
By organisation
School of Innovation, Design and Engineering
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 113 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