CLEANROOM: AN UPDATED VIEW

1
CLEANROOM AN UPDATED VIEW

• EE 599 Software VV
• LCdr Rob Burch
• 6 May 98

2
Presentation Goals

• Provide overview of Cleanroom, history and
  activities
• Demonstrate applicability to generic OO
  methodology
• Outline Cleanroom extensions to specific OO
  methods - Booch / Schlaer - Mellor

3
Cleanroom Goal Prevent software defects by
use of rigorous precise methods
4
Cleanroom is a SHIFT in practice from

• craftsmanship ? peer reviewed engineering
• sequential ? incremental development
• informal design ? engineering specification
  and
• design
• unit testing ? team correctness
  verification
• coverage testing ? statistical usage testing
• unknown reliability ? measured reliability

5
ESSENTIALS

• Manage Cleanroom Development
• Understand the system environment
• Write a cleanroom specification
• Create an incremental development plan
• Develop verifiable software designs
• Verify correctness of designs
• Carry out statistical quality certification

6
ESSENTIALS - Amplified

• Cleanroom Incremental Development
• Cleanroom Specification
• Cleanroom Design and Verification
• Cleanroom Reliability Testing

7
IBM Cleanroom
8
Cleanroom - a timeline

• 1970s- 1980s Origin of the Ideas
• 1987 Origin of the Name
• 1988 ARPA STARS focus on Cleanroom
• 1989 Research on Reuse and Reliability
• 1990 Research on Box Structures with Ada
• 1992 Prototyping of an evaluation Framework for
  Reusable Components
• 1991-1992 Prototyping of Cleanroom Process Guide

9
Cleanroom - a timeline

• 1970s- 1980s Origin of the Ideas
• 1987 Origin of the Name
• 1988 ARPA STARS focus on Cleanroom
• 1989 Research on Reuse and Reliability
• 1990 Research on Box Structures with Ada
• 1992 Prototyping of an evaluation Framework for
  Reusable Components
• 1991-1992 Prototyping of Cleanroom Process Guide

10
Cleanroom - a timeline continued

• 1992 - ongoing Army Demonstration of Cleanroom
  Technology
• 1993 - 1994 Prototyping of Tools
• 1993 - ongoing Air Force Demonstration of
  Cleanroom Technology
• 1995 - Commercialization of Cleanroom
  Certification
• 1995 Cleanroom and CMM Consistency Review

11
Cleanroom - a timeline continued

• 1992 - ongoing Army Demonstration of Cleanroom
  Technology
• 1993 - 1994 Prototyping of Tools
• 1993 - ongoing Air Force Demonstration of
  Cleanroom Technology
• 1995 - Commercialization of Cleanroom
  Certification
• 1995 Cleanroom and CMM Consistency Review

12
Cleanroom - a timeline updated

• 1996 Integrating Cleanroom with OO methods
• 1997 Extensions to Cleanroom
• Booch
• Objectory
• Shlaer-Mellor

13
SET - Cleanroom

• Process Definition
• Precise Software Specification
• Rigorous, Structured Development
• Indepnedent Testing
• Prodcut Certification
• Quantitative Management

14
SET - Cleanroom

• Process Definition
• Precise Software Specification
• Rigorous, Structured Development
• Indepnedent Testing
• Prodcut Certification
• Quantitative Management

15
Cleanroom OO Common Characteristics

• Lifecycle Cleanroom incremental development and
  OO iterative development
• Usage OO Use case and Cleanroom usage model
• State machine Cleanroom state box and OO state
  transition diagram
• Reuse OO class and Cleanroom common service

16
Cleanroom OO Key differences

• Cleanroom decomposition vs. OO composition
• Cleanroom formal methods vs. OO "cases" in
  characterizing usage
• OO inheritance hierarchy vs. Cleanroom usage
  hierarchy
• OO graphical vs. Cleanroom tabular representation
• Tool support

17
Booch extensions to Cleanroom
18
Booch extensions to Cleanroom
19
Booch extensions to Cleanroom
20
Booch extensions to Cleanroom
21
Booch extensions to Cleanroom
22
Booch extensions to Cleanroom
23
Booch extensions to Cleanroom
24
Schlaer-Mellor extensions to Cleanroom
25
Schlaer-Mellor extensions to Cleanroom
26
Schlaer-Mellor extensions to Cleanroom
27
Schlaer-Mellor extensions to Cleanroom
28
Schlaer-Mellor extensions to Cleanroom
29
Schlaer-Mellor extensions to Cleanroom
30
Schlaer-Mellor extensions to Cleanroom
31
Schlaer-Mellor extensions to Cleanroom
32
Schlaer-Mellor extensions to Cleanroom
33
Schlaer-Mellor extensions to Cleanroom
34
Conclusion

• Cleanroom techniques are current
• Cleanroom strength is in addressing combination
  of management and technical concerns.
• Cleanroom can be applied to OO Methods
• Most people who have studied the relationship
  between Cleanroom and object-orientation regard
  the two as complementary, each with strengths
  that can enhance the practice of the other.