Suppose a program contains N decision points, each of which has two branches. How many test cases are needed to perform path testing on such a program? If there are M choices at each decision point, how many test cases are needed for pa th testing? Can the program's structure reduce this number? Give an example to support your answer.