Cover Image

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

Full description

Bibliographic Details
Corporate Author: IGI Global.
Other Authors: Dasso, Aristides, 1943-, Funes, Ana, 1964-
Format: Electronic
Language:English
Published: Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), c2007.
Subjects:
Computer software > Validation.
Computer software > Verification.
Computer software > Testing.
Online Access:View fulltext via EzAccess
Table of Contents:
  • Fault-Based Testing / Marisa Analía Sánchez
  • Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets / Hyggo Oliveira de Almeida ... [et al.]
  • Integrating Usability, Semiotic, and Software Engineering into a Method for Evaluating User Interfaces / Kenia Sousa, Albert Schilling, Elizabeth Furtado
  • Automated Software Testing / Paula Donegan ... [et al.]
  • A Formal Verification and Validation Approach for Real-Time Databases / Pedro Fernandes Ribeiro Neto ... [et al.]
  • Requirements for the Testable Specifications and Test Case Derivation in Conformance Testing / Tanja Toroi, Anne Eerola
  • Test-Case Mutation / Macario Polo, Mario Piattini
  • Discrete Event Simulation Process Validation, Verification, and Testing / Evon M. O. Abu-Taieh, Asim Abdel Rahman El Sheikh
  • The STECC Framework: An Architecture for Self-Testable Components / Sami Beydeda
  • Certifying Properties of Programs Using Theorem Provers / J. Santiago Jorge, Víctor M. Gulías, David Cabrero
  • Static Type Systems: From Specification to Implementation / Pablo E. Martínez López
  • Generic Model of the Business Model and Its Formalization in Object-Z / Marcela Daniele, Paola Martellotto, Gabriel Baum
  • Efficient Software Quality Assurance Approaches Oriented to UML Models in Real Life / Luis Fernández, Pedro J. Lara, Juan José Cuadrado
  • Safecharts Model Checking for the Verification of Safety-Critical Systems / Pao-Ann Hsiung, Yen-Hung Lin, Yean-Ru Chen.

Similar Items