441. 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

442. The records of each patient that is receiving or has received treatment resembles which security concept ?
A. Asset
B. Threat
C. Vulnerability
D. Control

Explanation:
Asset is a system resource that has a value and has to be protected.

443. 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

Explanation:
Model checking is very expensive. It is only practical to use it in the verification of small to medium sized critical systems.

444. 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

445. 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.

446. In Design phase, which is the primary area of concern ?
A. Architecture
B. Data
C. Interface
D. All of the mentioned

Explanation:
Part of the design phase is to create structural and behavioral models of the system which is covered by architecture, data and the interface of the product.

447. 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

Explanation:
Program specification is the definition of what a computer program is expected to do.

448. Who designs and implement database structures ?
A. Programmers
B. Project managers
C. Technical writers
D. Database administrators

Explanation:
The role of database administrators includes the development and design of database strategies, system monitoring and improving database performance and capacity, and planning for future expansion requirements

449. Which is the first step in the software development life cycle ?
A. Analysis
B. Design
C. Problem/Opportunity Identification
D. Development and Documentation

450. A step by step instruction used to solve a problem is known as ___________________?
A. Sequential structure
B. A List
C. A plan
D. An Algorithm

NOTE
IF YOU THINK ANY OF THE MCQ ABOVE IS WRONG.
PLEASE COMMENT WITH CORRECT ANSWER AND ITS DETAIL EXPLANATION IN COMMENT BOX.
THANK YOU