Test case generation seems to be broken
Coverage-based test case generation (transition cover and state coverage) are not functioning.
After generation a single test case with a single step is generated.
The following error message is produced in the console Log:
!ENTRY org.fortiss.af3.tools 1 0 2014-09-03 14:52:51.715
!MESSAGE Running NuSMV [NuSMV, -source,
/Users/schaetz/Documents/workspace-kepler/runtime-af3_phoenix.product/.metadata/.plugins/org.fortiss.af3.tools/AccelerationControl7427872179509963805.cmd]
on file AccelerationControl7427872179509963805.smv in directory
/Users/schaetz/Documents/workspace-kepler/runtime-af3_phoenix.product/.metadata/.plugins/org.fortiss.af3.tools.
!ENTRY org.fortiss.af3.tools 1 0 2014-09-03 14:52:51.751
!MESSAGE Run in 0,034s.
!ENTRY org.fortiss.af3.tools 1 0 2014-09-03 14:52:51.751
!MESSAGE Parsing NuSMV results!
!ENTRY org.eclipse.emf.common 2 0 2014-09-03 14:52:51.764
!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
!ENTRY org.eclipse.emf.common 2 0 2014-09-03 14:52:51.773
!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.transaction.impl.AbstractTransactionalCommandStack.execute(AbstractTransactionalCommandStack.java:229)
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.transaction.RollbackException: index=0,
size=0
at
org.eclipse.emf.transaction.impl.TransactionImpl.commit(TransactionImpl.java:405)
at
org.eclipse.emf.transaction.impl.TransactionalCommandStackImpl.doExecute(TransactionalCommandStackImpl.java:70)
at
org.eclipse.emf.transaction.impl.AbstractTransactionalCommandStack.execute(AbstractTransactionalCommandStack.java:165)
at
org.eclipse.emf.transaction.impl.AbstractTransactionalCommandStack.execute(AbstractTransactionalCommandStack.java:219)
… 8 more
!ENTRY org.eclipse.emf.common 2 0 2014-09-03 14:52:51.887
!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
!ENTRY org.eclipse.emf.common 2 0 2014-09-03 14:52:51.953
!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.transaction.impl.AbstractTransactionalCommandStack.execute(AbstractTransactionalCommandStack.java:229)
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.transaction.RollbackException: index=0,
size=0
at
org.eclipse.emf.transaction.impl.TransactionImpl.commit(TransactionImpl.java:405)
at
org.eclipse.emf.transaction.impl.TransactionalCommandStackImpl.doExecute(TransactionalCommandStackImpl.java:70)
at
org.eclipse.emf.transaction.impl.AbstractTransactionalCommandStack.execute(AbstractTransactionalCommandStack.java:165)
at
org.eclipse.emf.transaction.impl.AbstractTransactionalCommandStack.execute(AbstractTransactionalCommandStack.java:219)
… 8 more
!ENTRY org.fortiss.tooling.kernel 4 0 2014-09-03 14:52:52.179
!MESSAGE ERROR:
org.fortiss.af3.testing.model.statistic.impl.StateAutomatonExecutionStatisticImpl
does not have a registered handler!
!ENTRY org.fortiss.tooling.kernel 4 0 2014-09-03 14:52:52.180
!MESSAGE ERROR:
org.fortiss.af3.testing.model.statistic.impl.StateAutomatonExecutionStatisticImpl
does not have a registered handler!
(from redmine: issue id 2120, created on 2014-09-03, closed on 2018-03-06)
- Relations:
- relates #3276 (closed)