Skip to content

Commit df823a3

Browse files
LucaFgrThomasClausnitzer
authored andcommitted
added additional context information
1 parent 8c9508f commit df823a3

3 files changed

Lines changed: 9 additions & 9 deletions

File tree

TSF/trustable/assertions/TA-BEHAVIOURS_CONTEXT.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -83,7 +83,7 @@ and that the resulting system and tests are validated by appropriate strategies.
8383
- Is every Expectation covered by at least one implemented test?
8484
- **Answer**: Yes, both of the expectations are covered by at least one implemented test.
8585
- Are there any Expectations where we believe more coverage would help?
86-
- **Answer**: No.
86+
- **Answer**: No, the coverage is already on a high level and no further gains are expected by further increasing the coverage.
8787
- How do dependencies affect Expectations, and are their properties verifiable?
8888
- **Answer**: The library nlohmann/json does not have external dependencies, so that there are in particular none that affect Expectations.
8989
- Are input analysis findings from components, tools, and data considered in relation to Expectations?

TSF/trustable/assertions/TA-CONSTRAINTS_CONTEXT.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -51,17 +51,17 @@ reporting bugs, issues, and requests.
5151
**Suggested evidence**
5252

5353
- Installation manuals with worked examples
54-
- **Answer**:
54+
- **Answer**: https://github.com/nlohmann/json?tab=readme-ov-file#integration
5555
- Configuration manuals with worked examples
56-
- **Answer**:
56+
- **Answer**: https://github.com/nlohmann/json?tab=readme-ov-file#integration and https://github.com/nlohmann/json?tab=readme-ov-file#supported-compilers
5757
- Specification documentation with a clearly defined scope
58-
- **Answer**:
58+
- **Answer**: https://github.com/nlohmann/json?tab=readme-ov-file#design-goals
5959
- User guides detailing limitations in interfaces designed for expandability or
6060
modularity
6161
- **Answer**:
6262
- Documented strategies used by external users to address constraints and
6363
work with existing Statements
64-
- **Answer**:
64+
- **Answer**: # All current AOUs here?
6565

6666
**Confidence scoring**
6767

TSF/trustable/assertions/TA-INDICATORS_CONTEXT.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -80,13 +80,13 @@ monitoring mechanisms have been implemented to collect the required data.
8080
**Checklist**
8181

8282
- How appropriate/thorough are the analyses that led to the indicators?
83-
- **Answer**:
83+
- **Answer**: Since no misbehaviours for the use of the library for parsing and verification of JSON data according to RFC8259 have been identified, no warning indicators are implemented.
8484
- How confident can we be that the list of indicators is comprehensive?
85-
- **Answer**:
85+
- **Answer**: There are no warning indicators implemented, of which we are very confident.
8686
- Could there be whole categories of warning indicators still missing?
87-
- **Answer**:
87+
- **Answer**: Yes, there could. Within S-CORE, however, any warning indicator that is not natively implemented within the original nlohmann/json should be implemented in the wrapper defining the interface between the library and the project using it.
8888
- How has the list of advance warning indicators varied over time?
89-
- **Answer**:
89+
- **Answer**: It has stayed constant since there currently are no warning indicators.
9090
- How confident are we that the indicators are leading/predictive?
9191
- **Answer**:
9292
- Are there misbehaviours that have no advance warning indicators?

0 commit comments

Comments
 (0)