UGC NET JULY 2018 (Computer Science And Applications Paper-II) (Question 19)

 UGC NET JULY 2018 (Computer Science And Applications Paper-II) (Question 19)

Q19. Which of the following in not a key strategy followed by the clean room approach to software development ?

(1). Formal specification                                                        (2). Dynamic verification
(3). Incremental development                                                (4). Statistical testing of the system

Answer :  (2). Dynamic verification

Reason :

Cleanroom software development is a software development philosophy that is based on avoiding software defects by using formal methods of development and a rigorous inspection process. The name ‘Cleanroom’ was derived by analogy with semiconductor fabrication units. In these units (cleanrooms) defects are avoided by manufacturing in an ultra-clean atmosphere. The objective of this approach to software development is zero-defect software.

The Cleanroom approach to software development is based on five key strategies:

• Formal specification The software to be developed is formally specified. A state-transition model which shows system responses to stimuli is used to express the specification.
• Incremental development The software is partitioned into increments which are developed and validated separately using the Cleanroom process. These increments are specified, with customer input, at an early stage in the process.
• Structured programming Only a limited number of control and data abstraction constructs are used. The program development process is a process of stepwise refinement of the specification. A limited number of constructs are used and the aim is to apply correctness-preserving transformations to the specification to create the program code.
• Static verification The developed software is statically verified using rigorous software inspections. There is no unit or module testing process for code components.
• Statistical testing of the system The integrated software increment is tested statistically (see Chapter XX), to determine its reliability. These statistical tests are based on an operational profile which is developed in parallel with the system specification.