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:

Project question

1 of 124 articles shown, currently no other people reading this forum.
From: Arran S.
Date: Fri 22nd May 2020, 10:16am



No, you're not expected to, and the marking rubric doesn't refer to them.

As the project spec says, you need to declare:

- three sorts of entity
- appropriate relationships and cardinalities

However, if you'd like to include them, you're welcome to.




> 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.

Related articles

Project question (both) RSS
├─ original   Thu 21st May 2020, 7:44pm, ANONYMOUS
└─ THIS   Fri 22nd May 2020, 10:16am, Arran S.
This Page

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