Validation and Testing

Dieter Hogrefe, Beat Koch, Helmut Neukirchen

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
2011 © Software Engineering For Distributed Systems Group

Main menu 2