CTAL-TTA Exam Dumps : Certified Tester Advanced Level Technical Test Analyst

Program tax check

Integer: tax_rate

real: tax%

BEGIN

tax% := 0

GET (tax_rate)

WHILE tax_rate > 0 loop

IF tax_rate > 3 THEN

tax_rate := 3

ENDIF

tax% := tax% + (tax_rate / 10)

tax_rate := tax_rate - 1

ENDLOOP

IF tax% > 0.6 THEN

print ("tax rate is high")

ELSEIF tax% < 0.1 THEN

print ("tax rate is zero")

ELSE

print ("tax rate is low")

ENDIF

END tax check

Explanation of Control Flow:

Initialization:

tax% := 0

Get Tax Rate:

GET (tax_rate)

While Loop:

Loop runs while tax_rate > 0.

Inside the loop:

If tax_rate > 3, set tax_rate to 3.

Update tax% by adding tax_rate / 10.

Decrement tax_rate by 1.

Post-Loop Condition Checks:

After the loop, check the value of tax%:

If tax% > 0.6, print "tax rate is high".

Else if tax% < 0.1, print "tax rate is zero".

Otherwise, print "tax rate is low".

Unreachable Code Analysis:

The ELSEIF tax% < 0.1 THEN condition (line 17) is unreachable.

In the loop, tax% is incremented by a minimum of 0.1 each time tax_rate is greater than 0.

Therefore, tax% cannot be less than 0.1 after the loop.

Conclusion:

Line 17 (ELSEIF tax% < 0.1 THEN) will never be true given the logic of the loop.

Multiple condition testing requires each possible combination of conditions to be tested, whereas modified condition/decision testing (MC/DC) requires each condition to be shown to independently affect the outcome. In the case of the ATM withdrawal, TC 3 (Customer does not have sufficient funds and credit has not been granted) would not result in the machine paying out, which is a result of applying multiple condition testing. However, for MC/DC, this test case would not be included because it doesn't provide an independent assessment of either condition's effect on the decision since both conditions are negative and the outcome is as expected (no payout).

Service virtualization is used in test environments to simulate the behaviors, data, and performance characteristics of dependent systems that are not available for testing due to limitations such as cost, access, or complexity. This allows for more thorough testing of the product under test in a controlled, stable environment that mimics real-world conditions without the need for actual live systems .