Ch 09: Testing Basics and Techniques

Explain the concept of 'White Box Testing' and its coverage criteria as detailed in the course materials. Differentiate between Statement Coverage, Branch Coverage, and Path Coverage, highlighting how path level testing achieves maximum code coverage. Include code implementation logic to illustrate.

A QA engineer needs to verify whether user data access privileges have been properly enforced within a web application database. Under Software Quality Engineering guidelines, what type of artifact should be used to perform this security check, and list four standard verification questions that must be included in it?

Suppose you are performing black box testing on the arithmetic operations of a calculator application. Describe the specific test ideas and boundary conditions you should explore, and explain how different input methods are verified as detailed in the course material.

A developer has designed a new program and wants to verify its internal logic structures (such as if-else statements, loops, and switches). What type of testing should they perform, and what elements of the code are checked using debugging tools under this testing approach?

void verifyBranch(int a, int b) {
    if (a > b) {
        // Statement 1
    }
}