Black box testing Dbc Design by contract

znqznp444
timer Asked: Apr 27th, 2015

Question Description

Imagine an operation is specified as follows:

context: Customer::compareDetails(otherName : String, otherAddressDetails : AddressDetails)

pre:

-- otherName and otherAddressDetails are not null

post:

-- if the name of this object matches otherName and the addressDetails of this object matches otherAddressDetails

-- return true

-- otherwise return false

Suppose you are asked to design black-box tests for this operation and are allowed to use only six different tests. Say what tests you would choose. For each test provide the inputs, the expected result, and a brief rationale for the test. Assume design by contract.


User generated content is uploaded by users for the purposes of learning and should be used following Studypool's honor code & terms of service.

This question has not been answered.

Create a free account to get help with this and any other question!

Related Tags

Brown University





1271 Tutors

California Institute of Technology




2131 Tutors

Carnegie Mellon University




982 Tutors

Columbia University





1256 Tutors

Dartmouth University





2113 Tutors

Emory University





2279 Tutors

Harvard University





599 Tutors

Massachusetts Institute of Technology



2319 Tutors

New York University





1645 Tutors

Notre Dam University





1911 Tutors

Oklahoma University





2122 Tutors

Pennsylvania State University





932 Tutors

Princeton University





1211 Tutors

Stanford University





983 Tutors

University of California





1282 Tutors

Oxford University





123 Tutors

Yale University





2325 Tutors