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

A. Control faults
B. Data faults
C. Input/output faults
D. Interface faults

Select the disadvantage of using Formal methods ___________________?

A. Concurrent systems can be analysed to discover race conditions that might lead to deadlock
B. Producing a mathematical specification requires a detailed analysis of the requirements
C. They require the use of specialised notations that cannot be understood by domain experts
D. All of the mentioned

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

A. Asset
B. Threat
C. Vulnerability
D. Control

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

A. Model checking is particularly valuable for verifying concurrent systems
B. Model checking is computationally very inexpensive
C. The model checker explores all possible paths through the model
D. All of the mentioned

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

A. Formal verification
B. Model checking
C. Automated program analysis
D. All of the mentioned

Static Analysis involves executing a program ?

A. True
B. False
ExpLanation: static analysis techniques are system verification techniques that don’t involve executing a program.

In Design phase, which is the primary area of concern ?

A. Architecture
B. Data
C. Interface
D. All of the mentioned

In the Analysis phase, the development of the ______________ occurs, which is a clear statement of the goals and objectives of the project ?

A. Documentation
B. Flowchart
C. Program specification
D. Design

Who designs and implement database structures ?

A. Programmers
B. Project managers
C. Technical writers
D. Database administrators

Which is the first step in the software development life cycle ?

A. Analysis
B. Design
C. Problem/opportunity identification
D. Development and documentation