Contents
Preface
Introduction
Part I: Cleanroom Software Engineering Fundamentals
1 Cleanroom Overview
1.1 Economic Production of High-Quality Software
1.2 Cleanroom Foundations
1.3 Cleanroom Technologies
1.4 The Cleanroom Process
1.5 Relationship of Cleanroom to Other Practices
1.6 Cleanroom Project Experience
1.7 References
1.8 Suggested Reading
2 Cleanroom Management by Incremental Development
2.1 Benefits of Incremental Development
2.2 Theoretical Foundations of Incremental Development
2.3 Increment Planning in Practice
2.4 Incremental Development in Practice
2.5 References
3 Cleanroom Software Specification
3.1 Box Structures for Cleanroom Specification and Design
3.2 The Sequence-Based Specification Process
3.3 Example: Specification of a Security Alarm
3.4 References
4 Cleanroom Software Development
4.1 Box Structure Development
4.2 Clear Box Development
4.3 Clear Box Verification
4.4 Example: The Security Alarm Clear Box
4.5 References
5 Cleanroom Software Certification
5.1 Benefits of Statistical Testing Based on a Usage Model
5.2 Theoretical Foundations of Statistical Testing
5.3 Statistical Usage Testing in Practice
5.4 Example: Security Alarm
5.5 References
Part II: The Cleanroom Software Engineering Reference Model
6 The Cleanroom Reference Model
6.1 An Introduction to the CRM
6.2 Cleanroom Process Definition Format
6.3 Common Cleanroom Process Elements
6.4 References
7 Cleanroom Management Processes
7.1 Project Planning Process
7.2 Project Management Process
7.3 Performance Improvement Process
7.4 Engineering Change Process
8 Cleanroom Specification Processes
8.1 Requirements Analysis Process
8.2 Function Specification Process
8.3 Usage Specification Process
8.4 Architecture Specification Process
8.5 Increment Planning Process
8.6 References
9 Cleanroom Development Processes
9.1 Software Reengineering Process
9.2 Increment Design Process
9.3 Correctness Verification Process
9.4 References
10 Cleanroom Certification Processes
10.1 Usage Modeling and Test Planning Process
10.2 Statistical Testing and Certification Process
10.3 References
11 Cleanroom and the Capability Maturity Model for Software
11.1 The CMM for Software
11.2 Cleanroom Process Mappings to CMM KPAs
11.3 Integrating CRM Technology and CMM Management
11.4 References
Part III: A Case Study in Cleanroom Software Engineering
12 Satellite Control System Requirements
12.1 The Satellite Control System Case Study
12.2 Satellite Operations Software Requirements
12.3 Reference
13 Satellite Control System Black Box Specification
13.1 Black Box Sequence-Based Specification
13.2 Step 1: Define the System Boundary
13.3 Step 2: Enumerate Stimulus Sequences
13.4 Step 3: Analyze Canonical Sequences
13.5 Step 4: Define Specification Functions
13.6 Step 5: Construct the Black Box Tables
13.7 Removing Abstractions
13.8 Common Sequence Abstraction Techniques
14 Satellite Control System State Box Specification
14.1 State Box Specification
14.2 Step 1: Invent the State Data
14.3 Step 2: Construct the State Box Tables
15 Satellite Control System Clear Box Design
15.1 Clear Box Implementation
15.2 Step 1: Select a High-Level Software Architecture
15.3 Step 2: Select an Implementation for Stimulus Gathering
15.4 Step 3: Select an Implementation for Response Generation
15.5 Step 4: Select an Implementation for the State Data Items
15.6 Step 5: Select an Implementation for Each Entry in the State Box Table
15.7 Step 6: Reorganize the Implementations into Executable Code
16 Satellite Control System Testing and Certification
16.1 Statistical Testing
16.2 Step 1: Define Certification Plan
16.3 Step 2: Build Model Structure
16.4 Step 3: Determine State Transition Probabilities
16.5 Step 4: Validate the Usage Model
16.6 Step 5: Generate Test Cases, and Execute and Evaluate Results
Index
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W