Similar Collections

Software Engineering | Formal Modeling & Verification MCQ: This section contains the multiple-choice 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.

questions

Title
Formal modeling and verification incorporate specialized ___ that are integrated with prescribed verification approaches

Formal modeling and verification incorporate specialized ___ that are integrated with prescribed verification approaches.

  1. Modeling methods
  2. Integrated methods
  3. System Approaches
  4. None of the mentioned above
discuss
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".

  1. True
  2. False
discuss
Cleanroom software engineering and formal methods are two examples of advanced software engineering methods

Cleanroom software engineering and formal methods are two examples of advanced software engineering methods.

  1. True
  2. False
discuss
Cleanroom software engineering emphasizes ___ of correctness before program construction commences and certification of ___ as part of the testing activity

Cleanroom software engineering emphasizes ___ of correctness before program construction commences and certification of ___ as part of the testing activity.

  1. Mathematical verification, software reliability
  2. Validation, testing
  3. Verification, validation
  4. None of the mentioned above
discuss
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,

  1. True
  2. False
discuss
Cleanroom software engineering makes use of a specialized version of the ____

Cleanroom software engineering makes use of a specialized version of the ____.

  1. Integrated software model
  2. Incremental software model
  3. Both A and B
  4. None of the mentioned above
discuss
The sequence of cleanroom tasks for each increment is,

The sequence of cleanroom tasks for each increment is,

  1. Increment planning, Requirements gathering, Formal design, Code generation, inspection, and verification, Statistical test planning, Statistical use testing, Certification
  2. Requirements gathering, Formal design, Increment planning, Statistical test planning, Statistical use testing, Certification, Code generation, inspection, and verification
  3. Requirements gathering, Increment planning, Statistical use testing, Certification, Code generation, inspection, and verification, Formal design, Statistical test planning
  4. None of the mentioned above
discuss
The modeling approach in cleanroom software engineering uses a method called ____

The modeling approach in cleanroom software engineering uses a method called ____.

  1. System specification
  2. Modeling specification
  3. Box structure specification
  4. None of the mentioned above
discuss
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'.

  1. Black box
  2. State box
  3. Clear box
  4. All of the mentioned above
discuss
A black-box specification describes an abstraction, stimuli, and response

A black-box specification describes an abstraction, stimuli, and response.

  1. True
  2. False
discuss
The state box is "a simple generalization of a state machine" A state is some observable mode of system behavior

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

  1. True
  2. False
discuss
The clear-box specification is closely aligned with ___ and structured programming

The clear-box specification is closely aligned with ___ and structured programming.

  1. Procedural design
  2. Event design
  3. Component design
  4. All of the mentioned above
discuss
Within the clear box, ___ constructs and stepwise refinement are used to represent procedural detail

Within the clear box, ___ constructs and stepwise refinement are used to represent procedural detail.

  1. Structured programming
  2. Unstructured programming
  3. System programming
  4. None of the mentioned above
discuss
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 -

  1. A single condition is checked for sequences;
  2. Two conditions are tested for if-then-else
  3. Three conditions are verified for loops
  4. All of the mentioned above
discuss
Statistical use testing refers,

Statistical use testing refers,

  1. "amounts to testing software the way users intend to use it"
  2. "amounts to development software the way users intend to develop it"
  3. "amounts to system integration with the various components"
  4. None of the mentioned above
discuss
total MCQs: 15

MCQs

15

Views

50

Best Answers

299

Points

5