Verification, Validation and Testing in Software Engineering

✍ Scribed by Aristides Dasso, Aristides Dasso; Ana Funes

Publisher: IGI Global
Year: 2006
Tongue: English
Leaves: 443
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Table of Contents

1591408512......Page 1
Copyright Page......Page 3
Tabe of Contents......Page 4
Preface......Page 7
Acknowledgements......Page 12
Ch. I: Fault-Based Testing......Page 14
Ch. II: Validation and Verification of Software Systems using Virtual Reality and Coloured Petri Nets......Page 37
Ch.III Integrating Usability, Semiotic, and Software Engineering into a Method for Evaluating User Interfaces......Page 60
Ch. IV: Automated Software Testing......Page 84
Ch. V: A Formal Verification and Validation Approach for Real-Time Databases......Page 109
Ch. VI: Requirements for the Testable Specifications and Test Case Derivation in Conformance Testing......Page 131
Ch. VII: Test-Case Mutation......Page 149
Ch. VIII: Discrete Event Simulation Process Validation, Verification, and Testing......Page 167
Ch.IX: The STECC Framework: An Architecture for Self-Testable Components......Page 198
Ch. X: Certifying Properties of Programs using theorem Provers......Page 233
Ch. XI: Static Type Systems: From Specification to Implementation......Page 281
Ch. XII: Generic Model of the Business Model and Its Formalization in Object-Z......Page 330
Ch. XIII: Efficient Software Quality Assurance Approaches Oriented to UML Models in Real Life......Page 354
Ch. XIV: Safecharts model Checking for the Verification of Saftey-Critical Systems......Page 391
About the Authors......Page 426
Index......Page 434

📜 SIMILAR VOLUMES

Software Quality Approaches: Testing, Ve

📁 Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1

✍ Michael Haug, Eric W. Olsen, Luisa Consolini (auth.), Michael Haug, Eric W. Olse 📂 Library 📅 2001 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book is a result of the European Experience Exchange (EUREX) project sponsored by the European Systems and Software Initiative for Software Best Practice in Europe. The EUREX project analyzed the industrial and economic impact and the common aspects and differences between and among more tha

Software Verification and Validation: An

📁 Software Verification and Validation: An Engineering and Scientific Approach

✍ Marcus S. Fisher (auth.) 📂 Library 📅 2007 🏛 Springer US 🌐 English

The World is lacking an in-depth technical book describing the methods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in today's market, but private industry and academia are as well. The methods and techniques

Software Verification and Validation: An

📁 Software Verification and Validation: An Engineering and Scientific Approach

✍ Marcus S. Fisher 📂 Library 📅 2006 🏛 Springer 🌐 English

The world needs an in-depth technical book describing the methods and techniques used to provide confidence in our system software. In today’s market, not only are governments more focused on software safety, but private industry and academia are as well. The methods and techniques used to provid

Verification, Validation and Testing of

📁 Verification, Validation and Testing of Engineered Systems (Wiley Series in Systems Engineering and Management)

✍ A. Engel 📂 Library 📅 2010 🏛 Wiley 🌐 English

Systems' Verification Validation and Testing (VVT) are carried out throughout systems' lifetimes. Notably, quality-cost expended on performing VVT activities and correcting system defects consumes about half of the overall engineering cost. Verification, Validation and Testing of Engineered Systems

Medical Device Software Verification, Va

📁 Medical Device Software Verification, Validation and Compliance

✍ David A. Vogel 📂 Library 📅 2010 🏛 Artech House 🌐 English

Here s the first book written specifically to help medical device and software engineers, QA and compliance professionals, and corporate business managers better understand and implement critical verification and validation processes for medical device software. Offering you a much broader, higher-l

Verification and Validation of Real-Time

📁 Verification and Validation of Real-Time Software

✍ W. J. Quirk (auth.), William J. Quirk (eds.) 📂 Library 📅 1985 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

W.J.Quirk 1.1 Real-time software and the real world Real-time software and the real world are inseparably related. Real time cannot be turned back and the real world will not always forget its history. The consequences of previous influences may last for a long time and the undesired effects may