It is intended to find inconsistencies between a program and its specification. These inconsistencies are usually due to program faults or defects.

Related MCQs

• Match the following : A-Control metrics : B- Process metrics: C- Control: D-Correctness: 1- They are associated with software process. 2- They are associated with software products. 3- Protective measure that reduces system vulnerability. 4- Extent to which a system or component is free from faults in its specification, design, and implementation
• When the program is developed, it is to be tested and defects are to be removed from the program.
• Match the following: A- Formal mathematical transformation: B- Formal process model: C-Formal Specifications: D-Formal System development: 1- Here the formal mathema- tical representation of the system takes place. 2- It is a starting point for process analysis. It is abstract and only defines the principal process activities and deliverables. 3-Specifications expressed in a language whose vocabulary, syntax and semantics are formally defined. 4-It is more common to waterfall model, but here the development process is based on formal mathematical transformation of a system specification to an exactable program.
• Reverse engineering is the process of deriving the system design and specification from its
• Which regression test selection technique exposes faults caused by modifications?
• Which box specification is not associated with cleanroom approach?
• Software requirement specification is
• Software design specification
• Software requirements specification are
• Outcome of requirements specification phase is