Paper Info
Title
SAGA Toolbox: Interactive Testing of Guarded Assertions
Abstract
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.
Year
DOI
Venue
2017
10.1109/ICST.2017.59
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
Keywords
Field
DocType
Interactive testing tool,Test sequence generation,Guarded assertions
Test harness,Test suite,System under test,Programming language,Test Management Approach,Computer science,Toolbox,Test script,Real-time computing,Test engineer,Test case,Operating system
Conference
ISSN
ISBN
Citations 
2381-2834
978-1-5090-6032-0
2
PageRank 
References 
Authors
0.38
10
3
Name
Order
Citations
PageRank
Daniel Flemström1142.97
Thomas Gustafsson281.89
Avenir Kobetski3377.33