Software Engineering  Formal Modeling & Verification MCQ: This section contains the multiplechoice questions on Formal Modeling & Verification in Software Engineering.
Formal modeling and verification, in contrast to reviews and testing, which begin after software models and code have been established, incorporate specialized modeling methods that are coupled with prescribed verification approaches. Verification is impossible to achieve without the use of the right modeling approach.
Here you will find the MCQs on Formal modeling and verification in Software Engineering. The MCQs will enhance the learning and knowledge base with respect to Formal modeling and verification in Software Engineering.
Title  

Formal modeling and verification incorporate specialized ___ that are integrated with prescribed verification approachesFormal modeling and verification incorporate specialized ___ that are integrated with prescribed verification approaches.
The answer is:
A. Modeling methods


The advanced software engineering methods—cleanroom software engineering and formal methods—help a software team to "do it right the first time"The advanced software engineering methods—cleanroom software engineering and formal methods—help a software team to "do it right the first time".
The answer is:
A. True


Cleanroom software engineering and formal methods are two examples of advanced software engineering methodsCleanroom software engineering and formal methods are two examples of advanced software engineering methods.
The answer is:
A. True


Cleanroom software engineering emphasizes ___ of correctness before program construction commences and certification of ___ as part of the testing activityCleanroom software engineering emphasizes ___ of correctness before program construction commences and certification of ___ as part of the testing activity.
The answer is:
A. Mathematical verification, software reliability


Formal methods use set theory and logic notation to create a clear statement of facts,Formal methods use set theory and logic notation to create a clear statement of facts,
The answer is:
A. True


Cleanroom software engineering makes use of a specialized version of the ____Cleanroom software engineering makes use of a specialized version of the ____.
The answer is:
B. Incremental software model


The sequence of cleanroom tasks for each increment is,The sequence of cleanroom tasks for each increment is,
The answer is:
A. Increment planning, Requirements gathering, Formal design, Code generation, inspection, and verification, Statistical test planning, Statistical use testing, Certification


The modeling approach in cleanroom software engineering uses a method called ____The modeling approach in cleanroom software engineering uses a method called ____.
The answer is:
B. Modeling specification


Amongst which of the following box/ boxes are used in 'Box structure specification'Amongst which of the following box/ boxes are used in 'Box structure specification'.
The answer is:
D. All of the mentioned above


A blackbox specification describes an abstraction, stimuli, and responseA blackbox specification describes an abstraction, stimuli, and response.
The answer is:
A. True


The state box is "a simple generalization of a state machine" A state is some observable mode of system behaviorThe state box is "a simple generalization of a state machine" A state is some observable mode of system behavior.
The answer is:
A. True


The clearbox specification is closely aligned with ___ and structured programmingThe clearbox specification is closely aligned with ___ and structured programming.
The answer is:
A. Procedural design


Within the clear box, ___ constructs and stepwise refinement are used to represent procedural detailWithin the clear box, ___ constructs and stepwise refinement are used to represent procedural detail.
The answer is:
A. Structured programming


The structured programming constructs constrains the number of correctness tests that must be conducted. These are as The structured programming constructs constrains the number of correctness tests that must be conducted. These are as 
The answer is:
D. All of the mentioned above


Statistical use testing refers,Statistical use testing refers,
The answer is:
A. "amounts to testing software the way users intend to use it"

MCQs
Views
Best Answers
Points