A static analysis tool is examining the following code: `if (a > 0) { b = 1; } else { b = 2; } c = b + 1;`. The tool reports that variable `b` has two definitions that both reach the use in `c = b + 1`. What is the significance of this finding?

The tool is reporting a false positive because `b` is always defined

The use of `b` is incorrect because it has multiple definitions

There are two def-use pairs for `b`, and both should be tested for data flow coverage

There is a data flow anomaly because `b` is defined twice

Which technique is commonly used in dynamic data flow analysis?

Instrumentation of the code to log variable accesses

What is a common limitation of data flow analysis in complex systems?

It cannot detect uninitialized variables

It requires the code to be written in a specific language

It can only be applied to small programs

It may produce false positives due to infeasible paths

Why are def-use pairs significant in data flow testing?

They help identify all possible execution paths in the program

They help measure code coverage percentage

They help identify potential data flow anomalies and guide test case design

They help ensure that every definition is used at least once

Certified Tester Advanced Level Technical Test Analyst

Domain 3Objective 3

Data Flow Analysis CTAL-TTA Practice Questions (Page 5)

Part of the Domain 3: Static and Dynamic Analysis domain, which makes up ~21% of our current practice bank. ISTQB does not publish an official question count, but from its 120-minute exam (~50–80 total, ~11–17 in this domain), expect 1–2 from this objective — we provide 32 practice questions to prepare you well beyond it. (estimate)

32questions here

7free pages

10concepts

Questions 21–25

21expert · hard
A test team has limited time and must choose a data flow coverage criterion for a safety-critical module. The module has a variable with a definition that reaches 10 different uses. The team wants to maximize the chance of finding defects while keeping the number of test cases manageable. Which criterion should they choose?
Select an answer first
22application · medium
A static analysis tool is examining the following code: `if (a > 0) { b = 1; } else { b = 2; } c = b + 1;`. The tool reports that variable `b` has two definitions that both reach the use in `c = b + 1`. What is the significance of this finding?
Select an answer first
23foundation · easy
Which technique is commonly used in dynamic data flow analysis?
Select an answer first
24foundation · easy
What is a common limitation of data flow analysis in complex systems?
Select an answer first
25foundation · easy
Why are def-use pairs significant in data flow testing?
Select an answer first

Finished these 5 questions?

Review the revealed explanations, or continue through the curriculum.

Next 5 questions →Back to CTAL-TTA

Free Basic Practice is a study aid with revealable answers — not a scored exam. Examers.io is independent and not affiliated with or endorsed by ISTQB. “CTAL-TTA” is a trademark of its owner, used for identification only.