Reference information for the software verification and validation process

Computing systems may be employed in the health care environment in efforts to increase reliability of care and reduce costs. Software verification'and validation (V&V) is an aid in determining that the software requirements are implemented correctly and completely and are traceable to system requirements. It helps to ensure that those system functions controlled by software are secure, reliable, and maintainable. Software V &V is conducted throughout the planning, development and maintenance of software systems, including knowledge-based systems, and may assist in assuring appropriate reuse of software.

[1]  John E. Gaffney,et al.  Software Function, Source Lines of Code, and Development Effort Prediction: A Software Science Validation , 1983, IEEE Transactions on Software Engineering.

[2]  J. Voas,et al.  Software Testability: The New Verification , 1995, IEEE Softw..

[3]  David Davenport,et al.  Intelligent Systems: The Weakest Link? , 1993 .

[4]  Jeffrey M. Voas,et al.  PIE: A Dynamic Failure-Based Technique , 1992, IEEE Trans. Software Eng..

[5]  Jay M. Tenenbaum,et al.  An intelligent agent framework for enterprise integration , 1991, IEEE Trans. Syst. Man Cybern..

[6]  James W. Hooper,et al.  Software Reuse: Guidelines and Methods , 1991 .

[7]  Nancy G. Leveson,et al.  An investigation of the Therac-25 accidents , 1993, Computer.

[8]  John D. Musa,et al.  Quantifying Software Validation: When to Stop Testing? , 1989, IEEE Softw..

[9]  Paul Rook,et al.  Software Reliability Handbook , 1990 .

[10]  John D. Gannon,et al.  Verification and Validation , 1997, The Computer Science and Engineering Handbook.

[11]  Erik Hollnagel,et al.  The Intelligent Use of Intelligent Systems , 1993 .

[12]  Will Tracz,et al.  Tutorial: Software Reuse: Emerging Technology , 1988 .

[13]  Wei-Tek Tsai,et al.  Comparative evaluation of expert system testing methods , 1992, Proceedings Fourth International Conference on Tools with Artificial Intelligence TAI '92.

[14]  Jeannette M. Wing.  A specifier's introduction to formal methods , 1990, Computer.

[15]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[16]  Peter Freeman,et al.  Tutorial, software reusability , 1987 .

[17]  A. Terry Bahill,et al.  Verifying and Validating Personal Computer-Based Expert Systems , 1991 .

[18]  L. Foner.  What''s an Agent, Anyway? A Sociological Case Study. MIT Media Lab , 1997 .

[19]  Sarah Brocklehurst,et al.  Recalibrating Software Reliability Models , 1990, IEEE Trans. Software Eng..

[20]  Victor R. Basili,et al.  Comparing the Effectiveness of Software Testing Strategies , 1987, IEEE Transactions on Software Engineering.

[21]  Ricky W. Butler,et al.  The infeasibility of experimental quantification of life-critical software reliability , 1991 .