Coverage-Based Test Case Generation Fails
Coverage-based Test Case Generation (Both State and Transition) fails
due to the following error (reproducible).
Note that the random test case generation works without problems!!!
—————————————
!ENTRY org.eclipse.emf.common 2 0 2014-09-08 11:38:26.061
!MESSAGE An exception was ignored during command execution
!STACK 0
org.eclipse.emf.common.util.WrappedException: An exception was ignored
during command execution
at
org.eclipse.emf.common.command.BasicCommandStack.handleError(BasicCommandStack.java:287)
at
org.eclipse.emf.transaction.impl.AbstractTransactionalCommandStack.handleError(AbstractTransactionalCommandStack.java:125)
at
org.eclipse.emf.common.command.BasicCommandStack.execute(BasicCommandStack.java:118)
at
org.eclipse.emf.transaction.impl.AbstractTransactionalCommandStack.basicExecute(AbstractTransactionalCommandStack.java:241)
at
org.eclipse.emf.transaction.impl.TransactionalCommandStackImpl.doExecute(TransactionalCommandStackImpl.java:63)
at
org.eclipse.emf.transaction.impl.AbstractTransactionalCommandStack.execute(AbstractTransactionalCommandStack.java:165)
at
org.eclipse.emf.transaction.impl.AbstractTransactionalCommandStack.execute(AbstractTransactionalCommandStack.java:219)
at
org.fortiss.tooling.kernel.internal.storage.eclipse.AutoUndoCommandStack.execute(AutoUndoCommandStack.java:84)
at
org.fortiss.tooling.kernel.internal.storage.eclipse.ModelContext.runAsCommand(ModelContext.java:258)
at
org.fortiss.tooling.kernel.internal.CommandStackService.runAsCommand(CommandStackService.java:65)
at
org.fortiss.af3.testing.utils.ModelCheckingUtils.createTestCase(ModelCheckingUtils.java:142)
at
org.fortiss.af3.testing.generator.modelchecking.ModelCheckingTestSuiteGenerator.makeTestCases(ModelCheckingTestSuiteGenerator.java:183)
at
org.fortiss.af3.testing.generator.modelchecking.ModelCheckingTestSuiteGenerator.generate(ModelCheckingTestSuiteGenerator.java:115)
at
org.fortiss.af3.testing.generator.modelchecking.GenerateTestSuiteCommand.run(GenerateTestSuiteCommand.java:71)
at
org.eclipse.jface.operation.ModalContext$ModalContextThread.run(ModalContext.java:121)
Caused by:
org.eclipse.emf.common.util.BasicEList$BasicIndexOutOfBoundsException:
index=0, size=0
at org.eclipse.emf.common.util.BasicEList.get(BasicEList.java:352)
at
org.fortiss.af3.testing.utils.ModelCheckingUtils$2.run(ModelCheckingUtils.java:153)
at
org.fortiss.tooling.kernel.internal.storage.eclipse.ModelContext$2.execute(ModelContext.java:267)
at
org.fortiss.tooling.kernel.internal.storage.eclipse.EMFTransactionalCommand$1.doExecute(EMFTransactionalCommand.java:60)
at
org.eclipse.emf.transaction.RecordingCommand.execute(RecordingCommand.java:135)
at
org.fortiss.tooling.kernel.internal.storage.eclipse.EMFTransactionalCommand$2.run(EMFTransactionalCommand.java:72)
at
org.fortiss.tooling.kernel.internal.storage.eclipse.EMFTransactionalCommand.runInTransaction(EMFTransactionalCommand.java:104)
at
org.fortiss.tooling.kernel.internal.storage.eclipse.EMFTransactionalCommand.execute(EMFTransactionalCommand.java:69)
at
org.eclipse.emf.common.command.BasicCommandStack.execute(BasicCommandStack.java:84)
… 12 more
(from redmine: issue id 2130, created on 2014-09-08, closed on 2018-05-11)
- Relations:
- relates #3276 (closed)