System Test 1: Test Name

Description

Procedure

• Control: Automatic/Manual

For automatic tests, just say you are using some test tool, GitHub Actions, etc.
For manual tests, you need to write the details on how to conduct the test.

Derivation

How did you come up with this test?
If the domain expert gave you this test case, mention it here.
Note down the source of the test case. Any (psuedo)oracle used?

Data

Be specific about the numbers

Initial State

Input

• x: ...
• y: ...

Output

• z: ...