Introduction to Software Verification and Validation.pdfVIP

Introduction to Software Verification and Validation SEI Curriculum Module SEI-CM-13-1.1 December 1988 James S. Collofello Arizona State University Carnegie Mellon University Software Engineering Institute This work was sponsored by the U.S. Department of Defense. Approved for public release. Distribution unlimited. The Software Engineering Institute (SEI) is a federally funded research and development center, operated by Carnegie Mellon University under contract with the United States Department of Defense. The SEI Education Program is developing a wide range of materials to support software engineering education. A curriculum module identifies and outlines the content of a specific topic area, and is intended to be used by an instructor in designing a course. A support materials package includes materials helpful in teaching a course. Other materials under development include model curricula, textbooks, educational software, and a variety of reports and proceedings. SEI educational materials are being made available to educators throughout the academic, industrial, and government communities. The use of these materials in a course does not in any way constitute an endorsement of the course by the SEI, by Carnegie Mellon University, or by the United States government. SEI curriculum modules may be copied or incorporated into other materials, but not for profit, provided that appropriate credit is given to the SEI and to the original author of the materials. Comments on SEI educational publications, reports concerning their use, and requests for additional information should be addressed to the Director of Education, Software Engineering Institute,