MCQOPTIONS
Saved Bookmarks
MCQOPTIONS
This section includes 10 Mcqs, each offering curated multiple-choice questions to sharpen your Software Engineering knowledge and support exam preparation. Choose a topic below to get started.
| 1. |
It is generally not necessary to apply formal methods to every aspect of a major system. |
| A. | True |
| B. | False |
| Answer» B. False | |
| 2. |
Which of the following is essential for success, when formal methods are used for the first time? |
| A. | Expert training |
| B. | Consulting |
| C. | Prerequisite knowledge |
| D. | Both Expert training and Consulting |
| Answer» E. | |
| 3. |
The ____________ of a specification language indicates how the language represents system requirements. |
| A. | semantic domain |
| B. | syntactic domain |
| C. | sequence |
| D. | set |
| Answer» B. syntactic domain | |
| 4. |
Which of the following provides a concise, unambiguous, and consistent method for documenting system requirements? |
| A. | CMM |
| B. | ISO-9001 |
| C. | CASE tools |
| D. | Formal methods |
| Answer» E. | |
| 5. |
The _________ of a formal specification language is often based on a syntax that is derived from standard set theory notation and predicate calculus. |
| A. | semantic domain |
| B. | syntactic domain |
| C. | sequence |
| D. | set |
| Answer» C. sequence | |
| 6. |
Which of the following occurs often due to the bulkiness of a system specification document? |
| A. | Contradictions |
| B. | Ambiguities |
| C. | Vagueness |
| D. | Incompleteness |
| Answer» D. Incompleteness | |
| 7. |
Which of the following is a way of making a statement about the elements of a set that is true for every member of the set? |
| A. | Set |
| B. | Sequence |
| C. | Universal quantification |
| D. | Both Set and Sequence |
| Answer» D. Both Set and Sequence | |
| 8. |
What defines the circumstances in which a particular operation is valid? |
| A. | Contradictions |
| B. | Post-condition |
| C. | Vagueness |
| D. | None of the mentioned |
| Answer» E. | |
| 9. |
___________ are statements that can be interpreted in a number of ways. |
| A. | Contradictions |
| B. | Ambiguities |
| C. | Vagueness |
| D. | Comments |
| Answer» B. Ambiguities | |
| 10. |
Which of the following option is not provided by formal methods? |
| A. | providing frameworks |
| B. | verifying systems |
| C. | provide investors |
| D. | both providing frameworks and verifying systems |
| Answer» E. | |