Software Engineering Mcqs

Page No. 165

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


aFormal verification

✖


bModel checking

✖


cAutomated program analysis

✖


dAll of the mentioned

✓


View Answer All of the mentioned

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


aModel checking is particularly valuable for verifying concurrent systems

✖


bModel checking is computationally very inexpensive

✓


cThe model checker explores all possible paths through the model

✖


dAll of the mentioned

✖



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


a Asset

✓


bThreat

✖


cVulnerability

✖


dControl

✖


View Answer Asset

Select the disadvantage of using Formal methods ___________________?


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

✖


bProducing a mathematical specification requires a detailed analysis of the requirements

✖


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

✓


dAll of the mentioned

✖


View Answer All of the mentioned

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


aControl Faults

✖


bData Faults

✓


cInput/Output Faults

✖


dInterface faults

✖


View Answer Data Faults

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


aStorage management faults

✖


bData Faults

✖


cInput/Output Faults

✖


dInterface faults

✓


View Answer Interface faults

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


aCharacteristic error checking

✖


bUser-defined error checking

✓


cAssertion checking

✖


dAll of the mentioned

✖



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


aControl Faults

✓


bData Faults

✖


cInput/Output Faults

✖


dInterface faults

✖


View Answer Control Faults

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


aStorage management faults

✓


b Data Faults

✖


cInput/Output Faults

✖


dInterface faults

✖



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


aAttack

✖


bThreat

✓


cVulnerability

✖


dControl

✖


View Answer Threat

Goto Page No.

Page 165 of 190

Alphabetical MCQs Categories
—

Here below You find all kind of categories of MCQs in alphabetical order.


"Comprehensive Collection of MCQs: Alphabetically Organized by Subject"
—

"Discover an extensive collection of multiple-choice questions (MCQs) neatly categorized by subject from A to Z. This resource is designed for anyone eager to explore various topics in a straightforward and organized manner. Whether you're a student preparing for exams, an educator seeking supplementary materials, or simply curious about different subjects, this compilation offers a convenient way to learn and assess your knowledge. With questions arranged alphabetically, navigation is effortless, allowing you to delve into subjects of interest at your own pace. Engage, learn, and expand your understanding with this accessible and comprehensive repository of MCQs!"


BolPakistan

bolpakistan.com.pk includes Job Mcqs and Pak Mcqs is the Top Largest Mcqs Forum in World, in which you can read Mcqs of All Subjects, PPSC test preparation, FPSC, NTS and PPSC PAST PAPERS, PPSC PAST MCQS. A Collection of Repeated MCQs for JOBs seekers.

Copyright © 2024, Designed & Developed by BolPakistan