On the State of the Art in Requirements-based Validation and Test ofSoftware

Authors:
Johannes Ryser;Stefan Berner;Martin Glinz
Affiliations:
-;-;-
Venue:
On the State of the Art in Requirements-based Validation and Test ofSoftware
Year:
1999

Citing 0
Cited 3

Automatic Test Generation: A Use Case Driven Approach

IEEE Transactions on Software Engineering
System testing using use cases for simulation model of an emergency room

International Journal of Advanced Intelligence Paradigms
Requirements Traceability within Model-Based Testing: Applying Path Fragments and Temporal Logic

International Journal of Embedded and Real-Time Communication Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Validation of requirements and verification of software are crucial activities in the software development process since they essentially determine the quality of the software product and account for a big part of the overall development cost and use of resources. Only these activities can ensure that user requirements - whether they be explicit or only implicit - are met. This report overviews current methods and approaches towards validation of requirements and requirements-based testing.