ADVERTISEMENT
ADVERTISEMENT

MCQ | Formal Modeling and Verification in Software Engineering

Software Engineering | Formal Modeling & Verification MCQ: This section contains the multiple-choice questions on Formal Modeling & Verification in Software Engineering.
Submitted by IncludeHelp, on August 31, 2021

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.

Q1. 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

Answer: A) Modeling methods

Explanation:

Specified modeling methods that are combined with defined verification methodologies are used in the process of formal modeling and verification (also known as formalization). Verification is impossible to achieve without the use of the right modeling approach.


Q2. 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

Answer: A) True

Explanation:

Advanced software engineering methods - cleanroom software engineering and formal methods, assist a software team in "doing it right the first time" by providing a mathematically based approach to program modeling as well as the ability to verify that the model is correct.


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

  1. True
  2. False

Answer: A) True

Explanation:

Advanced software engineering methods include cleanroom software engineering and formal methodologies, to name a couple of examples.


Q4. 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

Answer: A) Mathematical verification, software reliability

Explanation:

Prior to the start of program building, cleanroom software engineering places an emphasis on mathematical verification of correctness and certification of software reliability as part of the testing process.


Q5. Formal methods use set theory and logic notation to create a clear statement of facts,

  1. True
  2. False

Answer: A) True

Explanation:

When using formal methods, set theory and logic notation are used to provide a clear description of facts that can be examined to improve (or even verify) the correctness and consistency of the requirements.


ADVERTISEMENT

Q6. 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

Answer: B) Incremental software model

Explanation:

Cleanroom software engineering makes use of a specific form of the incremental software model, which is called the cleanroom software model. It is built by small independent software teams to provide a "pipeline of software increments."


Q7. 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

Answer: A) Increment planning, Requirements gathering, Formal design, Code generation, inspection, and verification, Statistical test planning, Statistical use testing, Certification

Explanation:

The first four activities in the cleanroom process set the stage for the formal verification activities that follow.


Q8. 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

Answer: B) Modeling specification

Explanation:

In cleanroom software engineering, 'Box structure specification' modeling method uses. Boxes are refined into a hierarchy where each box has referential transparency by the process of elaboration or stepwise refinement, which is a stepwise refinement method.


Q9. 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

Answer: D) All of the mentioned above

Explanation:

There are three types of boxes used in ‘Box structure specification’ These boxes are Black box, State box and Clear box.


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

  1. True
  2. False

Answer: A) True

Explanation:

A black-box specification describes an abstraction, stimuli, and response in the form of the notation shown in the following figure,

formal modeling and verification

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

  1. True
  2. False

Answer: A) True

Explanation:

The state box is defined as "a straightforward generalization of a state machine." A state is any observable mode of system behavior that may be seen.


Q12. 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

Answer: A) Procedural design

Explanation:

The clear-box specification is closely matched with procedural design and structured programming, which are both used in software development.


Q13. 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

Answer: A) Structured programming

Explanation:

To represent procedural complexity within the transparent box, structured programming techniques and stepwise refinement are utilized in conjunction with stepwise refinement.


Q14. 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

Answer: D) All of the mentioned above

Explanation:

The usage of structured programming structures reduces the amount of correctness tests that must be performed, which is something to keep in mind. In the case of sequences, a single condition is checked; two conditions are examined in the case of if-then-else; and three conditions are checked in the case of loops.


Q15. 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

Answer: A) "amounts to testing software the way users intend to use it"

Explanation:

Statistical use testing refers "amounts to testing software the way users intend to use it".



ADVERTISEMENT



ADVERTISEMENT



Comments and Discussions


ADVERTISEMENT

ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT

Languages: » C » C++ » C++ STL » Java » Data Structure » C#.Net » Android » Kotlin » SQL
Web Technologies: » PHP » Python » JavaScript » CSS » Ajax » Node.js » Web programming/HTML
Solved programs: » C » C++ » DS » Java » C#
Aptitude que. & ans.: » C » C++ » Java » DBMS
Interview que. & ans.: » C » Embedded C » Java » SEO » HR
CS Subjects: » CS Basics » O.S. » Networks » DBMS » Embedded Systems » Cloud Computing
» Machine learning » CS Organizations » Linux » DOS
More: » Articles » Puzzles » News/Updates

© https://www.includehelp.com some rights reserved.