Details

    • Type: Sub-task
    • Status: Resolved (View Workflow)
    • Priority: Major
    • Resolution: Done
    • Affects Version/s: None
    • Fix Version/s: None
    • Component/s: None
    • Labels:
      None
    • Docs QE Status:
      NEW
    • QE Status:
      NEW

      Description

      Verification picks up subsumption and overlap. These can detect if the user sets up a state that breaks the unique hit mode. In most cases!

      Code generation

      We can use activation-group, just to be sure, but since the rules are unique there is no need.

      V&V

      • Overlapping and subsumptant rows have the level ERROR.
      • Warning if Java code is used we can not be sure V&V results are valid.

        Gliffy Diagrams

          Attachments

            Activity

              People

              • Assignee:
                Rikkola Toni Rikkola
                Reporter:
                Rikkola Toni Rikkola
              • Votes:
                0 Vote for this issue
                Watchers:
                1 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: