Related InterviewSolutions

• Choose the fault class in which the following automated static analysis check would fall:”Pointer Arithmetic”.(a) Storage management faults(b) Data Faults(c) Input/Output Faults(d) Interface faultsThis question was addressed to me in my homework.I'm obligated to ask this question of Dependability and Security Assurance topic in division Dependability and Security of Software Engineering
• Which level of Static Analysis allows specific rules that apply to a program to be checked ?(a) Characteristic error checking(b) User-defined error checking(c) Assertion checking(d) All of the mentionedThe question was posed to me during an interview for a job.This key question is from Dependability and Security Assurance in division Dependability and Security of Software Engineering
• Static analysis is now routinely used in the development of many safety and security critical systems.(a) True(b) FalseThe question was posed to me in a job interview.The doubt is from Dependability and Security Assurance topic in division Dependability and Security of Software Engineering
• Choose the fault class in which the following automated static analysis check would fall:”Non-usage of the results of functions”.(a) Storage management faults(b) Data Faults(c) Input/Output Faults(d) Interface faultsThis question was addressed to me in quiz.I'm obligated to ask this question of Dependability and Security Assurance in division Dependability and Security of Software Engineering
• Choose the fault class in which the following automated static analysis check would fall: “Unreachable code”.(a) Control Faults(b) Data Faults(c) Input/Output Faults(d) Interface faultsI have been asked this question during an online exam.The origin of the question is Dependability and Security Assurance in division Dependability and Security of Software Engineering
• 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 faultsThe question was posed to me in homework.This key question is from Dependability and Security Assurance in chapter Dependability and Security of Software Engineering
• 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 mentionedI got this question in quiz.My doubt stems from Dependability and Security Assurance topic in division Dependability and Security of Software Engineering
• 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 mentionedI have been asked this question by my school principal while I was bunking the class.This is a very interesting question from Dependability and Security Assurance in section Dependability and Security of Software Engineering
• 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 mentionedI had been asked this question during an online exam.This question is from Dependability and Security Assurance topic in section Dependability and Security of Software Engineering
• Static Analysis involves executing a program.(a) True(b) FalseI have been asked this question by my school principal while I was bunking the class.I'm obligated to ask this question of Dependability and Security Assurance topic in portion Dependability and Security of Software Engineering