Description
The section has entirely been remodeled.
- TA is introduced first in its "structured" version.
- TA parts are introduce gradually, on the basis of their rationale. Special emphasis on the "test outcome".
- so far, no mention on pre-condition (it seems to blend in "test trigger" at least in examples used.)
- no mention of post-condition (yet).
- the "prose" TA is introduced as a variant of above structure, where unmentioned parts are automatically inferred from a rule, instead of just absent.
V0.6:
- a few corrections based on comments (e.g. stated the default dependency: not(Pass)-> Fail)
- tried to illustrate better the notion of "test trigger" (renamed here Test Flow), for review.
- more semantics on pre-requisites, test trigger/flow.
- various edits.
V0.7:
- serious rewording, based on F2F discussions. Still incomplete.
V0.8:
- improve terminology (test condition --> assertion predicate)
- reword beginning of 0.7, with more examples.
- add a "prerequisite" section
- add an "optional statement" section.
- various edits.