yakindu/test-plugins/org.yakindu.sct.test.models/tests/PerformanceTests.sctunit

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
	}

}