Description
Modified or additional proposed updates composed with those from previous post (WD2) (see diffs) in:
- 3.1.1: some editorial nits in the terms definitions of TA parts.
- in 3.2 "Nest Practices": new sub-section 3.2.1 "Basic Guidelines for Test Assertions Parts" that brings up material that was further down the doc (for Predicate guidelines) or in Glossary at the end (for Prescription Level)
- 3.2.4: a few revision to former proposal about "Testable Predicates"
- 4.1 "Complex Predicates": a few updates, editorial.
- 4.2 "Prerequisites": editorial updates.
- 4.6 (new subsection) Partially Testable Normative Sources, finalized.
- Section 6 "Glossary": proposed updates, and in particular proposed redefinition of "Normative Statement" to address Kevin issue. The idea here is that "Conformance Target" is a concept not developed at all here (nor in TA model!) should not be needed to define Normative Statement.
- Section 1.1 "References": several References were not used at all in the body of the document! Added new inline references using them, still need to use [VAR] and [TMD] in the body.