Independent Verification and Validation

Independent Verification and Validation

Author: Robert O. Lewis

Publisher: John Wiley & Sons

Published: 1992-11-11

Total Pages: 388

ISBN-13: 9780471570110

DOWNLOAD EBOOK

Comprehensive and up-to-date, it covers the most vital part of software development, independent verification and validation. Presents a variety of methods that will ensure better quality, performance, cost and reliability of technical products and systems. Features numerous hints, tips and instructions for better interaction between verification and validation personnel, development engineers and managers. Includes 8 case histories ranging from major engineering systems through information systems. Many of the principles involved also apply to computer hardware as well as the fields of science and engineering.


Software Verification and Validation

Software Verification and Validation

Author: Marcus S. Fisher

Publisher: Springer Science & Business Media

Published: 2007-12-03

Total Pages: 178

ISBN-13: 0387479392

DOWNLOAD EBOOK

This book fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varities of system software. The intent is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? and 2) Are we building the software right? Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry. The book is also suitable as a secondary textbook for advanced-level students in computer science and engineering.


The Software Audit Guide

The Software Audit Guide

Author: John W. Helgeson

Publisher: Quality Press

Published: 2009-06-01

Total Pages: 289

ISBN-13: 0873890809

DOWNLOAD EBOOK

Audit – now there’s a word that can strike terror into your heart. Whether it’s the IRS looking over your shoulder or a quality tool utilized by your company, it requires accountability. A software audit monitors the development process and provides management with an independent view of the software development status. The purpose of this book is to remove the terror and error while improving the audit process. Software is not produced on a production line; the only thing that is the same on all software projects is that there is input and output. Everything in the middle is customized for the project at hand. Thus, The Software Audit Guide does not contain a one-size-fits-all approach. It gives a choice of areas to audit and different questions that should be asked within these areas. This book provides a flexible, user-friendly checklist of more than 1,300 questions designed to stimulate creative thinking that will ultimately result in the best possible software audit.


Guidelines for the Verification and Validation of Expert System Software and Conventional Software

Guidelines for the Verification and Validation of Expert System Software and Conventional Software

Author:

Publisher:

Published: 1995

Total Pages: 176

ISBN-13:

DOWNLOAD EBOOK

By means of a literature survey, a comprehensive set of methods was identified for the verification and validation of conventional software. The 153 methods so identified were classified according to their appropriateness for various phases of a developmental life-cycle -- requirements, design, and implementation; the last category was subdivided into two, static testing and dynamic testing methods. The methods were then characterized in terms of eight rating factors, four concerning ease-of-use of the methods and four concerning the methods' power to detect defects. Based on these factors, two measurements were developed to permit quantitative comparisons among methods, a Cost-Benefit metric and an Effectiveness Metric. The Effectiveness Metric was further refined to provide three different estimates for each method, depending on three classes of needed stringency of V & V (determined by ratings of a system's complexity and required-integrity). Methods were then rank-ordered for each of the three classes by terms of their overall cost-benefits and effectiveness. The applicability was then assessed of each for the identified components of knowledge-based and expert systems, as well as the system as a whole.


Simulation Training

Simulation Training

Author: Barry W. Holman

Publisher: DIANE Publishing

Published: 1997-02

Total Pages: 62

ISBN-13: 0788141333

DOWNLOAD EBOOK

Describes the evolving coordination of simulation activities under the auspices of the Defense Modeling and Simulation Office within DoD. Also addresses the Army's efforts to strengthen the management of its simulation programs, with a particular focus on the acquisition of the Close Combat Tactical Trainer (CCTT). Also includes a review of the Army's CCTT acquisition plan to ensure that it provided for: high level mgmt. oversight, system interoperability, and integration of the system with more traditional forms of training for greater cost effectiveness.


Verification, Validation and Testing in Software Engineering

Verification, Validation and Testing in Software Engineering

Author: Aristides Dasso

Publisher: IGI Global

Published: 2007-01-01

Total Pages: 443

ISBN-13: 1591408512

DOWNLOAD EBOOK

"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"--Provided by publisher.


Software Measurement

Software Measurement

Author: Christof Ebert

Publisher: Springer Science & Business Media

Published: 2007-07-25

Total Pages: 568

ISBN-13: 3540716491

DOWNLOAD EBOOK

In this comprehensive introduction to software measurement, Ebert and Dumke detail knowledge and experiences about the subject in an easily understood, hands-on presentation. The book describes software measurement in theory and practice as well as provides guidance to all relevant measurement tools and online references. In addition, it presents hands-on experience from industry leaders and provides many examples and case studies from Global 100 companies. Besides the many practical hints and checklists, readers will also appreciate the large reference list, which includes links to metrics communities where project experiences are shared.