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
SAGA Toolbox: Interactive Testing of Guarded Assertions
RISE - Research Institutes of Sweden, ICT, SICS. (Software and Systems Engineering Laboratory,)ORCID iD: 0000-0001-8096-3592
Scania CV AB, Sweden.
RISE - Research Institutes of Sweden, ICT, SICS.ORCID iD: 0000-0003-2801-8037
2017 (English)In: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, 2017, p. 516-523Conference paper, Published paper (Refereed)
Abstract [en]

This paper presents the SAGA toolbox. It centers around development of tests, and analysis of test results, on Guarded Assertions (GA) format. Such a test defines when to test, and what to expect in such a state. The SAGA toolbox lets the user describe the test, and at the same time get immediate feedback on the test result based on a trace from the System Under Test (SUT). The feedback is visual using plots of the trace. This enables the test engineer to play around with the data and use an agile development method, since the data is already there. Moreover, the SAGA toolbox also enables the test engineer to change test stimuli plots to study the effect they have on a test. It can later generate computer programs that can feed these test stimuli to the SUT. This enables an interactive feedback loop, where immediate feedback on changes to the test, or to the test stimuli, indicate whether the test is correct and it passed or failed.

Place, publisher, year, edition, pages
2017. p. 516-523
Keywords [en]
Guarded assertions, Interactive testing tool, Test sequence generation, Verification, Agile development methods, Immediate feedbacks, Interactive feedback, System under test, Test engineers, Test sequence generations, Testing tools, Software testing
National Category
Natural Sciences
Identifiers
URN: urn:nbn:se:ri:diva-30921DOI: 10.1109/ICST.2017.59Scopus ID: 2-s2.0-85020696155ISBN: 9781509060313 (print)OAI: oai:DiVA.org:ri-30921DiVA, id: diva2:1139286
Conference
10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, 13 March 2017 through 17 March 2017
Available from: 2017-09-07 Created: 2017-09-07 Last updated: 2023-05-16Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Flemström, DanielKobetski, Avenir

Search in DiVA

By author/editor
Flemström, DanielKobetski, Avenir
By organisation
SICS
Natural Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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