Verification, validation and testing in software engineering
Validation and verification is an area of software engineering that has been around since the early stages of program development, especially one of its more known areas: testing. Testing, the dynamic side of validation and verification (V&V), has been complemented with other, more formal techni...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic |
| Language: | English |
| Published: |
Hershey, Pa. :
IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),
c2007.
|
| Subjects: | |
| Online Access: | View fulltext via EzAccess |
| Summary: | Validation and verification is an area of software engineering that has been around since the early stages of program development, especially one of its more known areas: testing. Testing, the dynamic side of validation and verification (V&V), has been complemented with other, more formal techniques of software engineering, and so the static verification--traditional in formal methods--has been joined by model checking and other techniques. This book offers thorough coverage of many valuable formal and semiformal techniques of V&V. It explores, depicts, and provides examples of different applications in V&V that produce many areas of software development--including real-time applications--where V&V techniques are required. |
|---|---|
| Physical Description: | electronic texts (xi, 428 p. : ill.) : digital files. Also available in print. |
| Format: | Mode of access: World Wide Web. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 1591408539 (ebook) 9781591408536 (ebook) |
| Access: | Restricted to subscribers or individual electronic text purchasers. |