phase

declaration (of phase in test case file)

[NAME]

instruction (in phase)

test case

test case file

List of phases and their contents. A phase may appear several times (or not at all, if it is optional).

action to check

- program (to test/check)

- action (to test/check)

- system under test

processing (of test case file)

preprocessing (of test case file)

1. preprocessing (of test case file)

2. syntax checking (of test case file)

3. validation (of test case)

4. execution (of test case)

preprocessing (of test case file)

processing step (of test case file)

preprocessing (of test case file)

syntax checking (of test case file)

validation (of test case)

execution (of test case)

execution (of phase)

execution (of instruction)

outcome (of test case)

outcome (of [assert])

Either PASS or FAIL

effect (of executing an instruction)

Either side effect, or "outcome"??

reporting (of outcome of execution of test case)

reporting (of outcome of execution of test suite)

environment (that phase/test case is executed in)

implementation (of test case)

The test case itself - the instructions used by the test case writer to perform the test.

type

type system

data type

logic type

type (of argument)

type (of symbol)

value (of symbol)

symbol

definition (of symbol)

symbol reference

# Paths

path

relativity (of path)

relativity root (for path)

current directory