Amazon cover image
Image from Amazon.com
Image from Google Jackets

Verification, validation and testing in software engineering / Aristides Dasso, Ana Funes [editors].

Contributor(s): Material type: TextTextPublication details: Hershey, PA : Idea Group Pub., c2007.Description: xi, 428 p. : ill. ; 26 cmISBN:
  • 9781591408529
Subject(s): DDC classification:
  • 005.14   22
Contents:
FaultBased Testing -- Validation and Verification of Software Systems using Virtual Reality and Coloured Petri Nets -- ChIII Integrating Usability Semiotic and Software Engineering into a Method for Evaluating User Interfaces -- Automated Software Testing -- A Formal Verification and Validation Approach for RealTime Databases -- Requirements for the Testable Specifications and Test Case Derivation in Conformance Testing -- TestCase Mutation -- Discrete Event Simulation Process Validation Verification and Testing -- The STECC Framework An Architecture for SelfTestable Components -- Certifying Properties of Programs using theorem Provers -- Static Type Systems From Specification to Implementation -- Generic Model of the Business Model and Its Formalization in ObjectZ -- Efficient Software Quality Assurance Approaches Oriented to UML Models in Real Life -- Safecharts model Checking for the Verification of SafteyCritical Systems -- About the Authors -- Index.
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 techniquesSummary: This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications"
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Books Books Main library General Stacks 005.14 / DA.V 2007 (Browse shelf(Opens below)) 1 Available 000537

Includes bibliographical references and index.

FaultBased Testing -- Validation and Verification of Software Systems using Virtual Reality and Coloured Petri Nets -- ChIII Integrating Usability Semiotic and Software Engineering into a Method for Evaluating User Interfaces -- Automated Software Testing -- A Formal Verification and Validation Approach for RealTime Databases -- Requirements for the Testable Specifications and Test Case Derivation in Conformance Testing -- TestCase Mutation -- Discrete Event Simulation Process Validation Verification and Testing -- The STECC Framework An Architecture for SelfTestable Components -- Certifying Properties of Programs using theorem Provers -- Static Type Systems From Specification to Implementation -- Generic Model of the Business Model and Its Formalization in ObjectZ -- Efficient Software Quality Assurance Approaches Oriented to UML Models in Real Life -- Safecharts model Checking for the Verification of SafteyCritical Systems -- About the Authors -- Index.

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 explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications"

1

There are no comments on this title.

to post a comment.