MCQOPTIONS
Saved Bookmarks
MCQOPTIONS
This section includes 10 Mcqs, each offering curated multiple-choice questions to sharpen your Software Engg knowledge and support exam preparation. Choose a topic below to get started.
| 1. |
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 |
| Answer» C. Assertion checking | |
| 2. |
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 faults |
| Answer» B. Data Faults | |
| 3. |
Static analysis is now routinely used in the development of many safety and security critical systems? |
| A. | True |
| B. | False |
| Answer» B. False | |
| 4. |
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 faults |
| Answer» E. | |
| 5. |
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 faults |
| Answer» B. Data Faults | |
| 6. |
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 |
| Answer» C. Input/Output Faults | |
| 7. |
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 |
| Answer» C. The model checker explores all possible paths through the model | |
| 8. |
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 |
| Answer» D. All of the mentioned | |
| 9. |
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 |
| Answer» E. | |
| 10. |
Static Analysis involves executing a program. |
| A. | True |
| B. | False |
| Answer» C. | |