Project

General

Profile

Bug #1559

Testsuite: when changing data model, generating testsuite from refinement fails silent

Added by Anonymous about 7 years ago. Updated 11 months ago.

Status:
Rejected
Priority:
High
Assignee:
-
Category:
-
Target version:
Start date:
08/01/2013
Due date:
% Done:

80%

Estimated time:

Description

We specified two formal requirements highlevel A and lowlevel B, and a refinement function for B connecting A and B.

After creating these 3 objects I changed the data model of A. Then I wanted to create a testsuite from the refinement function of B. It failed silent, only in the error log I got a log message.

Please give note if the test suite generation fails. And if possible, give a clue, why it fails.

History

#1 Updated by Anonymous about 7 years ago

org.eclipse.emf.common.util.BasicEList$BasicIndexOutOfBoundsException: index=4, size=4
at org.eclipse.emf.common.util.BasicEList.get(BasicEList.java:352)
at org.fortiss.af3.testing.model.impl.TestSuiteImpl.getInputPorts(TestSuiteImpl.java:633)
at org.fortiss.af3.testing.simulator.TestCaseSimulator.simulate(TestCaseSimulator.java:103)
at org.fortiss.af3.refinement.generate.RefinementTestSuiteGenerator.simulateTestCase(RefinementTestSuiteGenerator.java:201)
at org.fortiss.af3.refinement.generate.RefinementTestSuiteGenerator.generate(RefinementTestSuiteGenerator.java:99)
at org.fortiss.af3.refinement.ui.action.GenerateRefinedTestSuiteAction.run(GenerateRefinedTestSuiteAction.java:73)
at org.eclipse.jface.action.Action.runWithEvent(Action.java:498)
at org.eclipse.jface.action.ActionContributionItem.handleWidgetSelection(ActionContributionItem.java:584)
at org.eclipse.jface.action.ActionContributionItem.access$2(ActionContributionItem.java:501)
at org.eclipse.jface.action.ActionContributionItem$5.handleEvent(ActionContributionItem.java:411)
at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:84)
at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1053)
at org.eclipse.swt.widgets.Display.runDeferredEvents(Display.java:4165)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:3754)
at org.eclipse.ui.internal.Workbench.runEventLoop(Workbench.java:2701)
at org.eclipse.ui.internal.Workbench.runUI(Workbench.java:2665)
at org.eclipse.ui.internal.Workbench.access$4(Workbench.java:2499)
at org.eclipse.ui.internal.Workbench$7.run(Workbench.java:679)
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:332)
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:668)
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:149)
at org.fortiss.af3.rcp.application.AF3Application.start(AF3Application.java:48)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:110)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:79)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:344)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:179)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:622)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:577)
at org.eclipse.equinox.launcher.Main.run(Main.java:1410)
at org.eclipse.equinox.launcher.Main.main(Main.java:1386)

#2 Updated by Anonymous about 7 years ago

additionally I could not save the model, when it contained the test suites and refinement functions of the old data model. after deleting them, save was possible.

#3 Updated by Anonymous about 7 years ago

  • Target version changed from Phoenix 2.4 (Release August 2013) to Phoenix 2.4.1 (September 2013)

#4 Updated by Anonymous about 7 years ago

  • Target version changed from Phoenix 2.4.1 (September 2013) to Phoenix 2.4.1 RC1 (Feature Freeze)

#5 Updated by Anonymous about 7 years ago

  • Status changed from New to In Progress
  • % Done changed from 0 to 20

Generator can display dialog for error information now

#6 Updated by Anonymous about 7 years ago

  • Target version changed from Phoenix 2.4.1 RC1 (Feature Freeze) to Phoenix 2.4.1 RC2 (UI Beautification, Review Phase)

#7 Updated by Anonymous about 7 years ago

  • Status changed from In Progress to Resolved
  • Assignee changed from Anonymous to Anonymous
  • % Done changed from 20 to 80

the error dialog is now available.

#8 Updated by Anonymous about 7 years ago

It does not fail silent any more. I tested the ACC refinement example and changed the input value from Req. 3 from boolean to 3. Then the test suite generation from the refinement gives a error message, because it causes an exception. The reason is "null".

#9 Updated by Anonymous about 7 years ago

!STACK 0
java.lang.NullPointerException
at org.fortiss.af3.testing.simulator.TestCaseSimulator.simulate(TestCaseSimulator.java:150)
at org.fortiss.af3.testing.ui.action.UpdateTestSuiteAction.run(UpdateTestSuiteAction.java:85)
at org.eclipse.jface.action.Action.runWithEvent(Action.java:498)
at org.eclipse.jface.action.ActionContributionItem.handleWidgetSelection(ActionContributionItem.java:584)
at org.eclipse.jface.action.ActionContributionItem.access$2(ActionContributionItem.java:501)
at org.eclipse.jface.action.ActionContributionItem$5.handleEvent(ActionContributionItem.java:411)
at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:84)
at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1053)
at org.eclipse.swt.widgets.Display.runDeferredEvents(Display.java:4165)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:3754)
at org.eclipse.ui.internal.Workbench.runEventLoop(Workbench.java:2701)
at org.eclipse.ui.internal.Workbench.runUI(Workbench.java:2665)
at org.eclipse.ui.internal.Workbench.access$4(Workbench.java:2499)
at org.eclipse.ui.internal.Workbench$7.run(Workbench.java:679)

#10 Updated by Anonymous about 7 years ago

  • Status changed from Resolved to Feedback
  • Assignee changed from Anonymous to Anonymous

#11 Updated by Anonymous about 7 years ago

  • Target version changed from Phoenix 2.4.1 RC2 (UI Beautification, Review Phase) to Phoenix - BACKLOG

#12 Updated by Anonymous almost 3 years ago

  • Assignee set to Anonymous

#13 Updated by Anonymous over 2 years ago

  • Assignee changed from Anonymous to Anonymous

#14 Updated by Anonymous over 2 years ago

  • Target version changed from Phoenix - BACKLOG to AF3 2.13 RC2 (Tested, Bug-free)

#15 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.13 RC2 (Tested, Bug-free) to Backlog

#16 Updated by Johannes Eder over 1 year ago

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

#17 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)

#18 Updated by Simon Barner about 1 year ago

  • Assignee changed from Anonymous to Anonymous
  • Priority changed from Normal to High

Does this problem persist?

#19 Updated by Anonymous about 1 year ago

  • Assignee changed from Anonymous to Johannes Eder
  • Target version changed from AF3 2.16 RC2 (Tested, Bug-free) to Backlog

refinements cannot be created any more (at least from the GUI)
Please reject

#20 Updated by Johannes Eder 11 months ago

  • Status changed from Feedback to Rejected
  • Assignee deleted (Johannes Eder)

Also available in: Atom PDF