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 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 exp.

Title from title screen.

Front Page; Copyright Page; Tabe of Contents; Preface; Acknowledgements; Ch. I: Fault-Based Testing; Ch. II: Validation and Verification of Software Systems using Virtual Reality and Coloured Petri Nets; Ch. III Integrating Usability, Semiotic, and Software Engineering into a Method for Evaluating User Interfaces; Ch. IV: Automated Software Testing; Ch. V: A Formal Verification and Validation Approach for Real-Time Databases; Ch. VI: Requirements for the Testable Specifications and Test Case Derivation in Conformance Testing; Ch. VII: Test-Case Mutation.

Ch. VIII: Discrete Event Simulation Process Validation, Verification, and TestingCh. IX: The STECC Framework: An Architecture for Self-Testable Components; Ch. X: Certifying Properties of Programs using theorem Provers; Ch. XI: Static Type Systems: From Specification to Implementation; Ch. XII: Generic Model of the Business Model and Its Formalization in Object-Z; Ch. XIII: Efficient Software Quality Assurance Approaches Oriented to UML Models in Real Life; Ch. XIV: Safecharts model Checking for the Verification of Saftey-Critical Systems; About the Authors; Index.