Home »
Software Engineering MCQs
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
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.
Formal Modeling and Verification in Software Engineering MCQs
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.
- Modeling methods
- Integrated methods
- System Approaches
- 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".
- True
- 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.
- True
- 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.
- Mathematical verification, software reliability
- Validation, testing
- Verification, validation
- 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,
- True
- 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.
Q6. Cleanroom software engineering makes use of a specialized version of the ____.
- Integrated software model
- Incremental software model
- Both A and B
- 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,
- Increment planning, Requirements gathering, Formal design, Code generation, inspection, and verification, Statistical test planning, Statistical use testing, Certification
- Requirements gathering, Formal design, Increment planning, Statistical test planning, Statistical use testing, Certification, Code generation, inspection, and verification
- Requirements gathering, Increment planning, Statistical use testing, Certification, Code generation, inspection, and verification, Formal design, Statistical test planning
- 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 ____.
- System specification
- Modeling specification
- Box structure specification
- 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'.
- Black box
- State box
- Clear box
- 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.
- True
- 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,
Q11. The state box is "a simple generalization of a state machine" A state is some observable mode of system behavior.
- True
- 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.
- Procedural design
- Event design
- Component design
- 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.
- Structured programming
- Unstructured programming
- System programming
- 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 -
- A single condition is checked for sequences;
- Two conditions are tested for if-then-else
- Three conditions are verified for loops
- 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,
- "amounts to testing software the way users intend to use it"
- "amounts to development software the way users intend to develop it"
- "amounts to system integration with the various components"
- 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".