his.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
Research Proposal: Strategy for Platform Independent Testing
Högskolan i Skövde, Institutionen för kommunikation och information. (DRTS, Distributed Real-Time Systems Research Group)
2012 (engelsk)Rapport (Annet vitenskapelig)
Abstract [en]

This work addresses problems associated with software testing in a Model Driven Development (MDD) environment. Today, it is possible to create platform independent models that can be executed and therefore, dynamically tested. However, when developing safety-critical software systems there is a requirement to show that the set of test cases covers the structure of the implementation. Since the structure of the implementation might vary depending on e.g., compiler and target language, this is normally done by transforming the design model to code, which is compiled and executed by tests until full coverage of the code structure is reached. The problem with such approach is that testing becomes platform dependent. Moving the system from one platform to another becomes time-consuming since the test activities to a large extent must start again for the new platform. To meet the goals of MDD, we need methods that allow us to perform structural coverage analysis on platform independent models in a way that covers as much as possible of the the structure of any implementation. Moreover, such method must enable us to trace specific test artifacts between the platform independent model and the generated code. Without such trace a complete analysis must be done at code level and much of the advantage of MDD is lost. 

We propose a framework for structural coverage analysis at a platform independent level. The framework includes: (i ) functionality for generation of test requirements, (ii ) creation of structural variants with respect to the translation to code, and (iii ) traceability between test artifacts at different design levels. The proposed framework uses a separate representation for structural constructs involved in coverage criteria for software in safety-critical systems. The representation makes it possible to create variants of structural constructs already at the top design level. These variants represent potential differences in the structure at lower design levels, e.g., target language or executable object code. Test requirements are then generated for all variants, thus covering the structure of different implementations. Test suites created to satisfy these test requirements are therefore, robust to different implementations.

sted, utgiver, år, opplag, sider
Skövde: Institutionen för kommunikation och information , 2012. , s. 22
Serie
IKI Technical Reports ; HS-IKI-TR-12-002
Emneord [en]
model-based development, software testing, verification
HSV kategori
Forskningsprogram
Teknik
Identifikatorer
URN: urn:nbn:se:his:diva-6005OAI: oai:DiVA.org:his-6005DiVA, id: diva2:533327
Prosjekter
En strategi för plattformsoberoende testning
Merknad

Huvudhandledare: Sten F. Andler

Primärhandledare: Birgitta Lindström

Bihandledare: Jeff Offutt

Tilgjengelig fra: 2012-06-13 Laget: 2012-06-13 Sist oppdatert: 2018-01-12bibliografisk kontrollert

Open Access i DiVA

Reserach Proposal: Strategy for Platform Independent Testing(272 kB)931 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 272 kBChecksum SHA-512
bdcf2dd89d257b76f6ad09a36377c98555dc51182857c8596d7fc0a44da892db750138b40d394bbaf50cf7831076794e9e2b9320f753e36be8eb2f366d8069f8
Type fulltextMimetype application/pdf

Personposter BETA

Eriksson, Anders

Søk i DiVA

Av forfatter/redaktør
Eriksson, Anders
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 931 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: 1173 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