diff --git a/modules/securibench/src/test/scala/br/unb/cic/securibench/deprecated/SecuribenchTestSuite.scala b/modules/securibench/src/test/scala/br/unb/cic/securibench/deprecated/SecuribenchTestSuite.scala index fad55639..90aaa21a 100644 --- a/modules/securibench/src/test/scala/br/unb/cic/securibench/deprecated/SecuribenchTestSuite.scala +++ b/modules/securibench/src/test/scala/br/unb/cic/securibench/deprecated/SecuribenchTestSuite.scala @@ -955,7 +955,7 @@ class SecuribenchTestSuite extends FunSuite { assert(svfa.reportConflictsSVG().size == expectedConflicts) } - ignore( + test( "in the class Datastructures4 we should detect 0 conflict of a simple data structure test case" ) { val testName = "Datastructures4" @@ -966,9 +966,22 @@ class SecuribenchTestSuite extends FunSuite { "doGet" ) svfa.buildSparseValueFlowGraph() + println(svfa.svgToDotModel()) assert(svfa.reportConflictsSVG().size == expectedConflicts) } + /** + * WHY IS IT FAILING? + * + * The current implementation does not have a sound approach + * to handle context. It can not manage context for nested cases. + * + * i.e: String str = c1.next.str + * + * To fix that problem, the logic that creates the Open/Close labels + * must be enriched. + */ + ignore( "in the class Datastructures5 we should detect 1 conflict of a simple data structure test case" ) {