@ncoderz/awa 1.7.0 → 1.7.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/package.json
CHANGED
|
@@ -116,8 +116,7 @@ sections:
|
|
|
116
116
|
description: >
|
|
117
117
|
Trace matrix grouped by source REQ file. Each H3 is a REQ file path,
|
|
118
118
|
containing bullet entries mapping ACs to tasks and tests, followed by
|
|
119
|
-
properties to tests.
|
|
120
|
-
without task/test coverage.
|
|
119
|
+
properties to tests.
|
|
121
120
|
children:
|
|
122
121
|
- heading: ".*"
|
|
123
122
|
level: 3
|
|
@@ -128,10 +127,6 @@ sections:
|
|
|
128
127
|
Followed by bullet list of AC and property trace entries.
|
|
129
128
|
AC format: - {AC-ID} → {Task} ({Test})
|
|
130
129
|
Property format: - {Property-ID} → {Test}
|
|
131
|
-
contains:
|
|
132
|
-
- pattern: "^UNCOVERED:"
|
|
133
|
-
label: "UNCOVERED declaration"
|
|
134
|
-
description: "Lists AC or property IDs that lack task/test coverage, or (none)."
|
|
135
130
|
|
|
136
131
|
sections-prohibited:
|
|
137
132
|
- "**"
|
|
@@ -207,4 +202,3 @@ example: |
|
|
|
207
202
|
- CFG-2_AC-1 → T-CFG-020 (T-CFG-021)
|
|
208
203
|
- CFG_P-1 → T-CFG-012
|
|
209
204
|
|
|
210
|
-
UNCOVERED: (none)
|
|
@@ -76,13 +76,11 @@ Place above tests. Use P- for property-based tests, AC- for direct acceptance te
|
|
|
76
76
|
- Implement interface as specified in DESIGN
|
|
77
77
|
- Add @awa-impl marker above code satisfying each AC
|
|
78
78
|
- One AC may require multiple @awa-impl markers across files
|
|
79
|
-
- Update REQ file AC checkmark when fully implemented
|
|
80
79
|
|
|
81
80
|
6. FOR EACH TEST
|
|
82
81
|
- Property tests (@awa-test: {CODE}_P-{n}): Use property-based testing framework
|
|
83
82
|
- Acceptance tests (@awa-test: {CODE}-{n}[.{p}]_AC-{m}): Use example-based assertions
|
|
84
83
|
- A single test may verify multiple ACs or properties
|
|
85
|
-
- Update DESIGN file Correctness Property checkmark when fully implemented
|
|
86
84
|
|
|
87
85
|
7. UPDATE DOCUMENTATION
|
|
88
86
|
- If user-facing behavior changed: update user docs
|