1 / 31

CLEANROOM: AN UPDATED VIEW

CLEANROOM: AN UPDATED VIEW. EE 599 Software V&V LCdr Rob Burch 6 May 98. 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*.

pelagia-aradia
Download Presentation

CLEANROOM: AN UPDATED VIEW

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. CLEANROOM: AN UPDATED VIEW EE 599 Software V&V 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* Cleanroom - updated

  3. Cleanroom Goal: Prevent software defects by use of rigorous precise methods Cleanroom - updated

  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 Cleanroom - updated

  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 Cleanroom - updated

  6. ESSENTIALS - Amplified • Cleanroom Incremental Development • Cleanroom Specification • Cleanroom Design and Verification • Cleanroom Reliability Testing Cleanroom - updated

  7. IBM & Cleanroom Cleanroom - updated

  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 Cleanroom - updated

  9. 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 Cleanroom - updated

  10. Cleanroom - a timeline: updated • 1996 Integrating Cleanroom with OO methods • 1997 Extensions to Cleanroom • Booch • Objectory • Shlaer-Mellor Cleanroom - updated

  11. SET - Cleanroom • Process Definition • Precise Software Specification • Rigorous, Structured Development • Indepnedent Testing • Prodcut Certification • Quantitative Management Cleanroom - updated

  12. 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 Cleanroom - updated

  13. 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 Cleanroom - updated

  14. Booch extensions to Cleanroom Cleanroom - updated

  15. Booch extensions to Cleanroom Cleanroom - updated

  16. Booch extensions to Cleanroom Cleanroom - updated

  17. Booch extensions to Cleanroom Cleanroom - updated

  18. Booch extensions to Cleanroom Cleanroom - updated

  19. Booch extensions to Cleanroom Cleanroom - updated

  20. Booch extensions to Cleanroom Cleanroom - updated

  21. Schlaer-Mellor extensions to Cleanroom

  22. Schlaer-Mellor extensions to Cleanroom Cleanroom - updated

  23. Schlaer-Mellor extensions to Cleanroom Cleanroom - updated

  24. Schlaer-Mellor extensions to Cleanroom Cleanroom - updated

  25. Schlaer-Mellor extensions to Cleanroom Cleanroom - updated

  26. Schlaer-Mellor extensions to Cleanroom Cleanroom - updated

  27. Schlaer-Mellor extensions to Cleanroom Cleanroom - updated

  28. Schlaer-Mellor extensions to Cleanroom Cleanroom - updated

  29. Schlaer-Mellor extensions to Cleanroom Cleanroom - updated

  30. Schlaer-Mellor extensions to Cleanroom Cleanroom - updated

  31. 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. Cleanroom - updated

More Related