Validation and Testing
Abstract
Use of formal specifications provides the basis for allowing validation of the specification towards expected behaviour, and it allows testing of an implementation according to the formal specification. This paper introduces and provides an overview of techniques for validation and testing.
Keywords:
validation, verification, test generation, formal specification
Document Type:
Journal Articles
Journal:
Telektronikk
Pages:
130-136
Month:
12
Year:
2000
Bibtex
2024 © Software Engineering For Distributed Systems Group