Addition reference cases

1. Purpose

This schedule specifies expected mathematical results for the operation in HMP-OP-001 §2.

Reference cases / expected results. This document is not a record of software tests or external certification.

2. Reference schedule

3. Repeated input

Case 05 adds a second value of 12g. It does not replace the first value of 12g. Equal values can be separate entries.

4. Interpretation

Case 03 expresses the identity property of addition. It makes no claim about which values an input control accepts.

A record of software verification would also require the app version, environment, actions, observed results, and any failures. None are supplied by this mathematical schedule.