Software Engineering
Survey Maps Landscape of Requirements-Based Test Generation in Software Quality Assurance
A comprehensive review documents three decades of approaches, tools, and applications in testing software against user requirements without access to source code.
Researchers have published a comprehensive survey examining requirements-based test generation (RBTG), a method for creating test cases grounded directly in software requirements rather than source code inspection or other approaches. The work traces the evolution of RBTG from its inception in 1994 to the present day.
What Is Requirements-Based Test Generation?#
RBTG constructs test cases by working from documented software requirements, ensuring that testing aligns with what users expect the system to do. A key advantage of this approach is that it does not require access to the underlying source code—a constraint that makes it valuable in contexts where code visibility is limited or where requirements serve as the primary specification.
Scope of the Survey#
The study categorizes and analyzes the major components of the RBTG field:
- Requirement types — the different forms in which specifications may be captured
- Methodological approaches — techniques and strategies for deriving test cases from requirements
- Test case varieties — the kinds of tests that can be generated and executed
- Available tools — software implementations supporting RBTG workflows
- Evaluation methods — how researchers and practitioners assess the effectiveness of RBTG approaches
- Real-world applications — industrial use cases and domain-specific deployments
Impact and Future Directions#
Over the past three decades, RBTG has accumulated a growing body of contributions spanning academic research and practical tool development. The survey identifies open research challenges and suggests avenues for future work, reflecting the field's continued relevance to software quality assurance and the broader goal of delivering reliable systems that meet user expectations.