Commit b1af2d17 authored by urbant's avatar urbant
Browse files

Progress file and overview of changes in part 1

parent 2e5d9d93
Loading
Loading
Loading
Loading

ATS/PROGRESS_FILE.txt

0 → 100644
+100 −0
Original line number Diff line number Diff line
This file is used for tracking progress of implementation of new test cases. 
The exact description of required updates is in /trunk/standards/4.7.1/part-1-changes.txt

3.1 Definitions                                                      (Tomas, implemented in 5.4)
5.4.1 Formal parameters                                              (Tomas, WIP)
5.4.1.1 Formal parameters of type value                              (Tomas, WIP)
5.4.2 Actual parameters                                              (Tomas, WIP)
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.2.1.1 Referencing fields of a record type                          ()
6.2.3 Records and sets of single types                               ()
6.2.5.1 Referencing fields of a union type                           ()
6.2.7 Arrays                                                         ()
6.2.9 Communication port type                                        ()
6.2.10.2 Reuse of component types                                    ()
6.2.12 Addressing entities inside the SUT                            ()
6.3.4 Type compatibility of communication and connection operations  ()
7 Expressions                                                        ()
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                                                     ()
19.3.2 The select union statement                                    ()
19.9 The stop operation                                              ()
20.2 The alt statement                                               ()
20.3 The repeat statement                                            ()
20.4 The interleave statement                                        ()
20.5.2 The activate operation                                        ()
20.5.3 The deactivate operation                                      ()
21.1.1 The connect and map operations                                ()
21.1.2 The disconnect and unmap operations                           ()
21.2.1 Test case stop operation                                      ()
21.3.1 The create operation                                          ()
21.3.2 The start operation                                           ()
21.3.3 The stop operation                                            ()
21.3.4 The kill operation                                            ()
21.3.5 The alive operation                                           ()
21.3.6 The running operation                                         ()
21.3.7 The done operation                                            ()
 21.3.8 The killed operation                                         ()
 22.2.1 The send operation                                           ()
 22.2.2 The receive operation                                        ()
 22.2.3 The trigger operation                                        ()
22.3.1 The call operation                                            ()
22.3.2 The getcall operation                                         ()
22.3.3 The reply operation                                           ()
22.3.2 The getreply operation                                        ()
22.3.5 The raise operation                                           ()
22.3.6 The catch operation                                           ()
22.3.2 The check operation                                           ()
22.5.1 The clear port operation                                      ()
22.5.2 The start port operation                                      ()
22.5.3 The stop port operation                                       ()
22.5.4 The halt port operation                                       ()
22.5.5 The checkstate port operation                                 ()
23.2 The start timer operation                                       ()
23.3 The stop timer operation                                        ()
23.4 The read timer operation                                        ()
23.2 The running timer operation                                     ()
23.2 The timeout operation                                           ()
24.2 The setverdict operation                                        ()
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                           ()
+199 −0
Original line number Diff line number Diff line
To test:
3.1 Definitions
- index notation: check impact on existing tests on record-of, set-of and array values
- inout parametrization: changed to passing by reference - check impact on function, test case and altstep calls
- passing by reference, passing by value: new concepts, verify that there are tests that cover them in the sections 
  on parametrized statements (function, altstep, test case, template)
5.4.1 Formal parameters: New rules on type compatibility of actual and formal parameters
5.4.1.1 Formal parameters of type value: The new example 6 should be converted to a test (or several tests)
5.4.2 Actual parameters: a lot of new rules, restrictions and examples
6.1.1 Basic string types and values: USI notation for universal strings
6.1.2.5 Pattern subtyping: example with the @nocase modifier
6.1.2.6.2 Using length restriction with other constraints: example with the @nocase modifier
6.2.1.1 Referencing fields of a record type: new rules on referencing + examples
6.2.3 Records and sets of single types:
 - move tests on arrays (if present) to 6.2.7
 - new rules on referencing + examples
6.2.5.1 Referencing fields of a union type: new rules and examples
6.2.7 Arrays: new rules on referencing (+ tests moved from 6.2.3)
6.2.9 Communication port type: restriction e
6.2.10.2 Reuse of component types: make sure that multiple inheritance is properly tested
6.2.12 Addressing entities inside the SUT: restriction c
6.3.4 Type compatibility of communication and connection operations: add tests to verify strong typing of connection operations
7 Expressions: restriction c (especially negative cases with a referenced value containing null)
7.1.1 Arithmetic operators: operations with special float values (infinity, -infinity, NaN)
7.1.3 Relational operators: rules for the address type, comparison with the null value
8.1 Definition of a module: New language tag TTCN-3:2015
8.2.3.1 General format of import:
 - a rule on referencing ports (this rule shall be probably in a different section - CR is needed)
 - rule restricting the use of module prefixing to local definitions with global visibility
8.2.3.8 Compatibility of language specifications in imports: updated rules on import from earlier edition (most likely no impact, but test coverage should be checked)
9.1 Communication ports: new restriction on allowed connections (most likely no impact, but test coverage should be checked)
10 Declaring constants: restriction c
11.1 Value variables: restriction h
11.2 Template variables: restriction k
15.5 Modified templates: tests for all added/modified rules, test coverage of the examples
15.6 Referencing elements of templates or template fields: updated scope rules
15.6.2 Referencing record and set fields: restriction c
15.6.3 Referencing record of and set of elements: restriction a, d (including example) and h
15.6.5 Referencing union alternatives: new section
15.8 Template restrictions: use of decmatch in restricted templates
15.9 Match operation: rephrased restriction a (check consistency with existing tests)
15.11 Concatenating templates of string and list types: new and updated rules
16.1.2 Predefined functions: 
 - new predefined functions
 - changes in the restriction a.3 (check coverage)
 - changes in the rules for individual functions (see description of the section C below)
16.1.3 External functions: rule removed (most likely no impact, maybe some tests have to be removed)
19.1 Assignments
 - assignment of partially initialized values to a fully initialized variable (+examples)
 - restriction c and d
19.3.2 The select union statement: new section
19.9 The stop operation: check that restrictions from the table 15 are tested
20.2 The alt statement: check that restrictions from the table 15 are tested
20.3 The repeat statement: check that restrictions from the table 15 are tested
20.4 The interleave statement: 
 - check that restrictions from the table 15 are tested
 - restriction c
20.5.2 The activate operation: 
 - check that restrictions from the table 15 are tested
 - changes in the restriction b
20.5.3 The deactivate operation: check that restrictions from the table 15 are tested
21.1.1 The connect and map operations: 
 - check that restrictions from the table 15 are tested
 - restriction h (+ example)
21.1.2 The disconnect and unmap operations: 
 - check that restrictions from the table 15 are tested
 - restriction c
21.2.1 Test case stop operation:
 - check that restrictions from the table 15 are tested
21.3.1 The create operation: check that restrictions from the table 15 are tested
21.3.2 The start operation: 
 - check that restrictions from the table 15 are tested
 - changes in the restrictions b and c
21.3.3 The stop operation: check that restrictions from the table 15 are tested
21.3.4 The kill operation: check that restrictions from the table 15 are tested
21.3.5 The alive operation: 
 - check that restrictions from the table 15 are tested
 - changes in the restriction b
21.3.6 The running operation: 
 - check that restrictions from the table 15 are tested
 - changes in the restriction b
21.3.7 The done operation: 
 - support for verdict saving (rule + restrictions d and e + example)
 - check that restrictions from the table 15 are tested
 - changes in the restrictions b and c
 21.3.8 The killed operation: 
 - support for verdict saving (rule + restrictions d and e + example)
 - check that restrictions from the table 15 are tested
 - changes in the restrictions b and c
 22.2.1 The send operation: 
 - check that restrictions from the table 15 are tested
 - changes in the restriction e (null value handling)
 22.2.2 The receive operation: 
 - handling encoded payloads (rule, restrictions l and m, example)
 - check that restrictions from the table 15 are tested
 - changes in the restriction f (null value handling) and g
 22.2.3 The trigger operation: 
 - handling encoded payloads (the same as in 22.2.2)
 - check that restrictions from the table 15 are tested
 - changes in the restriction d (null value handling) and e
 - new restriction j
22.3.1 The call operation: 
 - check that restrictions from the table 15 are tested
 - changes in the restriction f (null value handling)
22.3.2 The getcall operation: 
 - handling encoded payloads (rule, restrictions l and m, example)
 - check that restrictions from the table 15 are tested
 - changes in the restriction f (null value handling) and g
22.3.3 The reply operation: 
 - check that restrictions from the table 15 are tested
 - changes in the restriction d (null value handling)
22.3.2 The getreply operation: 
 - handling encoded payloads (rule, restrictions j and k, example)
 - check that restrictions from the table 15 are tested
 - changes in the restriction d (null value handling) and e
22.3.5 The raise operation: 
 - check that restrictions from the table 15 are tested
 - changes in the restriction d (null value handling)
22.3.6 The catch operation: 
 - handling encoded payloads (rule, restrictions l and m, example)
 - check that restrictions from the table 15 are tested
 - changes in the restriction f (null value handling) and g
22.3.2 The check operation: 
 - check that restrictions from the table 15 are tested
 - changes in the restriction b (null value handling) and c
22.5.1 The clear port operation: check that restrictions from the table 15 are tested
22.5.2 The start port operation: check that restrictions from the table 15 are tested
22.5.3 The stop port operation: check that restrictions from the table 15 are tested
22.5.4 The halt port operation: check that restrictions from the table 15 are tested
22.5.5 The checkstate port operation: check that restrictions from the table 15 are tested
23.2 The start timer operation: check that restrictions from the table 15 are tested
23.3 The stop timer operation: check that restrictions from the table 15 are tested
23.4 The read timer operation: check that restrictions from the table 15 are tested
23.2 The running timer operation: 
 - check that restrictions from the table 15 are tested
 - changes in the restriction a
23.2 The timeout operation: 
 - removal of timeouts in case of any timer.timeout
 - check that restrictions from the table 15 are tested
 - changes in the restriction b
24.2 The setverdict operation: check that restrictions from the table 15 are tested
24.3 The getverdict operation: check that restrictions from the table 15 are tested
25 External actions: check that restrictions from the table 15 are tested
26.1 The execute statement: check that restrictions from the table 15 are tested
B.1.2.2	Complemented template list: restriction e
B.1.2.6	SuperSet: new rules for successful match - check if covered by existing tests
B.1.2.7	SubSet: new rules for successful match - check if covered by existing tests
B.1.2.9	Matching decoded content: new matching mechanism
B.1.3.3	Permutation: changes in the restrictions b, c and d
B.1.5 Matching character pattern:
 - USI like syntax
 - referencing patterns
B.1.5.6 Case insensitive pattern matching: new section
C.1.31 Octetstring to universal character string: encoding strings
C.1.32 Universal character string to octetstring: 
 - default value added
 - encoding strings
C.1.33 Value or template to universal charstring: new function
C.3.3 The IsValue function: changes in the restriction on operands
C.3.5 Matching mechanism detection: new function
C.4.1 The Regexp function: @nocase modifier
C.4.2 The Substring function: type of literals
C.4.3 The Replace function: type of literals
C.5.5 Retrieving the type of string encoding: new function
C.5.6 Removing BOMs of UCS encoding schemes: new function
C.6.1 The random number generator function: seed per component


Irrelevant changes:
3.1 Definitions
- new definition of in parametrization: probably no impact
3.2 Abbreviations: new items, no impact
4. Introduction: rephrasing
6.2. Typo correction
6.2.4 Updated section references
7. Note added: covered by existing tests
8.2.3.1 General format of import: syntax correction
8.2.3.6	Import definitions from...: typo
15.6.1 Updated section reference
15.7.2 Tested in the section B
18 Changes tested in other chapters
19 Basic program statements: Rephrasing of existing rules
19.2 New table reference
19.3.1 New table reference
19.4 New table reference
19.5 New table reference
19.6 New table reference
19.7 New table reference
19.8 New table reference
19.9 Minor rephrasing of the existing rules
19.10 Minor rephrasing of the existing rules, new table reference
19.11 New table reference
19.12 New table reference
19.13 New table reference
19.14 New table reference
20.2 Cosmetic text change
26.2 New table reference, cosmetic text change
B.1.2.2 Complemented template list: minor text change
C.6.3 Correction of typos
 No newline at end of file