| | |
Summary: CMPS 282: SOFTWARE ENGINEERING, Spring 2010 2011
Practice Problems for the Midterm
Note: Solutions are provided in a separate document, so that you can attempt the questins
without inadvertently looking at the answers.
Instructions (same as on the exam):
· Please leave the first page blank: write only your name and section number.
· Please draw a horizontal line across the page between the answers to each question.
· You may refer to the following during the exam: the course textbook, the course lecture
notes, your homework solutions, any notes that you have taken in class. If you wish to
use existing results, please cite them properly, e.g., use a page number for results in the
course textbook, or a lecture title and page number for results in the course notes.
· You may not refer to any other materials.
Good luck!
1. Find the precondition P so that the following are valid.
a) {P}
x := x + 4 y;
{x < 78}
b) {P}
x := x/y;
{x < 50}
|
