Directions: For this final, you’ll be asked to consider a range of verification tasks for a specific software project. You will not need to write any code! But you will need to clearly articulate what steps you would take for each portion, and for every question you must justify your answers (explain why that answer is correct, or explain your reasoning for a subjective choice) for full credit. In particular, if you are asked to make an open-ended choice, more credit will be awarded for sensible justification rather than a specific choice. Some of the questions have no single right choice, and the grade will be based entirely on your reasoning (i.e., making a reasonable choice for a good reason
Directions: For this final, you’ll be asked to consider a range of verification tasks for a specific software project. You will not need to write any code! But you will need to clearly articulate what steps you would take for each portion, and for every question you must justify your answers (explain why that answer is correct, or explain your reasoning for a subjective choice) […]