ppt课件-transparency mastersfor software engineering a practitioner（透明度mastersfor软件工程实践者）.pptVIP

Chapter 26Cleanroom Software Engineering The Cleanroom Process Model The Cleanroom Strategy-I The Cleanroom Strategy-II Box Structure Specification Box Structures Design Refinement Verification Advantages of Design Verification It reduces verification to a finite process. It lets cleanroom teams verify every line of design and code. It results in a near zero defect level. It scales up. It produces better code than unit testing. Cleanroom Testing statistical use testing tests the actual usage of the program determine a “usage probability distribution” analyze the specification to identif