search

OAGi / Score

Score
MIT License
9 stars 6 forks source link

Add Test Suite 38, Test Suite 39, Test Suite 40 and Test Suite 41 #1503

Closed elena-jelisic closed 1 year ago

hakjuoh commented 1 year ago

@elena-jelisic The following is a list of failed cases.

TC_38_6_EditingBrandNewSC
    test_TA_1
    test_TA_2

TC_38_7_EditingInheritedSCInBrandNewDTOrRevisedDT
    test_from_TA_1_to_TA_8

TC_38_10_EditingRevisionOfDeveloperDT
    test_TA_1
    test_TA_2

TC_38_11_EditingExistingSupplementaryComponentsOfRevisionOfDeveloperDT
    test_from_TA_1_to_TA_8

We'll discuss about the DT and SC propagations to fix these.

elena-jelisic commented 1 year ago
  1. According to Test Assertion #38.6.2, Test Assertion #38.7.8, Test Assertion #38.10.2, Test Assertion #38.11.8, Test Assertion #41.6.2, Test Assertion #41.7.8, Test Assertion #41.10.2, Test Assertion #41.11.8 restrictions applied to this SC in all DT derived from this DT will be lost. What is assumed by 'restrictions'? I understand 'restrictions' as 'Cardinality' and 'Value Constraint,' and these two are propagated to derived DTs.
  2. According to Test Assertion #38.6.1.b and Test Assertion #41.6.1.b, the Value Constraint should be reset when the Representation Term is changed.
  3. According to Test Assertion #38.10.1.d and Test Assertion #41.10.1.d, existing SC cannot be discarded. This is true only for SCs inherited from the base BDT but not those SCs inherited from the base CDT.
  4. According to Test Assertion #38.13.2 and Test Assertion #41.13.2, upon opening a DT that uses a deleted DT as a base, the system shall be able to flag that the opening DT is in an invalid state.
elena-jelisic commented 1 year ago
  1. According to Test Assertion #38.6.2, Test Assertion #38.7.8, Test Assertion #38.10.2, Test Assertion #38.11.8, Test Assertion #41.6.2, Test Assertion #41.7.8, Test Assertion #41.10.2, Test Assertion #41.11.8 restrictions applied to this SC in all DT derived from this DT will be lost. What is assumed by 'restrictions'? I understand 'restrictions' as 'Cardinality' and 'Value Constraint,' and these two are propagated to derived DTs.
  2. According to Test Assertion #38.6.1.b and Test Assertion #41.6.1.b, the Value Constraint should be reset when the Representation Term is changed.
  3. According to Test Assertion #38.10.1.d and Test Assertion #41.10.1.d, existing SC cannot be discarded. This is true only for SCs inherited from the base BDT but not those SCs inherited from the base CDT.
  4. According to Test Assertion #38.13.2 and Test Assertion #41.13.2, upon opening a DT that uses a deleted DT as a base, the system shall be able to flag that the opening DT is in an invalid state.

@kbserm @hakjuoh These are the issues that I found in TS_38 and TS_41. I wasn't sure if the documentation should be changed or the UI.