Skip to content

Commit 4d0ded3

Browse files
LucaFgrThomasClausnitzer
authored andcommitted
resolved TODOs in TA-Behaviours
1 parent c633504 commit 4d0ded3

1 file changed

Lines changed: 6 additions & 7 deletions

File tree

TSF/trustable/assertions/TA-BEHAVIOURS_CONTEXT.md

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -49,11 +49,10 @@ sufficient.
4949

5050
- List of Expectations
5151
- **Answer**: The Expectations are provided via JLEX-01 and JLEX-02.
52-
- Argument of sufficiency for break-down of expected behaviour for all
53-
Expectations
54-
- **Answer**: TODO: Create a new statement JLS-56 about sufficiency of break-down and reference JLEX-01 and JLEX-02.
52+
- Argument of sufficiency for break-down of expected behaviour for all Expectations
53+
- **Answer**: See JLS-56.
5554
- Validation and verification of expected behaviour
56-
- **Answer**: The validation and verification of expected behaviour is done via the evidence provided for all the statements below JLEX-01 and JLEX-02 in the trustable graph. TODO reference JLS-03.
55+
- **Answer**: The validation and verification of expected behaviour is done via the evidence provided for all the statements below JLEX-01 and JLEX-02 in the trustable graph, in addition to JLS-03.
5756

5857

5958
**Confidence scoring**
@@ -71,7 +70,7 @@ and that the resulting system and tests are validated by appropriate strategies.
7170
- Could some participants have incentives to manipulate information?
7271
- **Answer**: We cannot imagine any incentive to manipulate information.
7372
- Could there be whole categories of Expectations still undiscovered?
74-
- **Answer**: It is currently unlikely that there are whole categories of Expectations still undiscovered. TODO mention SME reviews increase confidence
73+
- **Answer**: It is currently unlikely that there are whole categories of Expectations still undiscovered.
7574
- Can we identify Expectations that have been understood but not specified?
7675
- **Answer**: There are currently no Expectations that have been understood but not specified.
7776
- Can we identify some new Expectations, right now?
@@ -85,6 +84,6 @@ and that the resulting system and tests are validated by appropriate strategies.
8584
- Are there any Expectations where we believe more coverage would help?
8685
- **Answer**: No, the coverage is already on a high level and no further gains are expected by further increasing the coverage.
8786
- How do dependencies affect Expectations, and are their properties verifiable?
88-
- **Answer**: The nlohmann/json library does not have external dependencies, so that there are none that could possibly affect the Expectations. TODO say that this doesnt apply to testing
87+
- **Answer**: The nlohmann/json library does not have any external dependencies apart from the testing pipeline, so there are no dependencies that could possibly affect the Expectations.
8988
- Are input analysis findings from components, tools, and data considered in relation to Expectations?
90-
- **Answer**: TODO ask in libera chat or look through TA-Behaviours
89+
- **Answer**: For components, there is no input analysis as the nlohmann/json library has no external components (see JLS-34). For Tools, a tool assessment is provided via JLS-50. In addition, the only data provided to the nlohmann/json library is the input data when using the libraries' functionality.

0 commit comments

Comments
 (0)