Software Testing Verification / Validation and Quality Assurance

Use http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1702019 if you need a reference

Question II: 1) Draw a control-flow graph for the pseudo code listed below with each node representing a basic block (not a single statement). Also, annotate each node with the following three sets. (4 points) Note that some variables can have both c-use and p-use in a single statement (e.g., Line 4 and Line 9) Definition: a set of all the variables with at least one definition at the node C-use: aset of all the variables that have at least one c-use at the node P-use: a set of all the variables that have at least one p-use at the node Use the format (var, def_line, use_line) reason why some pairs (if any) cannot be covered (i.e., infeasible). (3 points) 2. 2) List all def-c-use pairs with respect to the variable x. (3 points) 3) Create a minimum number of test cases to cover all these pairs. Explain the read x, 3. hile (i