Dependability and Security Mcqs

Our Collection contain MCQs to prepare an individual for competitive exams like NTS, GAT, ECAT, University and College entrance exams and various tests and interviews. One should practice to assimilate Dependability and Security topic comprehensively.

  1. Home
  2. »
  3. Computer Science Mcqs
  4. »
  5. Software Engineering Mcqs
  6. »
  7. Dependability and Security Mcqs

2.
Which of the following is a technique covered in Static Analysis ?

Formal verification

Model checking

Automated program analysis

All of the mentioned

3.
Which of the following is incorrect with respect to Model Checking ?

Model checking is particularly valuable for verifying concurrent systems

Model checking is computationally very inexpensive

The model checker explores all possible paths through the model

All of the mentioned

4.
The records of each patient that is receiving or has received treatment resembles which security concept ?

Asset

Threat

Vulnerability

Control

5.
Select the disadvantage of using Formal methods ___________________?

Concurrent systems can be analysed to discover race conditions that might lead to deadlock

Producing a mathematical specification requires a detailed analysis of the requirements

They require the use of specialised notations that cannot be understood by domain experts

All of the mentioned

6.
Choose the fault class in which the following automated static analysis check would fall:”Variables declared but never used”?

Control Faults

Data Faults

Input/Output Faults

Interface faults

7.
Choose the fault class in which the following automated static analysis check would fall:”Non-usage of the results of functions”?

Storage management faults

Data Faults

Input/Output Faults

Interface faults

8.
Which level of Static Analysis allows specific rules that apply to a program to be checked ?

Characteristic error checking

User-defined error checking

Assertion checking

All of the mentioned

9.
Choose the fault class in which the following automated static analysis check would fall: “Unreachable code”?

Control Faults

Data Faults

Input/Output Faults

Interface faults

10.
Static analysis is now routinely used in the development of many safety and security critical systems?

True

False

D More Details about this Mcq

A

11.
Choose the fault class in which the following automated static analysis check would fall:”Pointer Arithmetic” ?

Storage management faults

Data Faults

Input/Output Faults

Interface faults

12.
An impersonation of an authorised user is an example of a security threat ?

True

False

D More Details about this Mcq

B

13.
Circumstances that have potential to cause loss or harm is known as___________________?

Attack

Threat

Vulnerability

Control

14.
A system resource that has a value and has to be protected is known as ________________________?

Asset

Control

Vulnerability

None of the mentioned

15.
What is Life cycle risk assessment ?

Risk assessment before the system has been deployed

Risk assessment while the system is being developed

All of the mentioned

None of the mentioned

0Shares
0
Scroll to Top