A formal verification technique that exhaustively checks whether a finite-state model of a system satisfies a given temporal logic property is:

More Software Engineering MCQs

• The Software Configuration Management process of creating a record of changes, release notes, and build manifests for audit compliance is:
• In Object-Oriented metrics, Coupling Between Object Classes (CBO) measures:
• In Software Cost Estimation, COCOMO II replaces KLOC with which alternative early-stage size metric when source code is not yet written?
• In Software Maintenance, Lehman’s Law of Increasing Complexity states that as an evolving system changes, its structural complexity:
• In Object-Oriented metrics, the Lack of Cohesion in Methods (LCOM) metric measures: