Abstract
The Test Template Framework (TTF) is a model-based testing method for the Z notation, originally proposed for unit testing. In this paper we analyze how the TTF can be extended to integration testing. Since integration testing is related to software design, we decided to investigate the relation between the TTF and the uses relation, a key element in David Parnas' design theory. We propose how a Z specification should be structured for the TTF to be able to generate integration tests by following the relation. The problem of stub generation and the kinds of errors that these integration tests can discover are also discussed. © 2014 Springer-Verlag.
Cite
CITATION STYLE
Cristiá, M., Mesuro, J., & Frydman, C. (2014). Integration testing in the test template framework. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8411 LNCS, pp. 400–414). Springer Verlag. https://doi.org/10.1007/978-3-642-54804-8_28
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
