Software Formal Methods MCQs

By Prof. Fazal Rehman Shamil
Last modified on April 21st, 2021

Software Formal Methods MCQs

1: Which of the following statements that can be interpreted in a number of ways?

a) Vagueness

b) Comments

c) Contradictions

d) Ambiguities

Answer - Click Here:
C

2: Which of the following occurs in a system specification document due to the bulkiness of?

a) Incompleteness

b) Vagueness

c) Ambiguities

d) Contradictions

Answer - Click Here:
B

3: When formal methods are used for the first time,

Which of the following is essential for success?

a) Consulting

b) Expert training

c) none of these

d) Both Expert a & b

Answer - Click Here:
D

4: Which of the following is not provided by formal methods?

a) verifying systems

b) providing frameworks

c) provide investors

d) both option a & b

Answer - Click Here:
D

5: Coupling wrost type is…

a) control coupling

b) stamp coupling

c) content coupling

d) data coupling

Answer - Click Here:
C

6: Which of the following option is the most important feature of the spiral model?

a) risk management

b) quality management

c) configuration management

d) requirement analysis

Answer - Click Here:
A

7: SRS is also known is…

a) integrated testing

b) stress testing

c) black box testing

d) white box testing

Answer - Click Here:
C

8: Coupling desired level is…

a) data coupling

b) common coupling

c) control coupling

d) no coupling

Answer - Click Here:
A

9: Which of the following option are forms of alpha and beta testing?

a) system testing

b) acceptance testing

c) unit testing

d) integration testing

Answer - Click Here:
B

10: Which of the following encapsulates an object?

a) state

b) data

c) behaviour

d) both data & behaviour

Answer - Click Here:
D

11: flowchart can replace…

a) case effect graph

b) structure charts

c) decision table

d) pseudocode

Answer - Click Here:
D

12: Which of the following shows the ER Model?

a) dynamic view

b) functional view

c) both a & b

d) static view

Answer - Click Here:
D

Formal software multiple choice questions Answers

Computer Science Repeated MCQs Book Download

Prof.Fazal Rehman Shamil (Available for Professional Discussions)
1. Message on Facebook page for discussions,
2. Video lectures on Youtube
3. Email is only for Advertisement/business enquiries.