CSC165H1 Lecture Notes - Venn Diagram

• School: UTSG
• Department: Computer Science
• Course: CSC165H1
• Professor: Nathalie Fournier

Document Summary

You are given seven di erent programs a, c, e, g, i, k, m , each meant to carry out the same task, where programs. C, g, k, m are written in python and programs a, e, i are written in java: suppose that programs c, a, e, i, m are correct and programs g, k are incorrect. For each statement below, say whether the statement is true or false, and give the smallest number of programs that must be tested to verify your claim. Justify each answer. (a) all python programs are correct. False: test program g (or k) to verify. (b) some correct program is written in java. True: test program a (or e, or i) to verify. (c) every java program is correct. True: test programs a, e, and i to verify. (d) only programs written in python are incorrect. True: test programs a, e, and i to verify.