My Report

Advanced Software Engineering Test – 3


Correct Answer: 2 points | Wrong: -1 point
Grades: A* (100% score) | A (80%-99%) | B (60%-80%) | C (40%-60%) | D (0%-40%)
advertisement

1. Which of the following occurs often due to the bulkiness of a system specification document?

2. The _________ of a formal specification language is often based on a syntax that is derived from standard set theory notation and predicate calculus.

3. 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?

4. ___________ are statements that can be interpreted in a number of ways.

5. Which of the following option is not provided by formal methods?

6. The ____________ of a specification language indicates how the language represents system requirements.

7. Which of the following is essential for success, when formal methods are used for the first time?

8. Which of the following provides a concise, unambiguous, and consistent method for documenting system requirements?

9. It is generally not necessary to apply formal methods to every aspect of a major system.

10. What defines the circumstances in which a particular operation is valid?


 

Start practicing “1000 MCQs on Software Engineering”, and once you are ready, you can take tests on all topics by attempting our “Software Engineering Test Series”.

Manish Bhojasia - Founder & CTO at Sanfoundry
Manish Bhojasia, a technology veteran with 20+ years @ Cisco & Wipro, is Founder and CTO at Sanfoundry. He lives in Bangalore, and focuses on development of Linux Kernel, SAN Technologies, Advanced C, Data Structures & Alogrithms. Stay connected with him at LinkedIn.

Subscribe to his free Masterclasses at Youtube & discussions at Telegram SanfoundryClasses.