Project

General

Profile

Bug #3642

Avoid missing and duplicated IDs

Added by Simon Barner over 1 year ago. Updated 6 months ago.

Status:
In Progress
Priority:
Normal
Assignee:
Category:
-
Start date:
02/18/2019
Due date:
% Done:

50%

Estimated time:

Description

The console displays a lot of warnings regarding missing or duplicated IDs:

!MESSAGE The following missing/duplicate IDs have been fixed in "AF3-Project3.af3_23".
Please report this incident since it indicates a programming error that could result in corrupted model files.
  Duplicate ID 9 disambiguated for element "org.fortiss.af3.safety.model.annotation.impl.SafetyIntegrityLevelImpl@3e9053b3 (id: 9, name: null) (safetyStandard: undefined, asilValue: QM, dalValue: DAL E, silValue: SIL0, undefinedStandardValue: <unset>)" 
  Missing ID added to element "org.fortiss.af3.safety.model.annotation.impl.SafetyIntegrityLevelImpl@4b45016d (id: 0, name: null) (safetyStandard: undefined, asilValue: QM, dalValue: DAL E, silValue: SIL0, undefinedStandardValue: <unset>)" 

Steps to reproduce

  • New Project
  • Add new CA
  • Add two components
  • Save project

Furthermore, similar tests should be preformed with other model elements that carry annotations (e.g., task architecture, allocations, ...)

AF3 Features that rely on IDs

  • Model persistence
    • Description: Model elements are referred by ID
    • Entry point: org.fortiss.tooling.kernel.internal.storage.eclipse.ModelContext.doSave()
  • Code generation
    • Description:
    • Entry point:
  • NuSMV
    • Description:
    • Entry point:
  • DSE (Z3)
    • Description:
    • Entry point:
  • ??
    • Description:
    • Entry point:
Migrate_Execution_Configuration.af3_23 (4.3 KB) Migrate_Execution_Configuration.af3_23 Test case for deprecation of IIdLabledReference Simon Barner, 02/21/2019 04:49 PM

History

#2 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.15 RC1 (Feature Freeze) to AF3 2.16 RC1 (Feature Freeze)

#3 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.16 RC1 (Feature Freeze) to AF3 2.16 RC2 (Tested, Bug-free)

#4 Updated by Simon Barner over 1 year ago

  • Status changed from New to In Progress
  • Target version changed from AF3 2.16 RC2 (Tested, Bug-free) to Team Programming July 2nd 2019
  • % Done changed from 0 to 50

#5 Updated by Simon Barner over 1 year ago

  • Description updated (diff)

#6 Updated by Simon Barner over 1 year ago

  • Description updated (diff)

#7 Updated by Simon Barner about 1 year ago

  • Target version changed from Team Programming July 2nd 2019 to AF3 2.17 (Feature Freeze)

#8 Updated by Johannes Eder 7 months ago

  • Target version changed from AF3 2.17 (Feature Freeze) to AF3 2.17 (Tested, Bug Free)

#9 Updated by Johannes Eder 6 months ago

  • Target version changed from AF3 2.17 (Tested, Bug Free) to AF3 2.18 - Critical bugs fixed

Also available in: Atom PDF