Assignment 4.3, Specification Tests

Moderator: Type Systems of Programming Languages

dschneid
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 271
Registriert: 14. Dez 2009 00:56

Assignment 4.3, Specification Tests

Beitrag von dschneid »

Hi,

a group of us have worked on the third exercise of the current assignment. All of us only manage to satisfy only 16 of the 19 specification tests, even though we strongly think our implementations are correct.

Is there anyone else with this problem? Could this be a problem with the tests?

erdweg
Moderator
Moderator
Beiträge: 60
Registriert: 28. Mär 2013 10:08

Re: Assignment 4.3, Specification Tests

Beitrag von erdweg »

Try again. 3 test cases and my solution were buggy.
Sebastian

dschneid
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 271
Registriert: 14. Dez 2009 00:56

Re: Assignment 4.3, Specification Tests

Beitrag von dschneid »

Yeah, that did it.

Thanks.

Benutzeravatar
nine
Windoof-User
Windoof-User
Beiträge: 27
Registriert: 13. Okt 2010 20:35

Re: Assignment 4.3, Specification Tests

Beitrag von nine »

Hey!
According to tests: How many own tests do we have to write for task 3?
Regards

erdweg
Moderator
Moderator
Beiträge: 60
Registriert: 28. Mär 2013 10:08

Re: Assignment 4.3, Specification Tests

Beitrag von erdweg »

What does the task description say?

Benutzeravatar
nine
Windoof-User
Windoof-User
Beiträge: 27
Registriert: 13. Okt 2010 20:35

Re: Assignment 4.3, Specification Tests

Beitrag von nine »

Well, I have not found anything about a number of testcases in the sidebar or the comments of the test class.
So may I guess, that means we don't have to write a certain number of test cases? Just to be sure?
Thanks :-)

erdweg
Moderator
Moderator
Beiträge: 60
Registriert: 28. Mär 2013 10:08

Re: Assignment 4.3, Specification Tests

Beitrag von erdweg »

Well, if nothing is required, nothing is required.
I nevertheless recommend writing test cases to understand what is going on.

Sebastian

Antworten

Zurück zu „Type Systems of Programming Languages“