Site MapHelpFeedbackMultiple Choice
Multiple Choice
(See related pages)

1
Which of the following activities is part in the cleanroom process?
A)increment planning
B)requirements gathering
C)statistical use testing
D)all of the above
2
The cleanroom strategy is based on the ________ software process model.
A)evolutionary
B)incremental
C)revolutionary
D)spiral
3
The cleanroom strategy relies on
A)exhaustive testing
B)extensive unit testing of all modules
C)tests that exercise the software as it is really used
D)white box testing strategies
4
Use of formal program correctness proofs as part of the cleanroom process eliminates the need to do any testing for software defects.
A)True
B)False
5
Which of the following characteristics distinguish cleanroom software engineering from conventional software engineering?
A)explicit use of statistical quality control
B)relies heavily on statistical use testing
C)use of formal proof methods for design verification
D)all of the above
6
In cleanroom software engineering a "box" encapsulates some system aspect at a particular level of detail.
A)True
B)False
7
This box specification describes an abstraction, stimuli, and response.
A)black box
B)clear box
C)state box
D)white box
8
This box specification describes the architectural design for some system component.
A)black box
B)clear box
C)state box
D)white box
9
This box specification is closely aligned with procedural design and structured programming.
A)black box
B)clear box
C)state box
D)white box
10
In cleanroom software engineering the structured programming approach is used to
A)refine data design
B)refine function design
C)refine usage test cases
D)both a and b
11
To prove a design correct you must identify all conditions and then prove a random statistical sample of these conditions are correct.
A)True
B)False
12
By using only structured programming constructs as you create a procedural design, you make the work of proving design correctness much easier.
A)True
B)False
13
Which of the following is not an advantage of using rigorous correctness verification of each refinement of the clear box design.
A)improves performance of code
B)produces better code than unit testing
C)reduces verification effort
D)results in near zero defect levels
14
Statistical use testing relies on probability distributions based on
A)mixture of control structures used in the program
B)order in which the module execute
C)the way software will actually be used
D)user interface design standards
15
Certification of an increment is complete once it has passed the formal verification process.
A)True
B)False
16
Which of the following models is part of the cleanroom certification process?
A)component model
B)sampling model
C)both a and b
D)none of the above







PressmanOnline Learning Center

Home > Chapter 29 > Multiple Choice Quiz