Accession Number : ADA319071

Title :   Cleanroom Software Engineering Reference Model. Version 1.0.

Descriptive Note : Final rept.,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST

Personal Author(s) : Linger, Richard C. ; Trammell, Carmen J.

PDF Url : ADA319071

Report Date : NOV 1996

Pagination or Media Count : 134

Abstract : Cleanroom software engineering is a theory-based, team-oriented process for development and certification of high reliability software systems under statistical quality control. A principal objective of the Cleanroom process is development of software that exhibits zero failures in use. The Cleanroom name is borrowed from hardware Cleanrooms, with their emphasis on rigorous engineering discipline and focus on defect prevention rather than defect removal. Cleanroom combines mathematically-based methods of software specification, design, and correctness verification with statistical, usage-based testing to certify software fitness for use. Cleanroom projects have reported substantial gains in quality and productivity. This report defines the Cleanroom Software Engineering Reference Model, or CRM. The CRM is expressed in terms of a set of 14 Cleanroom processes and 20 work products. It is intended as a guide for Cleanroom project management and performance, process assessment and improvement, and technology transfer and adoption.

Descriptors :   *SOFTWARE ENGINEERING, *COMPUTER PROGRAM RELIABILITY, *HIGH RELIABILITY, COMPUTER PROGRAMS, REMOVAL, VERIFICATION, TECHNOLOGY TRANSFER, SPECIFICATIONS, COMPUTER PROGRAMMING, STATISTICS, ENGINEERING, QUALITY CONTROL, PRODUCTIVITY, PREVENTION, CLEAN ROOMS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE