mdh.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
From natural language requirements to passive test cases using guarded assertions
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0001-8096-3592
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-2416-4205
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-0611-2655
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-5032-2310
Show others and affiliations
2018 (English)In: Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security, QRS 2018, Institute of Electrical and Electronics Engineers Inc. , 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
Institute of Electrical and Electronics Engineers Inc. , 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
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-40744DOI: 10.1109/QRS.2018.00060Scopus ID: 2-s2.0-85052319900ISBN: 9781538677575 OAI: oai:DiVA.org:mdh-40744DiVA, id: diva2:1246526
Conference
18th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2018, 16 July 2018 through 20 July 2018
Available from: 2018-09-07 Created: 2018-09-07 Last updated: 2018-10-31Bibliographically approved

Open Access in DiVA

fulltext(408 kB)11 downloads
File information
File name FULLTEXT01.pdfFile size 408 kBChecksum SHA-512
d4df2ddf1f488f462ee8daf6d76590271196079bd6ca765ace32274f6f3d4172835d226d9e17a763099ee4bdd771931ab701e57b275a642fe6b420532b0ce6e4
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records BETA

Flemström, DanielEnoiu, Eduard PaulAfzal, WasifDaniel, Sundmark

Search in DiVA

By author/editor
Flemström, DanielEnoiu, Eduard PaulAfzal, WasifDaniel, Sundmark
By organisation
Embedded Systems
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 11 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

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 40 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