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
From natural language requirements to passive test cases using guarded assertions
Mälardalen University, Sweden.
Mälardalen University, Sweden.
Mälardalen University, Sweden.
Mälardalen University, Sweden.
Show others and affiliations
2018 (English)In: Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security, QRS 2018, 2018, p. 470-481Conference paper, Published paper (Refereed)
Abstract [en]

In large-scale embedded system development, requirements are often expressed in natural language. Translating these requirements to executable test cases, while keeping the test cases and requirements aligned, is a challenging task. While such a transformation typically requires extensive domain knowledge, we show that a systematic process in combination with passive testing would facilitate the translation as well as linking the requirements to tests. Passive testing approaches observe the behavior of the system and test their correctness without interfering with the normal behavior. We use a specific approach to passive testing: guarded assertions (G/A). This paper presents a method for transforming system requirements expressed in natural language into G/As. We further present a proof of concept evaluation, performed at Bombardier Transportation Sweden AB, in which we show how the process would be used, together with practical advice of the reasoning behind the translation steps.

Place, publisher, year, edition, pages
2018. p. 470-481
Keywords [en]
Computer software selection and evaluation, Embedded systems, Natural language processing systems, Software reliability, Bombardier Transportation, Domain knowledge, Large scale embedded systems, Natural language requirements, Natural languages, Proof of concept, System requirements, Systematic process, Translation (languages)
National Category
Natural Sciences
Identifiers
URN: urn:nbn:se:ri:diva-35663DOI: 10.1109/QRS.2018.00060Scopus ID: 2-s2.0-85052319900ISBN: 9781538677575 (print)OAI: oai:DiVA.org:ri-35663DiVA, id: diva2:1261537
Conference
18th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2018, 16 July 2018 through 20 July 2018
Note

 Funding details: 20130258; Funding details: 20160139; Funding details: Knowledge Foundation; Funding details: FFI, Fellowships Fund Incorporated; Funding details: VINNOVA; Funding details: 737494, ECSEL, Electronic Components and Systems for European Leadership; Funding details: MegaM@Rt2, ECSEL, Electronic Components and Systems for European Leadership; Funding text: ACKNOWLEDGMENT This work was supported by The Knowledge Foundation (KKS) through the projects 20160139 (TESTMINE) and 20130258 (Volvo Chair), by VINNOVA within the FFI program (SAGA) and from the Electronic Component Systems for European Leadership Joint Undertaking under grant agreement No. 737494 (MegaM@Rt2).

Available from: 2018-11-07 Created: 2018-11-07 Last updated: 2018-11-07Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Kobetski, Avenir

Search in DiVA

By author/editor
Kobetski, Avenir
By organisation
SICS
Natural Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
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
v. 2.35.7