CTFL_Syll_4.0 Exam Questions Tutorials

Branch coverage is a type of structural coverage metric that measures the percentage of branches or decision outcomes that are executed by the test cases. A branch is a point in the code where the control flow can take two or more alternative paths based on a condition. For example, an if-else statement is a branch that can execute either the if-block or the else-block depending on the evaluation of the condition. Branch coverage ensures that each branch is taken at least once by the test cases, and thus reveals the behavior of the software under different scenarios. Branch coverage is also known as decision coverage or all-edges coverage.

Branch coverage is suitable for testing the cases where a specific action is not allowed, because it can verify that the test cases cover all the possible outcomes of the conditions that determine the action. For example, if the program has a condition that checks if the manufacturing stage can be stopped, then branch coverage can ensure that the test cases cover both the cases where the stage can be stopped and where it cannot be stopped. This way, branch coverage can help identify any missing or incorrect branches that may lead to undesired or unsafe actions.

The other options are not correct because they are not suitable for testing the cases where a specific action is not allowed. Code coverage is a general term that encompasses various types of coverage metrics, such as statement coverage, branch coverage, data flow coverage, etc. Code coverage does not specify which type ofcoverage metric is used for the analysis. Data flow coverage is a type of structural coverage metric that measures the percentage of data flow paths that are executed by the test cases. A data flow path is a sequence of statements that define, use, or kill a variable. Data flow coverage is useful for testing the correctness and completeness of the data manipulation in the software, but not for testing the conditions that determine the actions. Statement coverage is a type of structural coverage metric that measures the percentage of statements or lines of code that are executed by the test cases. Statement coverage ensures that each statement is executed at least once by the test cases, but it does not reveal the behavior of the software under different scenarios. Statement coverage is a weaker criterion than branch coverage, because it does not account for the branches or decision outcomes in the code. References = ISTQB Certified Tester Foundation Level (CTFL) v4.0 syllabus, Chapter 4: Test Techniques, Section 4.3: Structural Testing Techniques, Pages 51-54.

Equivalence partitioning involves dividing input data into partitions that are treated the same by the system under test. The given specifications create overlapping partitions:

For n<0n < 0n<0, an error message "Value out of range" is issued.

For 0

For 100

However, the range between 0 and 100 is exclusive of 0 and 100, meaning that the partitions overlap and create ambiguity for the boundary values. Thus, the correct statement is that the requirements are not correct because the partitions are overlapping​​.

Test execution involves running test cases and documenting results. Test logs (A) provide evidence of executed tests, failures, and actual outcomes. Automated test scripts (B) are part of test implementation, test plans (C) belong to test planning, and test conditions (D) are identified during test analysis.

In a typical formal review process, the role usually responsible for documenting the findings, such as action items, decisions, and recommendations, made by the review team is the recorder. The recorder ensures that all discussions and conclusions are accurately captured and documented for future reference and follow-up.