Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
AVA
FloVer
Commits
916cbfba
Commit
916cbfba
authored
Sep 18, 2016
by
Heiko Becker
Browse files
Merge remote-tracking branch 'origin' into certification
parents
06a72735
76a41cad
Changes
2
Hide whitespace changes
Inline
Side-by-side
src/test/resources/range_regression_baseline.txt
View file @
916cbfba
doppler [-158.7191444098274, -0.02944244059231351] [-282.4762120545625,133.53913086064713] [-137.64316836703838, -0.02944244059231351]
sine [-2.3011348046703466, 2.3011348046703466] [-
2.3011348046703466,2.3011348046703466
] [-1.0043283753002443, 1.0043283753002443]
sineOrder3 [-2.9419084189651277, 2.9419084189651277] [-
2.9419084189651277,2.9419084189651277
] [-1.0055351041384715, 1.0055351041384715]
sqroot [-402.125, 68.5] [-
449.0,416.54
6875] [-334.7934013614431, 1.6171710207127035]
bspline0 [0.0, 0.16666666666666666] [-0.
1
25,0.16666666666666666] [0.0, 0.16666666666666666]
bspline1 [-0.3333333333333333, 1.1666666666666667] [-0.
7
08333333333333
4,1.666
666666666666
7
] [0.16617838541666666, 0.6671549479166666]
bspline2 [-0.3333333333333333, 1.1666666666666667] [-0.
5
83333333333333
4,1.54
1666666666666
7
] [0.16666666666666666, 0.6668650309244791]
bspline3 [-0.16666666666666666, 0.0] [-0.16666666666666666,0.
1
25] [-0.16666666666666666, 0.0]
sine [-2.3011348046703466, 2.3011348046703466] [-
1.6540002686363373,1.6540002686363373
] [-1.0043283753002443, 1.0043283753002443]
sineOrder3 [-2.9419084189651277, 2.9419084189651277] [-
1.909859317102744,1.909859317102744
] [-1.0055351041384715, 1.0055351041384715]
sqroot [-402.125, 68.5] [-
365.875,195.0429
6875] [-334.7934013614431, 1.6171710207127035]
bspline0 [0.0, 0.16666666666666666] [-0.
06
25,0.16666666666666666] [0.0, 0.16666666666666666]
bspline1 [-0.3333333333333333, 1.1666666666666667] [-0.08333333333333
333,0.9791
666666666666] [0.16617838541666666, 0.6671549479166666]
bspline2 [-0.3333333333333333, 1.1666666666666667] [-0.
020
83333333333333
2,0.9
1666666666666
66
] [0.16666666666666666, 0.6668650309244791]
bspline3 [-0.16666666666666666, 0.0] [-0.16666666666666666,0.
06
25] [-0.16666666666666666, 0.0]
rigidBody1 [-705.0, 705.0] [-705.0,705.0] [-705.0, 705.0]
rigidBody2 [-58740.0, 58740.0] [-5
874
0.0,58740.0] [-56049.1667175293, 58740.0]
verhulst [0.3148936170212766, 1.1008264462809918] [0.
2628450852822226,1.1008264462809918
] [0.3640144188500088, 0.9473239405662036]
predatorPrey [0.03727705922396188, 0.35710168263424846] [-0.0
5252829039324503,0.362945
7491
203666
] [0.03727705922396188, 0.33711264367110555]
rigidBody2 [-58740.0, 58740.0] [-5
739
0.0,58740.0] [-56049.1667175293, 58740.0]
verhulst [0.3148936170212766, 1.1008264462809918] [0.
35217660784145,0.9891620430819574
] [0.3640144188500088, 0.9473239405662036]
predatorPrey [0.03727705922396188, 0.35710168263424846] [-0.0
021029110350001693,0.34533842311
74
1
91
4
] [0.03727705922396188, 0.33711264367110555]
carbonGas [2097409.2, 3.434323E7] [-6856426.768,3.159230584E7] [4301713.35625, 1.6740286809375E7]
turbine1 [-58.32912689020381, -1.5505285721480735] [-5
8.32912689020381,42.49332446075663
] [-18.536291471169722, -1.986569412987437]
turbine2 [-29.43698909090909, 80.993] [-
98.57240363636363,80.993
] [-28.564652726384942, 3.8296552477598733]
turbine3 [0.4660958448753463, 40.375126890203816] [-2
9
.2
97906278938452,40.3751268
90203816] [0.5626821330545027, 11.434005458108444]
turbine1 [-58.32912689020381, -1.5505285721480735] [-5
5.55054339020381,38.36885388122605
] [-18.536291471169722, -1.986569412987437]
turbine2 [-29.43698909090909, 80.993] [-
80.18793076923077,63.665174692307694
] [-28.564652726384942, 3.8296552477598733]
turbine3 [0.4660958448753463, 40.375126890203816] [-2
7
.2
27529265841437,38.7192033
90203816] [0.5626821330545027, 11.434005458108444]
src/test/scala/regression/AbsErrorAnalysisRegressionTest.scala
View file @
916cbfba
...
...
@@ -27,38 +27,38 @@ class AbsErrorAnalysisRegressionTest extends FunSuite {
(
"doppler"
,
(
"4.1911988101104756e-13"
,
"[-158.7191444098274, -0.02944244059231351]"
)),
(
"sine"
,
(
"1.1296729607621835e-15"
,
"[-2.3011348046703466, 2.3011348046703466]"
)),
(
"sineOrder3"
,
(
"1.4510731312549944e-15"
,
"[-2.9419084189651277, 2.9419084189651277]"
)),
(
"sqroot"
,
(
"3.
2485125700532085
e-13"
,
"[-402.125, 68.5]"
)),
(
"sqroot"
,
(
"3.
5643710205590656
e-13"
,
"[-402.125, 68.5]"
)),
(
"bspline0"
,
(
"1.6190752442450204e-16"
,
"[0.0, 0.16666666666666666]"
)),
(
"bspline1"
,
(
"
9.066821367772113
e-16"
,
"[-0.3333333333333333, 1.1666666666666667]"
)),
(
"bspline2"
,
(
"
8.511709855459534
e-16"
,
"[-0.3333333333333333, 1.1666666666666667]"
)),
(
"bspline1"
,
(
"
7.956598343146956
e-16"
,
"[-0.3333333333333333, 1.1666666666666667]"
)),
(
"bspline2"
,
(
"
7.401486830834377
e-16"
,
"[-0.3333333333333333, 1.1666666666666667]"
)),
(
"bspline3"
,
(
"1.0639637319324417e-16"
,
"[-0.16666666666666666, 0.0]"
)),
(
"rigidBody1"
,
(
"3.2152058793144533e-13"
,
"[-705.0, 705.0]"
)),
(
"rigidBody2"
,
(
"3.652100843964945e-11"
,
"[-58740.0, 58740.0]"
)),
(
"verhulst"
,
(
"
6.296271095810985
e-16"
,
"[0.3148936170212766, 1.1008264462809918]"
)),
(
"predatorPrey"
,
(
"2.
511128651395663
e-16"
,
"[0.03727705922396188, 0.35710168263424846]"
)),
(
"verhulst"
,
(
"
5.959587110472846
e-16"
,
"[0.3148936170212766, 1.1008264462809918]"
)),
(
"predatorPrey"
,
(
"2.
4756633989832674
e-16"
,
"[0.03727705922396188, 0.35710168263424846]"
)),
(
"carbonGas"
,
(
"4.2831938128927477e-08"
,
"[2097409.2, 3.434323E7]"
)),
(
"turbine1"
,
(
"
9.762594096245622
e-1
4
"
,
"[-58.32912689020381, -1.5505285721480735]"
)),
(
"turbine2"
,
(
"1.4
455407810924755
e-13"
,
"[-29.43698909090909, 80.993]"
)),
(
"turbine3"
,
(
"7.
34493827711342
8e-14"
,
"[0.4660958448753463, 40.375126890203816]"
))
)
(
"turbine1"
,
(
"
1.0165930481515325
e-1
3
"
,
"[-58.32912689020381, -1.5505285721480735]"
)),
(
"turbine2"
,
(
"1.4
879819691855474
e-13"
,
"[-29.43698909090909, 80.993]"
)),
(
"turbine3"
,
(
"7.
49898518443379
8e-14"
,
"[0.4660958448753463, 40.375126890203816]"
))
)
val
aaAA
:
Map
[
String
,
(
String
,
String
)]
=
Map
(
(
"doppler"
,
(
"1.2852513956990104e-12"
,
"[-282.4762120545625, 133.53913086064713]"
)),
(
"sine"
,
(
"
1.129
672
9
60
7621835
e-1
5
"
,
"[-
2.3011348046703466, 2.3011348046703466
]"
)),
(
"sineOrder3"
,
(
"1.
45107313
12
5
49
944
e-15"
,
"[-
2
.9
419084189651277
,
2
.9
419084189651277
]"
)),
(
"sqroot"
,
(
"3.
2485125700532085e-13"
,
"[-449.0, 416.54
6875]"
)),
(
"bspline0"
,
(
"1.6190752442450204e-16"
,
"[-0.
1
25, 0.16666666666666666]"
)),
(
"bspline1"
,
(
"
1.0547118733938987
e-1
5
"
,
"[-0.
7
08333333333333
4, 1.
666666666666
6667
]"
)),
(
"bspline2"
,
(
"
1.0362081563168128
e-1
5
"
,
"[-0.
5
83333333333333
4
,
1.54
1666666666666
7
]"
)),
(
"bspline3"
,
(
"1.0639637319324417e-16"
,
"[-0.16666666666666666, 0.
1
25]"
)),
(
"sine"
,
(
"
7.508
672
3
60
829453
e-1
6
"
,
"[-
1.6540002686363373, 1.6540002686363373
]"
)),
(
"sineOrder3"
,
(
"1.
22547036
1249
3457
e-15"
,
"[-
1
.9
09859317102744
,
1
.9
09859317102744
]"
)),
(
"sqroot"
,
(
"3.
5382807794803744e-13"
,
"[-365.875, 195.0429
6875]"
)),
(
"bspline0"
,
(
"1.6190752442450204e-16"
,
"[-0.
06
25, 0.16666666666666666]"
)),
(
"bspline1"
,
(
"
7.540264708912522
e-1
6
"
,
"[-0.08333333333333
333, 0.9791
666666666666]"
)),
(
"bspline2"
,
(
"
6.800116025829084
e-1
6
"
,
"[-0.
020
83333333333333
2
,
0.9
1666666666666
66
]"
)),
(
"bspline3"
,
(
"1.0639637319324417e-16"
,
"[-0.16666666666666666, 0.
06
25]"
)),
(
"rigidBody1"
,
(
"3.2152058793144533e-13"
,
"[-705.0, 705.0]"
)),
(
"rigidBody2"
,
(
"3.652100843964945e-11"
,
"[-5
874
0.0, 58740.0]"
)),
(
"verhulst"
,
(
"
6.296271095810985e-16"
,
"[0.2628450852822226, 1.1008264462809918
]"
)),
(
"predatorPrey"
,
(
"2.5
571730729758523e-16"
,
"[-0.05252829039324503, 0.362945
7491
203666
]"
)),
(
"rigidBody2"
,
(
"3.652100843964945e-11"
,
"[-5
739
0.0, 58740.0]"
)),
(
"verhulst"
,
(
"
5.404475598160268e-16"
,
"[0.35217660784145, 0.9891620430819574
]"
)),
(
"predatorPrey"
,
(
"2.5
014868553833655e-16"
,
"[-0.0021029110350001693, 0.34533842311
74
1
91
4
]"
)),
(
"carbonGas"
,
(
"3.983524363087597e-08"
,
"[-6856426.768, 3.159230584E7]"
)),
(
"turbine1"
,
(
"
9.804469898855772
e-1
4
"
,
"[-5
8.32912689020381, 42.49332446075663
]"
)),
(
"turbine2"
,
(
"1.
4455407810924755e-13"
,
"[-98.57240363636363, 80.993
]"
)),
(
"turbine3"
,
(
"7.
386814079723578
e-14"
,
"[-2
9
.2
97906278938452, 40.3751268
90203816]"
))
(
"turbine1"
,
(
"
1.0276724218096868
e-1
3
"
,
"[-5
5.55054339020381, 38.36885388122605
]"
)),
(
"turbine2"
,
(
"1.
5083049510221928e-13"
,
"[-80.18793076923077, 63.665174692307694
]"
)),
(
"turbine3"
,
(
"7.
609778921015343
e-14"
,
"[-2
7
.2
27529265841437, 38.7192033
90203816]"
))
)
val
smtAA
:
Map
[
String
,
(
String
,
String
)]
=
Map
(
...
...
@@ -165,8 +165,8 @@ class AbsErrorAnalysisRegressionTest extends FunSuite {
case
x
:
NumAnnotation
if
x.hasError
=>
val
absError
=
x
.
absError
val
range
=
x
.
interval
assert
(
"
8.275261990073324e-10
"
===
absError
.
toString
)
assert
(
"[-
362382.4524920346, 362389.5197997269
]"
===
range
.
toString
)
assert
(
"
4.088949761228701e-08
"
===
absError
.
toString
)
assert
(
"[-
2236030.8006656803, 2243586.0576923075
]"
===
range
.
toString
)
//println(s"${fnc.id} abs error: ${x.absError}, range: ${x.interval}")
// if there is no error, then this is a bug
...
...
@@ -184,8 +184,8 @@ class AbsErrorAnalysisRegressionTest extends FunSuite {
case
x
:
NumAnnotation
if
x.hasError
=>
val
absError
=
x
.
absError
val
range
=
x
.
interval
assert
(
"1.1589
820870002916
e-08"
===
absError
.
toString
)
assert
(
"[-1781.
4775369067652, 4820.037917142357
]"
===
range
.
toString
)
assert
(
"1.1589
127503449215
e-08"
===
absError
.
toString
)
assert
(
"[-1781.
3056274865728, 4820.245415085443
]"
===
range
.
toString
)
//println(s"${fnc.id} abs error: ${x.absError}, range: ${x.interval}")
// if there is no error, then this is a bug
...
...
@@ -202,4 +202,4 @@ class AbsErrorAnalysisRegressionTest extends FunSuite {
case
_
=>
e
}
}
\ No newline at end of file
}
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment