Project

General

Profile

Bug #800

test suite generation with state coverage throws exception

Added by Anonymous over 8 years ago. Updated over 8 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
05/03/2012
Due date:
% Done:

0%

Estimated time:

Description

When trying to generate the test suite with state coverage enabled:

!ENTRY org.fortiss.af3.testing.ui 4 0 2012-05-03 13:29:47.672
!MESSAGE
!STACK 0
java.lang.NullPointerException
at org.fortiss.af3.tools.base.ToolRunnerBase$LazyResultBase.get(ToolRunnerBase.java:304)
at org.fortiss.af3.analyses.modelchecking.LazyModelCheckingAnalysisResult.get(LazyModelCheckingAnalysisResult.java:99)
at org.fortiss.af3.analyses.modelchecking.LazyModelCheckingAnalysisResult.get(LazyModelCheckingAnalysisResult.java:1)
at org.fortiss.af3.testing.modelchecking.StatesCoverageAnalyzer$1.computeAtomicResult(StatesCoverageAnalyzer.java:114)
at org.fortiss.af3.analyses.base.LazyCompositeResult.get(LazyCompositeResult.java:56)
at org.fortiss.af3.testing.modelchecking.ModelCheckingTestSuiteGenerator.generate(ModelCheckingTestSuiteGenerator.java:78)
at org.fortiss.af3.testing.ui.action.GenerateTestSuiteAction.run(GenerateTestSuiteAction.java:83)

SimulationTest_States.af3_20 (8.3 KB) SimulationTest_States.af3_20 Anonymous, 05/03/2012 01:34 PM

History

#1 Updated by Florian Hölzl over 8 years ago

  • Target version set to Phoenix 2.1 RC4

#2 Updated by Anonymous over 8 years ago

  • Status changed from New to Closed

Also available in: Atom PDF