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: Option D
This Question Belongs to Computer Science >> Software Engineering
Related Questions on Software Engineering
Which of the following is not a phase of the Software Development Life Cycle (SDLC)?
A. Planning
B. Analysis
C. Testing
D. Maintenance
What does UML stand for in software engineering?
A. Unified Modeling Language
B. Universal Modeling Language
C. Unique Modeling Language
D. Unified Management Language
Which software development model is also known as the linear-sequential life cycle model?
A. Agile
B. Waterfall
C. Spiral
D. RAD (Rapid Application Development)
In which phase of the SDLC is the feasibility study conducted?
A. Planning
B. Design
C. Implementation
D. Maintenance
Join The Discussion