Actual programming of software code is done during the __________________ step in the SDLC?
A. Maintenance and evaluation
B. Design
C. Analysis
D. Development and documentation
Which is the first step in the software development life cycle ?
A. Analysis
B. Design
C. Problem/opportunity identification
D. Development and documentation
Who designs and implement database structures ?
A. Programmers
B. Project managers
C. Technical writers
D. Database administrators
In Design phase, which is the primary area of concern ?
A. Architecture
B. Data
C. Interface
D. All of the mentioned
Static Analysis involves executing a program ?
A. True
B. False
ExpLanation: static analysis techniques are system verification techniques that don’t involve executing a program.
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
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