A. Formal verification
B. Model checking
C. Automated program analysis
D. All of the mentioned
Correct Answer: All of the mentioned ✔
Last Updated: February 04, 2019
Related MCQs
- Which of the following is incorrect with respect to Model Checking ?
- The records of each patient that is receiving or has received treatment resembles which security concept ?
- Select the disadvantage of using Formal methods __________?
- Choose the fault class in which the following automated static analysis check would fall:”Variables declared but never used”?
- Choose the fault class in which the following automated static analysis check would fall:”Non-usage of the results of functions”?
- Which level of Static Analysis allows specific rules that apply to a program to be checked ?
- Choose the fault class in which the following automated static analysis check would fall: “Unreachable code”?
- Static analysis is now routinely used in the development of many safety and security critical systems?
- Choose the fault class in which the following automated static analysis check would fall:”Pointer Arithmetic” ?
- An impersonation of an authorised user is an example of a security threat ?
- Circumstances that have potential to cause loss or harm is known as__________?
- A system resource that has a value and has to be protected is known as __________?
- What is Life cycle risk assessment ?
- Security engineering is only concerned with maintenance of systems such that they can resist malicious attacks ?
- Controls that are intended to ensure that attacks are unsuccessful is analogous to __________ in dependability engineering?
- What are security controls ?
- Which of the following is a layer of protection for Security ?
- Which of the following is a bad practice of Dependable programming ?
- Which of the following is not a Protection system ?
- Exception handling is a mechanism to provide some fault avoidance ?
- What is a Range check ?
- The use of a well-defined, repeatable process is essential if faults in a system are to be minimized ?
- What is the term for a system that is designed such that the faults in the delivered software do not result in system failure ?
- What is the term for development process organised such that faults in the system are detected and repaired before delivery to the customer ?
- Which of the following is a Strategy to achieve Software diversity ?
- Which process characteristic with respect to Dependability Engineering is mentioned by the statement: “The process should be understandable by people apart from process participants” ?
- Which of the following examples does not involve dependability engineering ?
- Consider a case where the failure of the system causes damage to the system itself or it data. What type of failure is being described here ?
- At which stage of risk analysis specification, the additional security requirements take account of the technologies used in building the system and system design and implementation decisions ?
- Which reliability metric sets out the probable number of system failures that are likely to be observed relative to a certain time period ?
- To specify security requirements, one should identify the risks that are to be dealt with ?
- Which reliability requirements are concerned with maintaining copies of the system ?
- Which of the following is not a functional reliability requirement for a system ?
- POFOD stands for__________?
- How many stages are there in Risk-driven requirements specification ?
- An event that occurs at some point in time when the system does not deliver a service as expected by its users is called __________?
- Consider a case where the system is unavailable and cannot deliver its services to users. What type of failure is being described here ?
- A weakness in a computer-based system that may be exploited to cause loss or harm is known as ?
- A password checking system that disallows user passwords that are proper names or words that are normally included in a dictionary is an example of __________ with respect to security systems?
- An assessment of the worst possible damage that could result from a particular hazard is known as __________?
- An erroneous system state that can lead to system behavior that is unexpected by system users is known as__________?
- The safety of a system is a system attribute that reflects the system’s ability to operate, normally or abnormally, without injury to people or damage to the environment ?
- A chemical plant system may detect excessive pressure and open a relief valve to reduce these pressures before an explosion occurs. What kind of dependability and security issue the example states ?
- An aircraft engine normally includes automatic fire extinguishers.What kind of dependability and security issue the example states ?
- A characteristic of a software system that can lead to a system error is known as __________ ?
- Which of the following terms is a measure of the probability that the system will cause an accident ?