Cleanroom Software Engineering: Technology and Process
- By Stacy J. Prowell, Carmen J. Trammell, Richard C. Linger, Jesse H. Poore
- Published Mar 9, 1999 by Addison-Wesley Professional. Part of the SEI Series in Software Engineering series.
- Copyright 1999
- Dimensions: 6-1/4x9-1/4
- Pages: 416
- Edition: 1st
- ISBN-10: 0-201-85480-5
- ISBN-13: 978-0-201-85480-0
- eBook (Adobe DRM)
- ISBN-10: 0-7686-8484-6
- ISBN-13: 978-0-7686-8484-1
Register your product to gain access to bonus material or receive a coupon.
A detailed guide on the cleanroom engineering process.
Product Author Bios
Stacy J. Prowell is a member of the technical staff at Q-Labs, and is the principal inventor of the sequence-based specification method.
Carmen J. Trammell is Manager of Software Quality at CTI-PET Systems, a leading medical imaging company that is integrating Cleanroom technology into product development.
Richard C. Linger is a Visiting Scientist at Carnegie Mellon University's Software Engineering Institute. During his career at IBM he worked with Harlan D. Mills to develop the foundations of Cleanroom, and managed IBM's first Cleanroom project.
Jesse H. Poore is a Professor of Computer Science at the University of Tennessee and holds the Ericsson-Harlan D. Mills Chair in Software Engineering.
Cleanroom software engineering is a process for developing and certifying high-reliability software. Combining theory-based engineering technologies in project management, incremental development, software specification and design, correctness verification, and statistical quality certification, the Cleanroom process answers today's call for more reliable software and provides methods for more cost-effective software development.
Cleanroom originated with Harlan D. Mills, an IBM Fellow and a visionary in software engineering. Written by colleagues of Mills and some of the most experienced developers and practitioners of Cleanroom, Cleanroom Software Engineering provides a roadmap for software management, development, and testing as disciplined engineering practices. This book serves both as an introduction for those new to Cleanroom and as a reference guide for the growing practitioner community. Readers will discover a proven way to raise both quality and productivity in their software-intensive products, while reducing costs.
- Explains basic Cleanroom theory
- Introduces the sequence-based specification method
- Elaborates the full management, development, and certification process in a Cleanroom Reference Model (CRM)
- Shows how the Cleanroom process dovetails with the SEI's Capability Maturity Model for Software (CMM)
- Includes a large case study to illustrate how Cleanroom methods scale up to large projects.
9 of 9 people found the following review helpful
A method that shows "how" to other methods's "whats",
This review is from: Cleanroom Software Engineering: Technology and Process (Paperback)Frequently, software development methods describe concepts in a way that suggests that one can get better only by divine inspiration. Thankfully, this book's premise is that software development can be done in a deterministic and algorithmic fashion, rather than a heuristic which some are better at applying than others. The importance of this point is that while some people design software much like artists make paintings, people can be trained in Cleanroom Engineering technology. For 95% of all software we don't need artists. Sadly, current software development methods assume they are continuously available.
My background is in controls engineering, both hardware and software, and when things machines break due to an error in its control, there is frequent economic loss and, regrettably but occasionally, loss of life. So, in order to avoid these things engineers in controls development do effectively the same thing described in this book. We develop in a stepwise... Read more
5 of 5 people found the following review helpful
An excellent book for students, practitioners, and managers,
This review is from: Cleanroom Software Engineering: Technology and Process (Paperback)Many articles have been published describing Cleanroom software engineering technical and management processes, and many successful projects have demonstrated the value of Cleanroom as an engineering process. This book provides, in a single volume, concise descriptions and concrete examples of Cleanroom technical and management processes, a mapping of Cleanroom processes to CMM KPAs, and a detailed case study. I recommend this book highly to software engineering students, practitioners, and managers who want to develop reliable software on time and within budget.
3 of 3 people found the following review helpful
Management, engineering, and process... they are all there.,
By A Customer
This review is from: Cleanroom Software Engineering: Technology and Process (Paperback)The powerful technology of Cleanroom practice is expertly revealed in "Cleanromm Software Engineering- Technology and Practice" spanning project management, product engineering, and process management.The book is presented through the prism of process management organized around common features similar to the SEI CMM. The rigorous engineering technology enables the practitioner to genuinely attempt defect free software development. With the assistance of a non-trivial worked example (case study) and its templates, the practitioner is introduced to the routine practice of Cleanroom Software Engineering that can be carried out on the factory floor. The insightful management practice equips the manager with the models needed to confidently make commitments and provides the visible artifacts needed to status meeting interim commitments.
› See all 6 customer reviews...
This book is about Cleanroom software engineering technology and management. It provides an overview of Cleanroom for application to software engineering projects, and a road map for software management, development, and testing as disciplined engineering practices. It serves as an introduction for those who are new to Cleanroom software engineering and as a reference guide for the growing practitioner community.
The book is organized into three parts as follows:
- Part I: Cleanroom Software Engineering Fundamentals is a presentation of Cleanroom theory and engineering practice. The principal Cleanroom practices are described: incremental development under statistical quality control; function-based specification, development, and verification; and statistical testing based on usage models. The Cleanroom Reference Model (CRM) is introduced as a framework for an overall Cleanroom engineering process. A small example, the security alarm, is used in Part I to illustrate practices and work products.
- Part II: The Cleanroom Software Engineering Reference Model provides a process model that can be adopted, tailored, and elaborated by a software engineering organization. The CRM is expressed in 14 Cleanroom processes and 20 work products. Each process is defined in terms of an augmented ETVX (Entry, Tasks, Verification, Exit) model. The CRM is a guide for Cleanroom project performance and process improvement. Chapter 11 relates the CRM to the Key Process Areas of the Capability Maturity Model for Software.
- Part III: A Case Study in Cleanroom Software Engineering presents a large example, the satellite control system, that includes key technical work products produced in a Cleanroom project: a box structure specification and design, a usage model and usage model analysis.
In many situations, Cleanroom technologies can be applied without special tools. For example, box structure specifications and designs can be recorded using conventional word processors and templates. It is often the case, however, that tools can simplify and improve Cleanroom practice, and help enable scale-up to larger systems. Accordingly, the principal examples in this book are augmented with output from Cleanroom tools to provide additional analysis and insight.
This book is intended to give managers and technical practitioners an understanding of Cleanroom technologies, and to provide an overall process framework for managing Cleanroom projects. Part I describes the underlying theory and the methods of practice, and is recommended for all readers. Part II defines Cleanroom processes and may be used as both a reference and as a guide for management activities. The large case study in Part III will help readers to understand what is produced in a Cleanroom project and to envision how Cleanroom can be applied to their own projects.
We also recommend this book for both undergraduate and graduate students in computer science and software engineering programs. It is important for students to understand the value and necessity for intellectual control in large-scale software engineering, and the importance of the technologies and processes used to achieve it. Of special importance for students is an appreciation of the incremental development life cycle, methods for precise specification, design, and verification, and application of usage-based testing to certify software.Acknowledgments
The authors thank Ingrid Biery, Laura Prados, and Kirk Sayre for their valuable assistance in the verification of various work products presented herein.
We also thank Helen Goldstein, our editor at Addison-Wesley, for her patience and support in working with us to produce this book.
Our Software Society
From its modest beginnings some 50 years ago, computer software has become a critical element of modern society, with global reach and impact on virtually every aspect of human endeavor. Software technology is a principal enabling agent in business, industry, government, and defense, and permeates products and services of all kinds. Every day, trillions of tasks are performed by software, ranging from personal computer applications to large-scale, worldwide networked systems of astonishing complexity. Economic sectors such as manufacturing, banking and financial services, communications, health care, energy, transportation, and education, as well as national defense and government, rely on software for the conduct of daily operations. It is no exaggeration to say that the progress of modern society is dependent totally and irrevocably on software.
As a result, software has become a pivotal component in the global economy. The computer hardware industry relies on software to bring its machines to life, and industries and services of all kinds depend on software to increase productivity and unleash the creativity of millions of workers. Software is a profound agent of change, enabling reengineering of corporations and jobs on an unprecedented scale. It is driving deep structural changes in the global economy through automation and augmentation of mental tasks, much as the industrial revolution in the past century transformed society through automation of physical tasks. In short, software has become a critical resource--vital to well-being and competitiveness.
With the increasing societal dependence on software has come increasing risks of software failure. The vast majority of software today is handcrafted by artisans using craft-based techniques that cannot produce consistent results. These techniques have little in common with the rigorous, theory-based processes characteristic of other engineering disciplines. As a result, software failure is a common occurrence, often with substantial societal and economic consequences. Many software projects simply collapse under the weight of unmastered complexity and never result in usable systems at all.
Software development is a task that challenges the limits of human understanding and control. There is, however, a substantial body of science and engineering knowledge that points the way to disciplined processes for software engineering. This body of science and engineering knowledge is the foundation for Cleanroom software engineering.Cleanroom Software Engineering
Cleanroom is a theory-based, team-oriented process for the economic production of high-quality software. Cleanroom is theory based because sound theoretical foundations are essential to any engineering discipline, and no amount of good management can substitute for their absence. Cleanroom is team oriented because software is developed by people, and theory must be reduced to practical application to harness human creativity and cooperation. Cleanroom deals with economic production of software because real-world business constraints and resource limitations must be satisfied in software engineering. Finally, Cleanroom deals with production of high-quality software because high quality improves manageability, reduces risks and costs, satisfies customers, and provides a competitive advantage.Development and Demonstration
The theoretical foundations of Cleanroom were established in the late 1970s and early 1980s, when Harlan Mills, an accomplished mathematician and IBM Fellow, related fundamental ideas in mathematics, statistics, and engineering to software. Influenced by Edsger Dijkstra on structured programming, Nicholas Wirth on stepwise refinement, and David Parnas on modular design, Mills defined the scientific foundations for an engineering approach to software.
Two fundamental insights drove Mills' work: first, that programs are rules for mathematical functions and second, that potential program executions are infinite populations requiring statistical sampling for quality certification. The first insight opened all of function theory to software development and led to the technologies of box structure specification and design, function-theoretic correctness verification, and incremental development. The second insight opened all of statistical theory to software testing and led to the technology of statistical usage testing and quality certification.
Mills' ideas were refined and demonstrated in collaborations with colleagues Alan Currit, Michael Dyer, Alan Hevner, Richard Linger, Bernard Witt, and others in IBM's Federal Systems Division. Structured Programming: Theory and Practice (by Linger, Mills, and Witt), published in 1979 by Addison-Wesley, introduced function-theoretic methods for software specification, design, verification, and reengineering. Principles of Information Systems Analysis and Design (by Mills, Linger, and Hevner; Academic Press, Inc., 1986) introduced box structure methods for system specification, design, and verification, and introduced incremental development for project management. In 1987 these ideas were integrated under the masthead Cleanroom--a term borrowed from the semiconductor industry to reflect an emphasis on defect prevention rather than defect removal. "Cleanroom Software Engineering" (by Mills, Dyer, and Linger) was published in the May 1987 issue of IEEE Software.
The first Cleanroom software project was managed by Richard Linger of IBM in the mid 1980s. The COBOL Structuring Facility project developed a commercial software reengineering product that exhibited remarkable levels of quality and reliability in customer use, and provided an initial validation of the Cleanroom process.Validation and Practice
In 1990 Richard Linger established the IBM Cleanroom Software Technology Center, where further improvements in Cleanroom methods, automation, and technology transfer were achieved. In the early 1990s a mass storage control unit adapter developed using Cleanroom was introduced by IBM. Thousands of units were sold, and after an extended life the product was retired in 1997 without a single field failure reported against the Cleanroom microcode. The development was led by Mike Brewer, and included Paul Fisher, Dave Fuhrer, Karl Nielson, and other team members. Certification testing was led by Joe Ryan and Mike Houghtaling. Today, the testing laboratory in IBM's Storage Systems Division is arguably the world leader in the practice of statistical usage testing of software.
In the late 1980s and early 1990s the highly regarded Software Engineering Laboratory (SEL) at the National Aeronautics and Space Administration (NASA) Goddard Space Flight Center (GSFC) conducted a series of Cleanroom experiments under the guidance of Vic Basili, Scott Green, Rose Pajerski, Jon Valett, and others. The SEL series of Cleanroom experiments are considered by some to be the single most complete research study conducted to date in the field of software engineering. Four ground-control software systems of increasing size were developed using Cleanroom engineering, with results showing consistent improvement in quality and productivity over the already impressive NASA GSFC baseline.
During the formative period of the US Department of Defense (DoD) ARPA STARS Program (Software Technology for Adaptable, Reliable Systems) in the mid 1980s, Cleanroom was selected as a key technology for development and commercialization by STARS leaders, including Dave Ceely, Dick Drake, Bill Ett, Joe Greene, John Foreman, Jim Moore, and others. The company Dr. Mills founded with Arnie Beckhardt to advance Cleanroom--Software Engineering Technology, Inc. (SET)--was selected as the STARS vehicle for commercializing Cleanroom technology. Significant adv
Table of Contents
I. CLEANROOM SOFTWARE ENGINEERING FUNDAMENTALS.
II. THE CLEANROOM SOFTWARE ENGINEERING REFERENCE MODEL.
III. A CASE STUDY IN CLEANROOM SOFTWARE ENGINEERING.
This book includes free shipping!
This book includes free shipping!
eBook (Adobe DRM)
This eBook requires the free Adobe® Digital Editions software.
Before downloading this DRM-encrypted PDF, be sure to:
- Install the free Adobe Digital Editions software on your machine. Adobe Digital Editions only works on Macintosh and Windows, and requires the Adobe Flash Player. Please see the official system requirements.
- Authorize your copy of Adobe Digital Editions using your Adobe ID. If you don't already have an Adobe ID, you can create one here.
Get access to thousands of books and training videos about technology, professional development and digital media from more than 40 leading publishers, including Addison-Wesley, Prentice Hall, Cisco Press, IBM Press, O'Reilly Media, Wrox, Apress, and many more. If you continue your subscription after your 30-day trial, you can receive 30% off a monthly subscription to the Safari Library for up to 12 months. That's a total savings of $199.