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