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 Freudenstein | 1 | 0 | 0.34 |
Jeannette Radduenz | 2 | 0 | 0.34 |
Maximilian Junker | 3 | 62 | 8.73 |
Sebastian Eder | 4 | 47 | 6.27 |
Benedikt Hauptmann | 5 | 87 | 9.13 |