25th Annual International Computer Software and Applications Conference (COMPSAC'01)
Requirement-Based Automated Black-Box Test Generation
Chicago, Illinois
October 08-October 12
ISBN: 0-7695-1372-7
Testing large software systems is very laborious and expensive. Model-based test generation techniques are used to automatically generate tests for large software systems. However, these techniques require manually created system models that are used for test generation. In addition, generated test cases are not associated with individual requirements. In this paper, we present a novel approach of requirement-based test generation. The approach accepts a software specification as a set of individual requirements expressed in textual and SDL formats (a common practice in the industry). From these requirements, system model is automatically created with requirement information mapped to the model. The system model is used to automatically generate test cases related to individual requirements. Several test generation strategies are presented. The approach is extended to requirement-based regression test generation related to changes on the requirement level. Our initial experience shows that this approach may provide significant benefits in terms of reduction of number test cases and increase in quality of a test suite.
Index Terms:
Requirements, Regression Testing, System Model, SDL, EFSM, Automated Test Generation, Selective Testing, Black-Box Testing, System Testing.
Citation:
Luay Ho Tahat, Atef J. Bader, Boris Vaysburg, Bogdan Korel, "Requirement-Based Automated Black-Box Test Generation," compsac, pp.489, 25th Annual International Computer Software and Applications Conference (COMPSAC'01), 2001