4 Cleanroom Software Development
4.1 Box Structure Development
The previous chapter described two functional views of a system or program, the first based on external behavior alone (black box) and the second based on a state machine (state box). This chapter describes a third view—the procedure or algorithm (clear box) to implement the state box and exhibit the specified external behavior.
The top-down iterative process by which the highest level specification of a complex system becomes a body of code that executes on a computer must address many design decisions. The box structure method does not make design decisions; however, it does encourage designers to consider the entire solution space. The solution space consists of all possible ...
Get Cleanroom Software Engineering: Technology and Process now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
