Rev | Line | |
---|
[4] | 1 | module NC_parameters_functions_testCases_altsteps {
|
---|
| 2 |
|
---|
| 3 | //module parameters, good and bad
|
---|
| 4 | modulepar boolean PC_UAS := true
|
---|
| 5 | with {extension "Description: Does IUT behaves as UA Server ?"}
|
---|
| 6 |
|
---|
| 7 | modulepar integer MP_1;
|
---|
| 8 |
|
---|
| 9 | modulepar {
|
---|
| 10 | integer MP_2:=3, Mp_3;
|
---|
| 11 | }
|
---|
| 12 |
|
---|
| 13 | modulepar integer mP_4, MP_5;
|
---|
| 14 |
|
---|
| 15 | //altsteps, good and bad
|
---|
| 16 | altstep a_a1() {
|
---|
[55] | 17 | } with {extension "Description: Does IUT behaves as UA Server ?"}
|
---|
[4] | 18 |
|
---|
| 19 | altstep a_1() {
|
---|
| 20 | }
|
---|
| 21 |
|
---|
| 22 | altstep aa_1() {
|
---|
| 23 | }
|
---|
| 24 |
|
---|
| 25 | //functions, good and bad
|
---|
| 26 | //also variables, component instances and constants
|
---|
| 27 | function f_a0() {
|
---|
| 28 | var integer v_a1, b;
|
---|
| 29 | var comp_1 ptc1;
|
---|
| 30 | const integer c_a1 := 1, c_2 := 1;
|
---|
| 31 | }
|
---|
| 32 |
|
---|
| 33 | function ef_0() {
|
---|
| 34 | }
|
---|
| 35 |
|
---|
| 36 | testcase tc_1() runs on comp_1 {
|
---|
| 37 | }
|
---|
| 38 |
|
---|
| 39 | testcase TC_1() runs on comp_1 {
|
---|
| 40 | map(self:P2, system:p1);
|
---|
| 41 | }
|
---|
| 42 |
|
---|
| 43 | } |
---|
Note: See
TracBrowser
for help on using the repository browser.