his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Research Proposal: Strategy for Platform Independent Testing
University of Skövde, School of Humanities and Informatics. (DRTS, Distributed Real-Time Systems Research Group)
2012 (English)Report (Other academic)
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.

Place, publisher, year, edition, pages
Skövde: Institutionen för kommunikation och information , 2012. , 22 p.
Series
IKI Technical Reports, HS-IKI-TR-12-002
Keyword [en]
model-based development, software testing, verification
National Category
Computer Science
Research subject
Technology
Identifiers
URN: urn:nbn:se:his:diva-6005OAI: oai:DiVA.org:his-6005DiVA: diva2:533327
Projects
En strategi för plattformsoberoende testning
Note

Huvudhandledare: Sten F. Andler

Primärhandledare: Birgitta Lindström

Bihandledare: Jeff Offutt

Available from: 2012-06-13 Created: 2012-06-13 Last updated: 2015-01-19Bibliographically approved

Open Access in DiVA

Reserach Proposal: Strategy for Platform Independent Testing(272 kB)819 downloads
File information
File name FULLTEXT01.pdfFile size 272 kBChecksum SHA-512
bdcf2dd89d257b76f6ad09a36377c98555dc51182857c8596d7fc0a44da892db750138b40d394bbaf50cf7831076794e9e2b9320f753e36be8eb2f366d8069f8
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Eriksson, Anders
By organisation
School of Humanities and Informatics
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 819 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 902 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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