Commit dced5adf authored by kovacsa's avatar kovacsa
Browse files

progress file update

parent 76d7d376
Loading
Loading
Loading
Loading
+44 −44
Original line number Diff line number Diff line
@@ -6,9 +6,9 @@ The exact description of required updates is in /trunk/standards/4.7.1/part-1-ch
5.4.1.1 Formal parameters of kind value                              (Tomas, done: 48 new tests, 18 positive, 30 negative)
5.4.1.2 Formal parameters of kind template                           (Tomas, done: 54 new tests, 34 positive, 18 negative)
5.4.2 Actual parameters                                              (Tomas, done: 345 new tests, 200 positive, 145 negative; 13 CRs)
6.1.1 Basic string types and values                                  ()
6.1.2.5 Pattern subtyping                                            ()
6.1.2.6.2 Using length restriction with other constraints            ()
6.1.1 Basic string types and values                                  (Andras, done: 1 new test, 1 positive)
6.1.2.5 Pattern subtyping                                            (Andras, done: 3 new tests, 1 positive, 2 negative)
6.1.2.6.2 Using length restriction with other constraints            (Andras, done: 1 new test, 1 positive)
6.2.1.1 Referencing fields of a record type                          (Tomas, done: 16 new tests, 13 positive, 3 negative)
6.2.3 Records and sets of single types                               (Tomas, done: 24 new tests, 16 positive, 8 negative)
6.2.4 Enumerated type and values                                     (Tomas, done: 21 new tests, 8 positive, 13 negative; 1 CR)
@@ -17,31 +17,31 @@ The exact description of required updates is in /trunk/standards/4.7.1/part-1-ch
6.2.5.1 Option and union                                             (Tomas, done: 1 new test, 0 positive, 1 negative)
6.2.5.1 Nested type definition for field types                       (Tomas, done: 1 new test, 1 positive, 0 negative)
6.2.7 Arrays                                                         (Tomas, done: 36 new tests, 17 positive, 19 negative; 3 CR)
6.2.9 Communication port type                                        ()
6.2.10.2 Reuse of component types                                    ()
6.2.12 Addressing entities inside the SUT                            ()
6.2.9 Communication port type                                        (Andras, done: 1 new test, 1 positive)
6.2.10.2 Reuse of component types                                    (Andras, done: 6 new tests, 3 positive, 3 negative)
6.2.12 Addressing entities inside the SUT                            (Andras, done: 3 new tests, 3 negative)
6.3.4 Type compatibility of communication and connection operations  (Tomas, done: 5 new tests, 0 positive, 5 negative; 2 CR)
7 Expressions                                                        (Tomas, done: 11 new tests, 6 positive, 5 negative; 2 CR)
7.1.1 Arithmetic operators                                           ()
7.1.3 Relational operators                                           ()
8.1 Definition of a module                                           ()
8.2.3.1 General format of import                                     ()
8.2.3.8 Compatibility of language specifications in imports          ()
9.1 Communication ports                                              ()
10 Declaring constants                                               ()
11.1 Value variables                                                 ()
11.2 Template variables                                              ()
15.5 Modified templates                                              ()
15.6 Referencing elements of templates or template fields            ()
15.6.2 Referencing record and set fields                             ()
15.6.3 Referencing record of and set of elements                     ()
15.6.5 Referencing union alternatives                                ()
15.8 Template restrictions                                           ()
15.9 Match operation                                                 ()
15.11 Concatenating templates of string and list types               ()
16.1.2 Predefined functions                                          ()
16.1.3 External functions                                            ()
19.1 Assignments                                                     ()
7.1.1 Arithmetic operators                                           (Andras, WIP)
7.1.3 Relational operators                                           (Andras, WIP)
8.1 Definition of a module                                           (Andras, WIP)
8.2.3.1 General format of import                                     (Andras, WIP)
8.2.3.8 Compatibility of language specifications in imports          (Andras, WIP)
9.1 Communication ports                                              (Andras, done: 11 new tests, 3 positive, 8 negative)
10 Declaring constants                                               (Andras, done: 2 new tests,  2 negative)
11.1 Value variables                                                 (Andras, done: 2 new tests,  2 negative)
11.2 Template variables                                              (Andras, done: 2 new tests,  2 negative)
15.5 Modified templates                                              (Andras, WIP)
15.6 Referencing elements of templates or template fields            (Andras, WIP)
15.6.2 Referencing record and set fields                             (Andras, WIP)
15.6.3 Referencing record of and set of elements                     (Andras, WIP)
15.6.5 Referencing union alternatives                                (Andras, WIP)
15.8 Template restrictions                                           (Andras, WIP)
15.9 Match operation                                                 (Andras, WIP)
15.11 Concatenating templates of string and list types               (Andras, WIP)
16.1.2 Predefined functions                                          (Andras, done: 71 new tests, 68 positive, 3 negative)
16.1.3 External functions                                            (Andras, done: remove 2 tests from ATS)
19.1 Assignments                                                     (Andras, WIP)
19.3.2 The select union statement                                    (Tomas, done: 11 new tests, 6 positive, 5 negative; 3 CRs)
19.9 The stop operation                                              (Tomas, done: 2 new tests, 2 positive, 0 negative)
20.2 The alt statement                                               (Tomas, done: 17 new tests, 1 positive, 16 negative)
@@ -84,22 +84,22 @@ The exact description of required updates is in /trunk/standards/4.7.1/part-1-ch
24.3 The getverdict operation                                        ()
25 External actions                                                  ()
26.1 The execute statement                                           ()
B.1.2.2	Complemented template list                                   ()
B.1.2.6	SuperSet                                                     ()
B.1.2.7	SubSet                                                       ()
B.1.2.9	Matching decoded content                                     ()
B.1.3.3	Permutation                                                  ()
B.1.5 Matching character pattern                                     ()
B.1.5.6 Case insensitive pattern matching                            ()
C.1.31 Octetstring to universal character string                     ()
C.1.32 Universal character string to octetstring                     ()
C.1.33 Value or template to universal charstring                     ()
C.3.3 The IsValue function                                           ()
C.3.5 Matching mechanism detection                                   ()
C.4.1 The Regexp function                                            ()
C.4.2 The Substring function                                         ()
C.4.3 The Replace function                                           ()
C.5.5 Retrieving the type of string encoding                         ()
C.5.6 Removing BOMs of UCS encoding schemes                          ()
C.6.1 The random number generator function                           ()
B.1.2.2	Complemented template list                                   (Andras, WIP)
B.1.2.6	SuperSet                                                     (Andras, WIP)
B.1.2.7	SubSet                                                       (Andras, WIP)
B.1.2.9	Matching decoded content                                     (Andras, WIP)
B.1.3.3	Permutation                                                  (Andras, WIP)
B.1.5 Matching character pattern                                     (Andras, done: 5 new tests, 4 positive, 1 negative)
B.1.5.6 Case insensitive pattern matching                            (Andras, done: 2 new tests, 2 positive)
C.1.31 Octetstring to universal character string                     (Andras, implemented in 16.1.2)
C.1.32 Universal character string to octetstring                     (Andras, implemented in 16.1.2)
C.1.33 Value or template to universal charstring                     (Andras, implemented in 16.1.2)
C.3.3 The IsValue function                                           (Andras, implemented in 16.1.2)
C.3.5 Matching mechanism detection                                   (Andras, implemented in 16.1.2)
C.4.1 The Regexp function                                            (Andras, implemented in 16.1.2)
C.4.2 The Substring function                                         (Andras, implemented in 16.1.2)
C.4.3 The Replace function                                           (Andras, implemented in 16.1.2)
C.5.5 Retrieving the type of string encoding                         (Andras, implemented in 16.1.2)
C.5.6 Removing BOMs of UCS encoding schemes                          (Andras, implemented in 16.1.2)
C.6.1 The random number generator function                           (Andras, implemented in 16.1.2)