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.

The statement "Test suite coverage can be increased without the need for refactoring" is accurate because test suite coverage refers to the extent to which the test cases cover the software under test. This coverage can be enhanced by adding new tests that address areas not previously covered, without necessarily modifying the existing test structures or setups. Refactoring is often related to improving the internal design of the tests for better maintainability or performance but does not inherently affect the coverage directly .

To determine the minimum quantity of test cases that will give 100% statement coverage, we need to ensure that each executable statement in the code is executed at least once. Let's analyze the code step by step to identify the necessary paths:

Valid account number and active account:

Crediting money to the account.

Old balance < zero, new balance >= zero (overdraft cleared).

VIP customer: message sent by email.

Valid account number and active account:

Crediting money to the account.

Old balance < zero, new balance < zero (account overdrawn).

Non-VIP customer.

Valid account number and active account:

Crediting money to the account.

Old balance >= zero.

VIP customer: message sent by email.

Valid account number but inactive account:

Set message "A/c inactive".

Send message by email to supervisor.

Invalid account number:

Add to the count of invalid inputs.

Considering these scenarios, we can see that the minimum number of test cases to cover all statements is three:

Path with a valid, active account, old balance < zero, new balance >= zero, and VIP customer.

Path with a valid, active account, old balance >= zero, and non-VIP customer.

Path with an inactive account or invalid account number.

Therefore, the correct answer is D. 3.