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

help5501

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

Options:
RSS cloud
Jump to:

Project question

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

 

Hi,

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.

cheers

Arran


ANONYMOUS wrote:

> 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