Faculty of Engineering and Mathematical Sciences 
Not logged in (login)


This forum is provided to promote discussion amongst students enrolled in CITS5501 Software Testing and Quality Assurance.

Before posting a question here, you might like to (1) search the forum for previous posts asking the same question, and (2) read the article How To Ask Questions The Smart Way .
And please keep the discussion civil (as required by UWA's Computer Use Policy, #9).

RSS cloud
Jump to:

There are 4 articles from this person

4 of 124 articles shown, currently no other people reading this forum.

UWA week 22 - 1st semester, week 12

photo Unit marks question (both)
Fri 29th May 2020, 9:01am, ANONYMOUS
Not super important but, I've just noticed the workshops are listed to be worth 15%, the project 35% and the exam 60% so 15 + 35 + 60 = 110%?? just wondering which of these might be wrong.

UWA week 21 - 1st semester, week 11

photo Project question (both)
Thu 21st May 2020, 7:44pm, ANONYMOUS
Are we expected to include some assertions and checks in our alloy code for part 3? it seems small enough to not really be able to have non-trivial assertions but i understand it might be good to demonstrate best practice by having them.
photo Re: Workshop question - Omnivore (all 5)
Wed 20th May 2020, 4:59pm, ANONYMOUS  O.P.
you can add this to make sure an animal has to eat something if that was desired fact { carnivore + herbivore = animal }
photo Workshop question - Omnivore (all 5)
Wed 20th May 2020, 4:57pm, ANONYMOUS
i think this works as alloy code for omnivore btw for anyone in the workshop wondering Can anyone else confirm? sig animal {} sig herbivore in animal {} sig carnivore in animal {} sig omnivore in animal {} fact omni { omnivore in herbivore and omnivore in carnivore...
This Page

Program written by: [email protected]
Feedback welcome
Last modified: 11:27am Sep 21 2020