ALISA goal - requirements check

dpgluch commented 3 years ago

Summary There is an error message that a goal does not have a corresponding requirement when there are corresponding requirements, i.e. requirements that reference the goal. See attached screen shots.

Expected behavior No error message.

Actual behavior An error message is presented

Steps To Reproduce

If you can provide a small model or test case that demonstrates the issue, it will be much easier to debug.
Paste small code snippets in the three backticks below, larger ones should be put in a gist

Go to '...'
Click on '....'
Scroll down to '....'
See error

Paste your model here

Screenshots goals error1 goals error2

Desktop (please complete the following information):

OSATE Version: OSATE2 2.9.2.v20210324-1240 osate2 null
Operating System: Windows 10

Additional context Add any other context about the problem here.

lwrage commented 3 years ago

Could you include a minimal model that shows the issue, please? Note that you can edit the issue description. Also, it helps a lot if there are instructions on how exactly to reproduce the issue, even if it's just "open this file xyz.aadl in the text editor."

dpgluch commented 3 years ago

I have attached an example project. There is no error when the system model is in the same project as the ALISA files. In the attached example, if the package ErrorExample_Pkg is contained in another project, the error message occurs, even though the project containing the system model is referenced . Found this out in putting together the example.

autonomousAircraft.zip

lwrage commented 3 years ago

This looks like a duplicate of #2389.

osate / osate2

ALISA goal - requirements check #2630