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
SAGA Toolbox: Interactive Testing of Guarded Assertions
Malardalen Univ., Sweden.
Scania CV AB, Sweden.
RISE - Research Institutes of Sweden, ICT, SICS.
2017 (English)In: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, 2017, 516-523 p.Conference 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. 516-523 p.
Keyword [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 OAI: oai:DiVA.org:ri-30921DiVA: 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: 2017-09-07Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus
By organisation
SICS
Natural Sciences

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

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.27.0