Title
Automated test-design from requirements: the Specmate tool.
Abstract
Designing a small set of tests that nonetheless cover the requirements sufficiently is tantamount to keep costs for testing at bay while still maintaining the necessary quality. Engineering an optimal test-suite requires both, insight into the domain and the system under test, but also carefully examining the combinatorics inherent in the requirements. Especially the second part is a cognitive challenge and systematic methods are cumbersome when performed by hand. In this paper, we present Specmate, a tool that supports and partly automates the design of tests from requirements. It provides light-weight modeling techniques to capture requirements, test generation facilities to create test specifications and further supporting functions to derive test procedures or test-scripts from specifications. Specmate has been developed and evaluated in the context of one of the core business systems of Allianz Deutschland, a large insurance company. The source code is freely available at GitHub and an online-demo of Specmate is available at http://specmate.in.tum.de.
Year
Venue
DocType
2018
RET@ICSE
Conference
ISBN
Citations 
PageRank 
978-1-4503-5749-4
0
0.34
References 
Authors
0
5
Name
Order
Citations
PageRank
Dietmar Freudenstein100.34
Jeannette Radduenz200.34
Maximilian Junker3628.73
Sebastian Eder4476.27
Benedikt Hauptmann5879.13