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

In the context of software testing, different safety integrity levels (SIL) require different levels of rigor in testing. According to the IEC61508 standard, for software components rated at SIL 2, achieving 100% statement coverage and 100% decision coverage is recommended. Statement coverage ensures that every line of code is executed at least once during testing, while decision coverage ensures that every decision in the code (e.g., every branch of an IF statement) is executed on both the true and false sides. These coverage criteria ensure a thorough testing of the software components to validate that they behave correctly in all circumstances. Multiple condition coverage and MC/DC coverage (Options A and B) are more rigorous and typically required for higher SIL levels, such as SIL 4.

To achieve 100% decision coverage, we need to ensure that every decision (if statement) in the code has been tested for both true and false outcomes. Let's analyze the code and count the decisions:

IF (Room_price > 200)

IF (Loyalty_level = Platinum) inside Room_price > 200

ELSE within the same decision above

IF (Loyalty_level = Gold) inside the ELSE of decision 2

IF (Room_price > 150)

IF (Loyalty_level = Platinum) inside Room_price > 150

ELSE within the same decision above

IF (Discount_factor < 100%)

To cover all these decisions, we need test cases for each possible combination:

Room_price > 200 and Loyalty_level = Platinum.

Room_price > 200 and Loyalty_level = Gold.

Room_price > 200 and Loyalty_level not Platinum or Gold.

Room_price <= 200 and Room_price > 150, and Loyalty_level = Platinum.

Room_price <= 200 and Room_price > 150, and Loyalty_level not Platinum.

Room_price <= 150.

From these scenarios, we can see that the minimum number of test cases required to achieve 100% decision coverage is four:

Test with Room_price > 200 and Loyalty_level = Platinum (tests decision 1 true, 2 true, and 8 true).

Test with Room_price > 200 and Loyalty_level = Gold (tests decision 1 true, 2 false, 4 true, and 8 true).

Test with Room_price > 200 and Loyalty_level not Platinum or Gold (tests decision 1 true, 2 false, 4 false, and 8 true).

Test with Room_price <= 200 and Room_price > 150, and Loyalty_level = Platinum (tests decision 1 false, 5 true, 6 true, and 8 true).

Test with Room_price <= 200 and Room_price > 150, and Loyalty_level not Platinum (tests decision 1 false, 5 true, 6 false, and 8 true).

Test with Room_price <= 150 (tests decision 1 false, 5 false, and 8 false).

Given that these six cases test all branches, four test cases are required to ensure that all decisions are covered at least once.

Therefore, the correct answer is A. 4.

The provided pseudo code for the Answer program shows a WHILE loop that will always execute because the condition for the loop to terminate (a >= d) is never met within the loop's body. This results in an infinite loop. Additionally, since the value of 'b' is initialized with 'a + 10' and 'a' starts from a value that is read and then set to 2, 'b' will never be equal to 12. Therefore, the 'THEN' branch of the IF statement, which includes 'print(b)', is unreachable. These are control flow anomalies because they represent logic in the code that will not function as presumably intended.