2. [Perspective on Software Testing 15Pts] The following figure shows the relationships between specification (S), program (P), and test cases (T) in a typical software system. Explain the significance of each region (1-8) from test case generation perspective. Then, clearly explain your answers to the following question. a) Are specification-based functional testing and code-based structural testing sufficient to test a given software system (Yes/No)? Explain your reasoning Specification Program (expected) (observed) XP s Test Cases (verified)