-
Notifications
You must be signed in to change notification settings - Fork 0
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Feedback Lab 2 #3
Comments
Hello @hdmeyer thank you for your valuable feedback. We can see the flaws in almost all of our exercises. Nonetheless, there is one feedback we could not quite understand. Would you please explain to us why there are tests missing in Exercise5? We test if the derangement function produces lists that: have the same length as the output (predicate1), contain the same elements (predicate 2), are a permutation (predicate1+ predicate2) and that they do not share elements at the same position (predicate3). We can not think of anything else we could test since these 3 predicates exactly mirror the specification. |
Hello Simon, @BertLisser could you please answer this question? Cheers, |
Hello Simon
Sorry, I overlooked the top lines.
The tests with properties which has one argument are okay.
But the tests with two arguments are not. The event that random an dearangement will be generated is very small
like in:
testSameElements :: [Int] -> [Int] -> Bool
so the precondition will not be satisfied (mostly). In these cases you test nothing.
To see this use verboseCheck.
The rating will be raised to 7.
Kind regards Bert
…----- Original Message -----
From: "Simon Schneider" <[email protected]>
To: "software-engineering-amsterdam/ST2017_WG_9" <[email protected]>
Cc: "Subscribed" <[email protected]>
Sent: Tuesday, September 26, 2017 12:56:36 PM
Subject: Re: [software-engineering-amsterdam/ST2017_WG_9] Feedback Lab 2 (#3)
Hello @hdmeyer
thank you for your valuable feedback. We can see the flaws in almost all of our exercises.
Nonetheless, there is one feedback we could not quite understand. Would you please explain to us why there are tests missing in Exercise5?
It includes a testReport in the comments and a long list of predicates and tests. (l 127-159)
We test if the derangement function produces lists that: have the same length as the output (predicate1), contain the same elements (predicate 2), are a permutation (predicate1+ predicate2) and that they do not share elements at the same position (predicate3).
We can not think of anything else we could test since these 3 predicates exactly mirror the specification.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
#3 (comment)
|
The text was updated successfully, but these errors were encountered: