CS636 Quiz

Paper Time [90 minutes] · CS636 – Formal Methods · CS636 (Final Exam Sample Paper) · MCQs

Take an assessment. 1What is the primary purpose of formal methods in software engineering? a. Code optimization b. Enhancing user experience c. Rigorous reasoning and verification d. Prototyping

2Formal methods are used for: a. Informal reasoning b. Rigorous reasoning c. Trial and error d. Random testing

3- Which of the following is a key benefit of using formal methods?

1. Faster development speed
2. Improved code aesthetics
3. Increased likelihood of error detection
4. Reduced need for documentation

4Verification in software engineering is concerned with: a. Code execution speed b. Confirming that a system meets its specifications c. User interface design d. Network security

5- Which mathematical model is commonly used for specifying software requirements?

1. UML
2. DFD
3. Finite State Machines
4. Petri Nets

6The primary goal of software specification is to: a. Enhance code readability b. Describe how the software will be implemented c. Provide a clear and unambiguous description of the system's behavior d. Increase development speed

7- What characterizes a concurrent system?

1. A system that runs on a single processor
2. A system with multiple independent processes
3. A system without any processes
4. A system with real-time capabilities

8Well-formedness in concurrent systems refers to: a. The absence of errors b. The efficient use of resources c. Compliance with defined rules or syntax d. Rapid execution speed

9- In the context of concurrent systems, what does deadlock refer to?

1. Efficient resource utilization
2. A state where processes are unable to proceed
3. Smooth system execution
4. Dynamic process allocation

10Propositional logic deals with: a. Objects and relationships between them b. Statements that are either true or false c. Mathematical operations d. Natural language semantics

11- What is a proposition in logic?

1. A statement that can be proven
2. A statement that is always false
3. A statement that is either true or false
4. A statement that is difficult to understand

12Predicate logic extends propositional logic by introducing: a. Variables and quantifiers b. Conditional statements c. Logical operators d. Propositions

13VDM-SL stands for: a. Visual Design Model - Specification Language b. Virtual Development Method - Specification Logic c. Vienna Development Method - Specification Language d. Verification and Design Model - System Language

14VDM-SL is primarily used for: a. Database management