JOBSEEKERS
Login
Sign Up
Jobseeker
Employer
Staffing Firm
Direct Client
Security Assurance interview questions
Security Assurance interview questions
Back
Take as many assements as you can to improve your validate your skill rating
Total Questions: 5
1. 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
Show Correct Answer
Correct Answer is :
All of the mentioned
2. 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
Show Correct Answer
Correct Answer is :
They require the use of specialised notations that cannot be understood by domain experts
3. 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
Show Correct Answer
Correct Answer is :
Model checking is computationally very inexpensive
4. 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
Show Correct Answer
Correct Answer is :
Data Faults
5. 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 mentioned
Show Correct Answer
Correct Answer is :
User-defined error checking
Similar Interview Questions
Search for latest jobs
Find Jobs