The Binary BrothersTwo Mentors, One Mission – Your Selection
All mock tests are FREE till 31 December — register to save your progress
Unit 8 · Theory of Computation and Compilers

Match List (I) with List (II):
List I
A. Product Complexity
B. Structured System Analysis
C. Coupling & cohesion
D. Symbolic Execution
List II
I. System Requirements Design
II. Software design
III. Validation techniques
IV. Software cost estimation
Choose the correct answer from the options given below:

Pick an option to check yourself, or open the answer below.

Show answer & explanation

Correct answer: C. A-(IV), B-(I), C-(II), D-(III)

Explanation

Take the pairs one by one. Product complexity is an input to software cost estimation – in COCOMO it appears directly as the CPLX cost driver, so A–IV. Structured System Analysis (DFDs, data dictionary, process specifications) is the classical technique used while capturing and designing system requirements, so B–I. Coupling and cohesion are the two standard quality criteria used to judge a modular software design, so C–II. Symbolic execution runs a program on symbolic rather than concrete inputs to prove properties about paths, which makes it a validation / verification technique, so D–III. The combination A-(IV), B-(I), C-(II), D-(III) is option 3.

More Theory of Computation and Compilers questions