Verification, Validation and Testing in Software Engineering

Front Cover
Aristides Dasso, Ana Funes
Idea Group Inc (IGI), Jan 1, 2007 - Computers - 428 pages
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. Verification, Validation and Testing in Software Engineering 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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

FaultBased Testing
1
Validation and Verification of Software Systems using Virtual Reality and Coloured Petri Nets
24
ChIII Integrating Usability Semiotic and Software Engineering into a Method for Evaluating User Interfaces
47
Automated Software Testing
71
A Formal Verification and Validation Approach for RealTime Databases
96
Requirements for the Testable Specifications and Test Case Derivation in Conformance Testing
118
TestCase Mutation
136
Discrete Event Simulation Process Validation Verification and Testing
154
Certifying Properties of Programs using theorem Provers
220
Static Type Systems From Specification to Implementation
268
Generic Model of the Business Model and Its Formalization in ObjectZ
317
Efficient Software Quality Assurance Approaches Oriented to UML Models in Real Life
341
Safecharts model Checking for the Verification of SafteyCritical Systems
378
About the Authors
413
Index
421
Copyright

The STECC Framework An Architecture for SelfTestable Components
185

Other editions - View all

Common terms and phrases

Bibliographic information