


Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Material Type: Exam; Professor: Zelkowitz; Class: Software Engineering; Subject: Computer Science; University: University of Maryland; Term: Fall 2004;
Typology: Exams
1 / 4
This page cannot be seen from the preview
Don't miss anything!



CMSC 435 final December 14, 2004 Sections 0402 Answer all questions in the space following each question.
(b) Black box testing
(c) Regression testing
(d) Partition testing
(e) Stress testing
(b) One of the above is based upon a formal definition. Which one and what is it?
(b) Explain the statement “The only absolutely safe car is one, which cannot move.”
(c) Congress often passes unrealistic laws. Assuming current cars has a safety factor of .999, what would be some problems is a law that required a car to be .999999 safe?
(b) If you add the axiom add(x,y)=x what happens? Is 1+1 still equal to 2? What does this mean?
(b) Postcondition
(c) Invariant
(d) Is Z a functional or non-functional language and why?
(e) In which lifecycle phase is a Z artifact created?
(b) What testing technique is this known as?
(a) Milestone
(b) Use case
(c) Sprint
(d) User story
(e) Metaphor