March 1999
Intermediate to advanced
416 pages
8h 17m
English
A case study is presented in Part III for a sufficiently large system to illustrate scalability of Cleanroom processes and their associated work products. The case study involves development of embedded software for a Satellite Control System (SCS), and is based on requirements and specifications included in the Object-Orientation/Cleanroom Integration Study by Ett and Trammell (1996). The case study includes:
• Black box specification, Chapter 13
• State box specification, Chapter 14
• Clear box design, Chapter 15
• Statistical testing plans and models, Chapter 16
The case study does not contain examples of all work products from Part II, due to space limitations. ...
Read now
Unlock full access