Verification, validation and testing in software engineering / Aristides Dasso, Ana Funes [editors].
Material type: TextPublication details: Hershey, PA : Idea Group Pub., c2007.Description: xi, 428 p. : ill. ; 26 cmISBN:- 9781591408529
- 005.14 22
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
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.