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

Direktlänk
Referera
Referensformat
  • apa
  • 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
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 (Engelska)Rapport (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Skövde: Institutionen för kommunikation och information , 2012. , s. 22
Serie
IKI Technical Reports ; HS-IKI-TR-12-002
Nyckelord [en]
model-based development, software testing, verification
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Teknik
Identifikatorer
URN: urn:nbn:se:his:diva-6005OAI: oai:DiVA.org:his-6005DiVA, id: diva2:533327
Projekt
En strategi för plattformsoberoende testning
Anmärkning

Huvudhandledare: Sten F. Andler

Primärhandledare: Birgitta Lindström

Bihandledare: Jeff Offutt

Tillgänglig från: 2012-06-13 Skapad: 2012-06-13 Senast uppdaterad: 2018-01-12Bibliografiskt granskad

Open Access i DiVA

Reserach Proposal: Strategy for Platform Independent Testing(272 kB)931 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 272 kBChecksumma SHA-512
bdcf2dd89d257b76f6ad09a36377c98555dc51182857c8596d7fc0a44da892db750138b40d394bbaf50cf7831076794e9e2b9320f753e36be8eb2f366d8069f8
Typ fulltextMimetyp application/pdf

Personposter BETA

Eriksson, Anders

Sök vidare i DiVA

Av författaren/redaktören
Eriksson, Anders
Av organisationen
Institutionen för kommunikation och information
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 931 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: 1173 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • 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