UCA Conformance Tests

Version 8.0.0
2015-05-14

The following files provide conformance tests for the Unicode Collation Algorithm (UTS #10: Unicode Collation Algorithm).

• CollationTest_SHIFTED.txt
• CollationTest_NON_IGNORABLE.txt
• CollationTest_SHIFTED_SHORT.txt
• CollationTest_NON_IGNORABLE_SHORT.txt

These files are large, and thus packaged in zip format to save download time.

Format

There are four different files:

• The shifted vs non-ignorable files correspond to the two alternate Variable Weighting values.
• The SHORT versions omit the comments, for more compact storage.

The format is illustrated by the following example:

0385 0021;  # (΅) GREEK DIALYTIKA TONOS  [0316 015D | 0020 0032 0020 | 0002 0002 0002 |]

The part before the semicolon is the hex representation of a sequence of Unicode code points. After the hash mark is a comment. This comment is purely informational, and may change in the future. Currently it consists of the characters of the sequence in parentheses, the name of the first code point, and a representation of the  sort key for the sequence.

The sort key representation is in square brackets. It uses a vertical bar for the ZERO separator. Between the bars are the primary, secondary, tertiary, and quaternary weights (if any), in hex.

Note:	The sort key is purely informational. UCA does not require the production of any particular sort key, as long as the results of comparisons match.

Testing

The files are designed so each line in the file will order as being greater than or equal to the previous one, when using the UCA and the Default Unicode Collation Element Table. A test program can read in each line, compare it to the last line, and signal an error if order is not correct. The exact comparison that should be used is as follows:

1. Read the next line.
2. Parse each sequence up to the semicolon, and convert it into a Unicode string.
3. Compare that string with the string on the previous line, according to the UCA implementation, with strength = identical level (using S3.10).
4. If the last string is greater than the current string, then stop with an error.
5. Continue to the next line (step 1).

If there are any errors, then the UCA implementation is not compliant.

These files contain test cases that include ill-formed strings, with surrogate code points. Implementations that do not weight surrogate code points the same way as reserved code points may filter out such lines lines in the test cases, before testing for conformance.

Note: This test is only valid for an untailored DUCET table.

Migration

Tie-breaker

Beginning with UCA 6.2, the test data strings are compared with strength = identical, using UCA S3.10 as a tie-breaker, which compares the NFD forms of the strings in code point order. Before UCA 6.2, the test files did not use strength = identical, and instead used as a tie-breaker the comparison of the unnormalized strings.
Therefore, implementations which use the UCA test files to test multiple versions of UCA need to use different tie-breaker comparisons depending on the UCA version.

Discontiguous contractions

Test data files for UCA 6.1 and earlier versions were generated with code that had a bug in the contraction matching. In that code, matches for certain contractions of Tibetan characters were found despite intervening combining marks, so that some test cases were not in proper order according to the UCA and the DUCET. UCA 6.2 test files omitted the relevant test cases. For UCA 6.3, the test data generation code was fixed and those test cases were restored.

For example, in the defective test data generation code, the strings 0FB2 0F80 0F71 0334 and 0F77 0334 compared equal. (U+0F77 is the TIBETAN VOWEL SIGN VOCALIC RR.) However, UCA processing with the DUCET will not find the contraction 0FB2 0F71 0F80:

• UCA Step 1 normalizes 0FB2 0F80 0F71 0334 to 0FB2 0334 0F71 0F80.
• Step 2.1 only finds a match for S=0FB2.
• S2.1.1 loops over each of the following three characters C, but there is no table entry for any of those three S+C. In particular, there is no DUCET mapping for 0FB2+0F71 (see Well-Formedness of the DUCET).
• The loop exits without finding any match beyond S=0FB2.

See “Also note that the Algorithm employs two distinct contraction matching methods:” at the end of Section 4.2, Produce Array.