|
@@ -1,77 +1,71 @@
|
|
|
-package tests
|
|
|
-testclass PerformanceTests for statechart PerformanceTest {
|
|
|
-
|
|
|
-
|
|
|
- operation test_100_000(){
|
|
|
-
|
|
|
- enter
|
|
|
-
|
|
|
- assert active(PerformanceTest.mr.A)
|
|
|
-
|
|
|
- while [ c < 100000 ] {
|
|
|
- if [active(PerformanceTest.mr.A)] {
|
|
|
- raise e1
|
|
|
- } else {
|
|
|
- if [c % 2 == 0] {
|
|
|
- raise e2
|
|
|
- } else {
|
|
|
- raise e3
|
|
|
- }
|
|
|
- }
|
|
|
-
|
|
|
- cycle
|
|
|
- }
|
|
|
-
|
|
|
- assert a > 2
|
|
|
- }
|
|
|
-
|
|
|
-
|
|
|
- //----------------
|
|
|
- operation test_1_000_000(){
|
|
|
-
|
|
|
- enter
|
|
|
-
|
|
|
- assert active(PerformanceTest.mr.A)
|
|
|
-
|
|
|
- while [ c < 1000000 ] {
|
|
|
- if [active(PerformanceTest.mr.A)] {
|
|
|
- raise e1
|
|
|
- } else {
|
|
|
- if [c % 2 == 0] {
|
|
|
- raise e2
|
|
|
- } else {
|
|
|
- raise e3
|
|
|
- }
|
|
|
- }
|
|
|
-
|
|
|
- cycle
|
|
|
- }
|
|
|
-
|
|
|
- assert a > 2
|
|
|
- }
|
|
|
-
|
|
|
- operation test_10_000_000(){
|
|
|
-
|
|
|
- enter
|
|
|
-
|
|
|
- assert active(PerformanceTest.mr.A)
|
|
|
-
|
|
|
- while [ c < 10000000 ] {
|
|
|
- if [active(PerformanceTest.mr.A)] {
|
|
|
- raise e1
|
|
|
- } else {
|
|
|
- if [c % 2 == 0] {
|
|
|
- raise e2
|
|
|
- } else {
|
|
|
- raise e3
|
|
|
- }
|
|
|
- }
|
|
|
-
|
|
|
- cycle
|
|
|
- }
|
|
|
-
|
|
|
- assert a > 2
|
|
|
- }
|
|
|
-
|
|
|
-}
|
|
|
+package tests
|
|
|
+testclass PerformanceTests for statechart PerformanceTest {
|
|
|
+
|
|
|
+ operation test_100_000 () {
|
|
|
+
|
|
|
+ enter
|
|
|
+
|
|
|
+ assert active (PerformanceTest.mr.A)
|
|
|
+
|
|
|
+ while (c < 100000) {
|
|
|
+ if (active (PerformanceTest.mr.A)) {
|
|
|
+ raise e1
|
|
|
+ } else {
|
|
|
+ if (c % 2 == 0) {
|
|
|
+ raise e2
|
|
|
+ } else {
|
|
|
+ raise e3
|
|
|
+ }
|
|
|
+ }
|
|
|
+
|
|
|
+ cycle
|
|
|
+ }
|
|
|
+
|
|
|
+ assert a > 2
|
|
|
+ } //----------------
|
|
|
+ operation test_1_000_000 () {
|
|
|
+
|
|
|
+ enter
|
|
|
+
|
|
|
+ assert active (PerformanceTest.mr.A)
|
|
|
+
|
|
|
+ while (c < 1000000) {
|
|
|
+ if (active (PerformanceTest.mr.A)) {
|
|
|
+ raise e1
|
|
|
+ } else {
|
|
|
+ if (c % 2 == 0) {
|
|
|
+ raise e2
|
|
|
+ } else {
|
|
|
+ raise e3
|
|
|
+ }
|
|
|
+ }
|
|
|
+
|
|
|
+ cycle
|
|
|
+ }
|
|
|
+
|
|
|
+ assert a > 2
|
|
|
+ } operation test_10_000_000 () {
|
|
|
+
|
|
|
+ enter
|
|
|
+
|
|
|
+ assert active (PerformanceTest.mr.A)
|
|
|
+
|
|
|
+ while (c < 10000000) {
|
|
|
+ if (active (PerformanceTest.mr.A)) {
|
|
|
+ raise e1
|
|
|
+ } else {
|
|
|
+ if (c % 2 == 0) {
|
|
|
+ raise e2
|
|
|
+ } else {
|
|
|
+ raise e3
|
|
|
+ }
|
|
|
+ }
|
|
|
+
|
|
|
+ cycle
|
|
|
+ }
|
|
|
+
|
|
|
+ assert a > 2
|
|
|
+ }
|
|
|
+
|
|
|
+}
|
|
|
|