RFC4465 日本語訳

4465 Signaling Compression (SigComp) Torture Tests. A. Surtees, M.West. June 2006. (Format: TXT=118772 bytes) (Status: INFORMATIONAL)
プログラムでの自動翻訳です。
英語原文

Network Working Group                                         A. Surtees
Request for Comments: 4465                                       M. West
Category: Informational                      Siemens/Roke Manor Research
                                                               June 2006

コメントを求めるワーキンググループA.サーティーズの要求をネットワークでつないでください: 4465年のM.の西カテゴリ: 情報のシーメンス/Roke荘園研究2006年6月

             Signaling Compression (SigComp) Torture Tests

シグナリング圧縮(SigComp)耐久テスト

Status of This Memo

このメモの状態

   This memo provides information for the Internet community.  It does
   not specify an Internet standard of any kind.  Distribution of this
   memo is unlimited.

このメモはインターネットコミュニティのための情報を提供します。 それはどんな種類のインターネット標準も指定しません。 このメモの分配は無制限です。

Copyright Notice

版権情報

   Copyright (C) The Internet Society (2006).

Copyright(C)インターネット協会(2006)。

Abstract

要約

   This document provides a set of "torture tests" for implementers of
   the Signaling Compression (SigComp) protocol.  The torture tests
   check each of the SigComp Universal Decompressor Virtual Machine
   instructions in turn, focusing in particular on the boundary and
   error cases that are not generally encountered when running
   well-behaved compression algorithms.  Tests are also provided for
   other SigComp entities such as the dispatcher and the state handler.

このドキュメントはSignaling Compression(SigComp)プロトコルのimplementersに1セットの「耐久テスト」を供給します。 耐久テストは順番にそれぞれのSigComp Universal Decompressor Virtual Machine指示をチェックします、品行方正の圧縮アルゴリズムを走らせるとき一般に、遭遇しない境界と誤り事件に特に焦点を合わせて。また、発送者や州の操作者などの他のSigComp実体にテストを提供します。

Surtees & West               Informational                      [Page 1]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[1ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

Table of Contents

目次

   1. Introduction ....................................................3
   2. Torture Tests for UDVM ..........................................4
      2.1. Bit Manipulation ...........................................4
      2.2. Arithmetic .................................................5
      2.3. Sorting ....................................................7
      2.4. SHA-1 ......................................................8
      2.5. LOAD and MULTILOAD .........................................9
      2.6. COPY ......................................................11
      2.7. COPY-LITERAL and COPY-OFFSET ..............................12
      2.8. MEMSET ....................................................14
      2.9. CRC .......................................................15
      2.10. INPUT-BITS ...............................................16
      2.11. INPUT-HUFFMAN ............................................17
      2.12. INPUT-BYTES ..............................................19
      2.13. Stack Manipulation .......................................20
      2.14. Program Flow .............................................22
      2.15. State Creation ...........................................23
      2.16. STATE-ACCESS .............................................26
   3. Torture Tests for Dispatcher ...................................28
      3.1. Useful Values .............................................28
      3.2. Cycles Checking ...........................................31
      3.3. Message-based Transport ...................................32
      3.4. Stream-based Transport ....................................34
      3.5. Input Past the End of a Message ...........................36
   4. Torture Tests for State Handler ................................38
      4.1. SigComp Feedback Mechanism ................................38
      4.2. State Memory Management ...................................41
      4.3. Multiple Compartments .....................................44
      4.4. Accessing RFC 3485 State ..................................49
      4.5. Bytecode State Creation ...................................50
   5. Security Considerations ........................................53
   6. Acknowledgements ...............................................53
   7. Normative References ...........................................53
   Appendix A.  UDVM Bytecode for the Torture Tests ..................54
      A.1. Instructions ..............................................54
           A.1.1. Bit Manipulation ...................................54
           A.1.2. Arithmetic .........................................55
           A.1.3. Sorting ............................................55
           A.1.4. SHA-1 ..............................................56
           A.1.5. LOAD and MULTILOAD .................................56
           A.1.6. COPY ...............................................56
           A.1.7. COPY-LITERAL and COPY-OFFSET .......................57
           A.1.8. MEMSET .............................................57
           A.1.9. CRC ................................................57
           A.1.10. INPUT-BITS ........................................57
           A.1.11. INPUT-HUFFMAN .....................................58

1. 序論…3 2. 拷問はUDVMがないかどうかテストされます…4 2.1. 操作に噛み付きます…4 2.2. 演算…5 2.3. 分類します。7 2.4. SHA-1…8 2.5. 負荷とMULTILOAD…9 2.6. コピーしてください…11 2.7. そして、コピー文字通り、コピーオフセット…12 2.8. MEMSET…14 2.9. CRC…15 2.10. 入力ビット…16 2.11. INPUTハフマン…17 2.12. 入力バイト…19 2.13. 操作を積み重ねてください…20 2.14. 流れをプログラムしてください…22 2.15. 創造を述べてください…23 2.16. 州アクセス…26 3. 拷問は発送者がないかどうかテストされます…28 3.1. 役に立つ値…28 3.2. サイクルズの照合…31 3.3. メッセージベースの輸送…32 3.4. 流れのベースの輸送…34 3.5. メッセージの終わりを過ぎて入力します。36 4. 拷問は州の操作者がないかどうかテストされます…38 4.1. SigCompフィードバック・メカニズム…38 4.2. メモリ管理を述べてください…41 4.3. 複数のコンパートメント…44 4.4. RFC3485状態にアクセスします…49 4.5. バイトコード州の創造…50 5. セキュリティ問題…53 6. 承認…53 7. 標準の参照…拷問のための53付録A.UDVMバイトコードはテストされます…54 A.1。 指示…54 A.1.1。 操作に噛み付きます…54 A.1.2。 演算…55 A.1.3。 分類します。55 A.1.4。 SHA-1…56 A.1.5。 負荷とMULTILOAD…56 A.1.6。 コピーしてください…56 A.1.7。 そして、コピー文字通り、コピーオフセット…57 A.1.8。 MEMSET…57 A.1.9。 CRC…57 A.1.10。 入力ビット…57 A.1.11。 INPUTハフマン…58

Surtees & West               Informational                      [Page 2]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[2ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

           A.1.12. INPUT-BYTES .......................................58
           A.1.13. Stack Manipulation ................................58
           A.1.14. Program Flow ......................................59
           A.1.15. State Creation ....................................59
           A.1.16. STATE-ACCESS ......................................60
      A.2. Dispatcher Tests ..........................................61
           A.2.1. Useful Values ......................................61
           A.2.2. Cycles Checking  ...................................62
           A.2.3. Message-based Transport ............................62
           A.2.4. Stream-based Transport .............................62
           A.2.5. Input Past the End of a Message ....................63
      A.3. State Handler Tests .......................................64
           A.3.1. SigComp Feedback Mechanism .........................64
           A.3.2. State Memory Management ............................64
           A.3.3. Multiple Compartments ..............................65
           A.3.4. Accessing RFC 3485 State ...........................66
           A.3.5. Bytecode State Creation ............................66

A.1.12。 入力バイト…58 A.1.13。 操作を積み重ねてください…58 A.1.14。 流れをプログラムしてください…59 A.1.15。 創造を述べてください…59 A.1.16。 州アクセス…60 A.2。 発送者はテストします…61 A.2.1。 役に立つ値…61 A.2.2。 サイクルズの照合…62 A.2.3。 メッセージベースの輸送…62 A.2.4。 流れのベースの輸送…62 A.2.5。 メッセージの終わりを過ぎて入力します。63 A.3。 操作者テストを述べてください…64 A.3.1。 SigCompフィードバック・メカニズム…64 A.3.2。 メモリ管理を述べてください…64 A.3.3。 複数のコンパートメント…65 A.3.4。 RFC3485状態にアクセスします…66 A.3.5。 バイトコード州の創造…66

1.  Introduction

1. 序論

   This document provides a set of "torture tests" for implementers of
   the SigComp protocol, RFC 3320 [2].  The idea behind SigComp is to
   standardize a Universal Decompressor Virtual Machine (UDVM) that can
   be programmed to understand the output of many well-known compressors
   including DEFLATE and LZW.  The bytecode for the chosen decompressor
   is uploaded to the UDVM as part of the SigComp message flow.

このドキュメントはSigCompプロトコル、RFC3320[2]のimplementersに1セットの「耐久テスト」を供給します。 SigCompの後ろの考えはDEFLATEとLZWを含む多くの周知のコンプレッサーの出力を理解するようにプログラムできるUniversal Decompressor Virtual Machine(UDVM)を標準化することです。 選ばれた減圧装置のためのバイトコードはSigCompメッセージ流動の一部としてUDVMにアップロードされます。

   The SigComp User's Guide [1] gives examples of a number of different
   algorithms that can be used by the SigComp protocol.  However, the
   bytecode for the corresponding decompressors is relatively well
   behaved and does not test the boundary and error cases that may
   potentially be exploited by malicious SigComp messages.

SigComp Userのガイド[1]はSigCompプロトコルで使用できる多くの異なったアルゴリズムに関する例を出します。 しかしながら、対応する減圧装置のためのバイトコードは、比較的よく振る舞って、悪意があるSigCompメッセージで潜在的に利用されるかもしれない境界と誤り事件をテストしません。

   This document is divided into a number of sections, each containing a
   piece of code designed to test a particular function of one of the
   SigComp entities (UDVM, dispatcher, and state handler).  The specific
   boundary and error cases tested by the bytecode are also listed, as
   are the output the code should produce and the number of UDVM cycles
   that should be used.

このドキュメントは多くのセクションに分割されます、それぞれSigComp実体(UDVM、発送者、および州の操作者)の1つの特定の機能をテストするように設計された1つのコードを含んでいて。 また、バイトコードによってテストされた特定の境界と誤り事件は記載されています、コードが起こすべきである出力と使用されるべきであるUDVMサイクルの数のように。

   Each test runs in the SigComp minimum decompression memory size (that
   is, 2K), within the minimum number of cycles per bit (that is, 16)
   and in tests where state is stored 2K state memory size is needed.

各テストが、ビット(すなわち、16)あたりのサイクルの最小の数の中でSigCompの最小の減圧記憶容量(すなわち、2K)に逮捕して、状態が2Kの格納された州の記憶容量であるテストで必要です。

Surtees & West               Informational                      [Page 3]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[3ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

2.  Torture Tests for UDVM

2. UDVMのための耐久テスト

   The following sections each provide code to test one or more UDVM
   instructions.  In the interests of readability, the code is given
   using the SigComp assembly language: a description of how to convert
   this assembly code into UDVM bytecode can be found in the SigComp
   User's Guide [1].

以下のセクションは、1つ以上のUDVM指示をテストするためにそれぞれコードを提供します。 読み易さのために、SigCompアセンブリ言語を使用することでコードを与えます: SigComp Userのガイド[1]でどうこのアセンブリコードをUDVMバイトコードに変換するかに関する記述を見つけることができます。

   The raw UDVM bytecode for each torture test is given in Appendix A.

Appendix Aで各耐久テストのための生のUDVMバイトコードを与えます。

   Each section also lists the number of UDVM cycles required to execute
   the code.  Note that this figure only takes into account the cost of
   executing each UDVM instruction (in particular, it ignores the fact
   that the UDVM can gain extra cycles as a result of inputting more
   data).

また、各セクションはサイクルがコードを実行するのを必要としたUDVMの数を記載します。 この図がそれぞれのUDVM指示を実行する費用を考慮に入れるだけであることに注意してください(特に、それは、より多くのデータを入力することの結果、UDVMが余分なサイクルを獲得できるという事実を無視します)。

2.1.  Bit Manipulation

2.1. 噛み付いている操作

   This section gives assembly code to test the AND, OR, NOT, LSHIFT,
   and RSHIFT instructions.  When the instructions have a multitype
   operand, the code tests the case where the multitype contains a fixed
   integer value, and the case where it contains a memory address at
   which the 2-byte operand value can be found.  In addition, the code
   is designed to test that the following boundary cases have been
   correctly implemented:

このセクションは、AND、OR、NOT、LSHIFT、およびRSHIFT指示をテストするためにアセンブリコードを与えます。 指示に「マルチ-タイプ」オペランドがあるとき、コードは「マルチ-タイプ」が固定整数値を含むケース、およびそれが2バイトのオペランド値を見つけることができるメモリアドレスを含むケースをテストします。 実行されて、さらに、コードは以下の境界ケースが正しくそうであるテストに設計されています:

   1.  The instructions overwrite themselves with the result of the bit
       manipulation operation, in which case execution continues
       normally.

1. 指示は噛み付いている操作操作の結果で書き過ぎて文体を損ないます、その場合、通常、実行が続きます。

   2.  The LSHIFT or RSHIFT instructions shift bits beyond the 2-byte
       boundary, in which case the bits must be discarded.

2. LSHIFTかシフトビット2バイトの境界を超えたRSHIFT指示、その場合ビットを捨てなければなりません。

   3.  The UDVM registers byte_copy_left and byte_copy_right are used to
       store the results of the bit manipulation operations.  Since no
       byte copying is taking place, these registers should behave in
       exactly the same manner as ordinary UDVM memory addresses.

3. あと_コピー_とバイト_が_まさしくコピーするUDVMレジスタバイトは、噛み付いている操作操作の結果を格納するのに使用されます。 バイトコピーでないのが行われることであるので、これらのレジスタはまさに普通のUDVMメモリアドレスと同じ態度で振る舞うべきです。

Surtees & West               Informational                      [Page 4]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[4ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   at (64)

at(64)

   :a                              pad (2)
   :b                              pad (2)

:パッド(2):bパッド(2)

   at (128)

at(128)

   JUMP (start)            ; Jump to address 255

ジャンプしてください(始まってください)。 ジャンプして、255を記述してください。

   at (255)

at(255)

   :start

:始め

   ; The multitypes are values
                           ; $start = 448 (first 2 bytes of AND instr)
   AND ($start, 21845)     ; 448 & 21845 = 320 = 0x0140
   OR ($a, 42)             ; 0 | 42 = 42 = 0x002a
   NOT ($b)                ; ~0 = 65535 = 0xffff
   LSHIFT ($a, 3)          ; 42 << 3 = 336 = 0x0150
   RSHIFT ($b, 65535)      ; 65535 >> 65535 = 0 = 0x0000

; 「マルチ-タイプ」は値です。 $始めは448(最初に、2バイトのAND instr)AND($始め、21845)と等しいです。 448と21845 = 320が0×0140ORと等しい、($、a、42)。 0 | ($b)ではなく42 = 42 = 0x002a。 ~0 = 65535 = 0 xffff LSHIFT、($、a、3)。 42 <<3 = 336は0×0150RSHIFT($b、65535)と等しいです。 65535 >>65535 = 0=0x0000

   OUTPUT (64, 4)          ; Output 0x0150 0000

出力(64、4)。 出力0x0150 0000

   ; The multitypes are references

; 「マルチ-タイプ」は参照です。

   AND ($a, $start)        ; 336 & 320 = 320 = 0x0140
   OR ($a, $a)             ; 320 | 320 = 320 = 0x0140
   NOT ($a)                ; ~320 = 65215 = 0xfebf
   LSHIFT ($b, $a)         ; 0 << 65215 = 0 = 0x0000
   RSHIFT ($a, $b)         ; 65215 >> 0 = 65215 = 0xfebf

そして、($、a、$始め)、。 336と320 = 320が0×0140ORと等しい、($、a、$a)。 320 | 0×0140 320 = 320=NOT、($a)。 ~320 = 65215 = 0 xfebf LSHIFT、($b、$a)。 0<<65215 = 0が0×0000RSHIFTと等しい、($、a、$b)。 65215 >>0 = 65215 = 0xfebf

   OUTPUT (64, 4)          ; Output 0xfebf 0000

出力(64、4)。 0xfebf0000を出力してください。

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   The output of the code is 0x0150 0000 febf 0000.  Executing the code
   costs a total of 22 UDVM cycles.

コードの出力は0×0150 0000febf0000です。 コードを実行するのは合計22UDVMサイクルかかります。

2.2.  Arithmetic

2.2. 演算

   This section gives assembly code to test the ADD, SUBTRACT, MULTIPLY,
   DIVIDE, and REMAINDER instructions.  The code is designed to test
   that the following boundary cases have been correctly implemented:

このセクションは、ADD、SUBTRACT、MULTIPLY、DIVIDE、およびREMAINDER指示をテストするためにアセンブリコードを与えます。 実行されて、コードは以下の境界ケースが正しくそうであるテストに設計されています:

   1.  The instructions overwrite themselves with the result of the
       arithmetic operation, resulting in continuation as if the bytes
       were not bytecode.

1. 指示は四則演算の結果で書き過ぎて文体を損ないます、まるでバイトがバイトコードでないかのように継続をもたらして。

Surtees & West               Informational                      [Page 5]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[5ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   2.  The result does not lie between 0 and 2^16 - 1 inclusive, in
       which case it must be taken modulo 2^16.

2. 結果は包括的にどんな偽り0〜2の^16--1もしません、その場合、それが取られた法2^16であるに違いない。

   3.  The divisor in the DIVIDE or REMAINDER instructions is 0 (in
       which case decompression failure must occur).

3. DIVIDEかREMAINDER指示における除数は0(その場合、減圧失敗は起こらなければならない)です。

   at (64)

at(64)

   :a                              pad (2)
   :b                              pad (2)
   :type                           pad (1)
   :type_lsb                       pad (1)

:パッド(2):bパッド(2):typeパッド(1): _lsbパッドをタイプしてください。(1)

   at (128)

at(128)

   INPUT-BYTES (1, type_lsb, decomp_failure)
   SUBTRACT ($type, 1)
   JUMP (start)
   :decomp_failure
   DECOMPRESSION-FAILURE

INPUT-BYTES(1、タイプ_lsb、「反-コンピュータ」_失敗)SUBTRACT(1歳の$タイプ)JUMP(始める): 「反-コンピュータ」_失敗DECOMPRESSION-FAILURE

   ; Now the value in $type should be 0xffff, 0x0000, or 0x0001
   ; according to whether the input was 0x00, 0x01, or 0x02.

; 現在、$タイプによる値は、0xffff、0×0000、または0×0001であるべきです。 入力が0×00、0×01、または0×02であったかに従って。

   at (255)

at(255)

   :start

:始め

   ; The multitypes are values
                           ; For all three messages
                           ; $start = 1728 (first 2 bytes of ADD instr)
   ADD ($start, 63809)     ; 1728 + 63809 = 1 = 0x0001
   SUBTRACT ($a, 1)        ; 0 - 1 = 65535 = 0xffff
   MULTIPLY ($a, 1001)     ; 65535 * 1001 = 64535 = 0xfc17
   DIVIDE ($a, 101)        ; 64535 / 101 = 638 = 0x027e
   REMAINDER ($a, 11)      ; 638 % 11 = 0 = 0x0000

; 「マルチ-タイプ」は値です。 すべての3つのメッセージのために。 $始めは1728(最初に、2バイトのADD instr)ADD($始め、63809)と等しいです。 1728+63809 = 1=0×0001が引かれる、($、a、1)。 0--1 = 65535 = 0 xffffに増えてください、($、a、1001)。 65535*1001 = 64535 = 0xfc17分水嶺、($、a、101)。 64535 / 101 = 638 = 0 x027e残り、($、a、11)。 638%11 = 0=0×0000

   OUTPUT (64, 4)          ; output 0x0000 0000

出力(64、4)。 出力0x0000 0000

   ; The multitypes are references
   ADD ($b, $start)        ; 0 + 1 = 1 = 0x0001
                           ; If the message is 0x00
   SUBTRACT ($b, $type)    ; 1 - 65535 = 2 = 0x0002
   MULTIPLY ($b, $b)       ; 2 * 2 = 4 = 0x0004
   DIVIDE ($a, $b)         ; 0 / 4 = 0 = 0x0000
   REMAINDER ($b, $type)   ; 4 % 65535 = 4 = 0x0004

; 「マルチ-タイプ」は参照ADD($b、$は始まる)です。 0 + 1 = 1 =0x0001。 メッセージが0×00SUBTRACT($b、$はタイプされる)であるなら。 1--65535 = 2= 0×0002 ($b、$b)を掛けてください。 2*2 = 4=0×0004が割られる、($、a、$b)。 0 / 4 = 0 =0x0000残り($b、$はタイプされます)。 4%65535 = 4=0×0004

Surtees & West               Informational                      [Page 6]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[6ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   OUTPUT (64, 4)          ; output 0x0000 0004

出力(64、4)。 出力0x0000 0004

                           ; If the message is 0x01, $type = 0
                           ; so decompression failure occurs at
                           ; REMAINDER ($b, $type)

; メッセージが0×01であるなら、$タイプ=0です。 減圧失敗が起こるそう。 残り($b、$タイプ)

                           ; If the message is 0x02, $type = 1 so
                           ; $b becomes 0 and decompression failure
                           ; occurs at DIVIDE ($a, $b)

; したがって、メッセージが0×02、$タイプ=1であるなら。 $bは0と減圧失敗になります。 DIVIDEでは、起こります。($、a、$b)

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   If the compressed message is 0x00, then the output of the code is
   0x0000 0000 0000 0004 and the execution cost should be 25 UDVM
   cycles.  However, if the compressed message is 0x01 or 0x02, then
   decompression failure occurs.

圧縮されたメッセージが0×00であるならコードの出力がそうである、0×0000、0000 0000 0004、そして、費用が25がUDVMサイクルであるならそうする実行。 しかしながら、圧縮されたメッセージが0×01か0×02であるなら、減圧失敗は起こります。

2.3.  Sorting

2.3. ソーティング

   This section gives assembly code to test the SORT-ASCENDING and SORT-
   DESCENDING instructions.  The code is designed to test that the
   following boundary cases have been correctly implemented:

このセクションは、SORT-ASCENDINGとSORT- DESCENDING指示をテストするためにアセンブリコードを与えます。 実行されて、コードは以下の境界ケースが正しくそうであるテストに設計されています:

   1.  The sorting instructions sort integers with the same value, in
       which case the original ordering of the integers must be
       preserved.

1. ソーティング指示は同じ値に従った整数を分類します、その場合、整数のオリジナルの注文を保存しなければなりません。

   at (128)

at(128)

   SORT-DESCENDING (256, 2, 23)
   SORT-ASCENDING (256, 2, 23)

種類を滑降させる(256、2、23)種類上昇(256, 2, 23)

   OUTPUT (302, 45)
   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

出力(302、45)終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   at (256)

at(256)

   word (10, 10, 17, 7, 22, 3, 3, 3, 19, 1, 16, 14, 8, 2, 13, 20, 18,
   23, 15, 21, 12, 6, 9)

単語(10, 10, 17, 7, 22, 3, 3, 3, 19, 1, 16, 14, 8, 2, 13, 20, 18, 23, 15, 21, 12, 6, 9)

   word (28263, 8297, 30057, 8308, 26996, 11296, 31087, 29991, 8275,
   18031, 28263, 24864, 30066, 29284, 28448, 29807, 28206, 11776, 28773,
   28704, 28276, 29285, 28265)

単語(28263, 8297, 30057, 8308, 26996, 11296, 31087, 29991, 8275, 18031, 28263, 24864, 30066, 29284, 28448, 29807, 28206, 11776, 28773, 28704, 28276, 29285, 28265)

   The output of the code is 0x466f 7264 2c20 796f 7527 7265 2074 7572
   6e69 6e67 2069 6e74 6f20 6120 7065 6e67 7569 6e2e 2053 746f 7020 6974
   2e, and the number of cycles required is 371.

コードの出力は0x466f7264 2c20 796f7527 7265 2074 7572 6e69 6e67 2069 6e74 6f20 6120 7065 6e67 7569 6e2e2053 746f7020 6974 2eです、そして、必要である繰返し数は371です。

Surtees & West               Informational                      [Page 7]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[7ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

2.4.  SHA-1

2.4. SHA-1

   This section gives assembly code to test the SHA-1 instruction.  The
   code performs four tests on the SHA-1 algorithm itself and, in
   addition, checks the following boundary cases specific to the UDVM:

このセクションは、SHA-1指示をテストするためにアセンブリコードを与えます。 コードは、SHA-1アルゴリズム自体の4つのテストを実行して、さらに、UDVMに特定の以下の境界ケースをチェックします:

   1.  The input string for the SHA-1 hash is obtained by byte copying
       over an area of the UDVM memory.

1. SHA-1細切れ肉料理のための入力ストリングをUDVMメモリの領域の上にコピーされるバイト入手します。

   2.  The SHA-1 hash overwrites its own input string.

2. SHA-1細切れ肉料理はそれ自身の入力ストリングを上書きします。

   at (64)

at(64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)
   :hash_value                     pad (20)

:バイト_コピー_左のパッド(2): バイト_コピー_権利パッド(2): 細切れ肉料理_値のパッド(20)

   at (128)

at(128)

   SHA-1 (test_one, 3, hash_value)
   OUTPUT (hash_value, 20)

SHA-1(テスト_1、3は_値を論じ尽くす)OUTPUT(細切れ肉料理_値、20)

   SHA-1 (test_two, 56, hash_value)
   OUTPUT (hash_value, 20)

SHA-1(テスト_2、56は_値を論じ尽くす)OUTPUT(細切れ肉料理_値、20)

   ; Set up a 1-byte buffer
   LOAD (byte_copy_left, test_three)
   LOAD (byte_copy_right, test_four)

; 1バイトのバッファLOAD(あとバイト_コピー_、テスト_three)LOADをセットアップしてください。(バイト_コピー_右、テスト_four)

   ; Perform SHA-1 over 16384 bytes in a 1-byte buffer
   SHA-1 (test_three, 16384, hash_value)
   OUTPUT (hash_value, 20)

; 1バイトのバッファSHA-1(テスト_3、16384は_値を論じ尽くす)OUTPUTで16384バイト以上のSHA-1を実行してください。(細切れ肉料理_値、20)

   ; Set up an 8-byte buffer
   LOAD (byte_copy_left, test_four)
   LOAD (byte_copy_right, test_end)

; 8バイトのバッファLOAD(あとバイト_コピー_、テスト_four)LOADをセットアップしてください。(バイト_コピー_右、テスト_エンド)

   ; Perform SHA-1 over 640 bytes in an 8-byte buffer
   SHA-1 (test_four, 640, test_four)
   OUTPUT (test_four, 20)

; 8バイトのバッファSHA-1(テスト_4、640、テスト_4)OUTPUTで640バイト以上のSHA-1を実行してください。(テスト_4、20)

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   :test_one

:テスト_1

   byte (97, 98, 99)

バイト(97, 98, 99)

   :test_two

:テスト_2

Surtees & West               Informational                      [Page 8]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[8ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   byte (97, 98, 99, 100, 98, 99, 100, 101, 99, 100, 101, 102, 100, 101,
   102, 103, 101, 102, 103, 104, 102, 103, 104, 105, 103, 104, 105, 106,
   104, 105, 106, 107, 105, 106, 107, 108, 106, 107, 108, 109, 107, 108,
   109, 110, 108, 109, 110, 111, 109, 110, 111, 112, 110, 111, 112, 113)

バイト(97, 98, 99, 100, 98, 99, 100, 101, 99, 100, 101, 102, 100, 101, 102, 103, 101, 102, 103, 104, 102, 103, 104, 105, 103, 104, 105, 106, 104, 105, 106, 107, 105, 106, 107, 108, 106, 107, 108, 109, 107, 108, 109, 110, 108, 109, 110, 111, 109, 110, 111, 112, 110, 111, 112, 113)

   :test_three

:テスト_3

   byte (97)

バイト(97)

   :test_four

:テスト_4

   byte (48, 49, 50, 51, 52, 53, 54, 55)

バイト(48, 49, 50, 51, 52, 53, 54, 55)

   :test_end

:テスト_エンド

   The output of the code is as follows:

コードの出力は以下の通りです:

   0xa999 3e36 4706 816a ba3e 2571 7850 c26c 9cd0 d89d
   0x8498 3e44 1c3b d26e baae 4aa1 f951 29e5 e546 70f1
   0x12ff 347b 4f27 d69e 1f32 8e6f 4b55 73e3 666e 122f
   0x4f46 0452 ebb5 6393 4f46 0452 ebb5 6393 4f46 0452

0xa999 3e36 4706 816a ba3e2571 7850c26c 9cd0 d89d0×8498 3e44 1c3b d26e baae 4aa1 f951 29e5 e546 70f1 0x12ff 347b4f27 d69e 1f32 8e6f 4b55 73e3 666e 122f 0x4f46 0452 ebb5 6393 4f46 0452 ebb5 6393 4f46 0452

   Executing the code costs a total of 17176 UDVM cycles.

コードを実行するのは合計17176UDVMサイクルかかります。

2.5.  LOAD and MULTILOAD

2.5. 負荷とMULTILOAD

   This section gives assembly code to test the LOAD and MULTILOAD
   instructions.  The code is designed to test the following boundary
   cases:

このセクションは、LOADとMULTILOAD指示をテストするためにアセンブリコードを与えます。 コードは以下の境界ケースをテストするように設計されています:

   1.  The MULTILOAD instruction overwrites itself or any of its
       operands, in which case decompression failure occurs.

1. MULTILOAD指示はそれ自体かオペランドのどれかを上書きします、その場合、減圧失敗が起こります。

   2.  The memory references of MULTILOAD instruction operands are
       evaluated step-by-step rather than all at once before starting to
       copy data.

2. データをコピーし始める前に、MULTILOAD指示オペランドのメモリ参照は一気にというよりむしろ一歩一歩評価されます。

   at (64)

at(64)

   :start                          pad (1)
   :start_lsb                      pad (1)

:パッド(1)を始動してください: _lsbパッドを始動してください。(1)

   at (128)

at(128)

   set (location_a, 128)
   set (location_b, 132)

セット(位置、128)セット(位置の_b、132)

Surtees & West               Informational                      [Page 9]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[9ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   LOAD (128, 132)                 ; address 128 contains 132 = 0x0084
   LOAD (130, $location_a)         ; address 130 contains 132 = 0x0084
   LOAD ($location_a, 134)         ; address 132 contains 134 = 0x0086
   LOAD ($location_b, $location_b) ; address 134 contains 134 = 0x0086
   OUTPUT (128, 8)                 ; output 0x0084 0084 0086 0086

負荷(128、132)。 アドレス128は0×0084 132=LOAD(130、$位置)を含んでいます。 アドレス130は0×0084 132=LOAD($位置、134)を含んでいます。 アドレス132は0×0086 134=LOAD($位置_b、$位置_b)を含んでいます。 アドレス134は134=0×0086OUTPUT(128、8)を含んでいます。 出力0x0084 0084 0086 0086

   INPUT-BYTES (1, start_lsb, decompression_failure)
   MULTIPLY ($start, 2)
   ADD ($start, 60)
   MULTILOAD ($start, 3, overlap_start, overlap_end, 128)

INPUT-BYTES(1、始め_lsb、減圧_失敗)MULTIPLY($始め、2)ADD($始め、60)MULTILOAD($始め、3は_始め、オーバラップ_エンド、128を重ね合わせます)

   :position

:位置

   set (overlap_start, (position - 7))

セットします。(_始めを重ね合わせてください、(位置--7))

   MULTILOAD ($start, 4, 42, 128, $location_a, $location_b)

MULTILOAD($始め、4、42、128、$位置、$位置_b)

   :end

:終わり

   set (overlap_end, (end - 1))

セットします。(オーバラップ_終わり、(終わってください--1)

   OUTPUT (128, 8)
   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

出力(128、8)終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   :decompression_failure
   DECOMPRESSION-FAILURE

:減圧_失敗DECOMPRESSION-FAILURE

   The INPUT-BYTES, MULTIPLY, and ADD instructions give the following
   values for $start = $64 just before the MULTILOADs begin:

MULTILOADsが始まるすぐ前に指示が$で以下の値を与えるINPUT-BYTES、MULTIPLY、およびADDは = 64ドルを始めます:

   Input     $start before 1st MULTILOAD
   0x00            60
   0x01            62
   0x02            64

入力$が1番目の前にMULTILOAD0x00 60を始める、0×01、62、0×02、64

   Consequently, after the first MULTILOAD the values of $start are the
   following:

その結果、1日以降、$の値が始動するMULTILOADは以下です:

   Input     $start before 2nd MULTILOAD
   0x00      128
   0x01      overlap_end = 177 = last byte of 2nd MULTILOAD instruction
   0x02      overlap_start = 162 = 7 bytes before 2nd MULTILOAD
             instruction

MULTILOAD0x00 128 0×01オーバラップ_終わり=の177が2番目に0×02が2番目のMULTILOAD指示の_スタート=162 = 7バイト前に重ね合わせる2番目のMULTILOAD指示の最後のバイトと等しい前の入力$始め

Surtees & West               Informational                     [Page 10]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[10ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   Consequently, execution of the 2nd MULTILOAD (and any remaining code)
   gives the following:

その結果、第2MULTILOAD(そして、どんな残っているコードも)の実行は以下を与えます:

   Input   Outcome
   0x00    MULTILOAD reads and writes operand by operand.  The output is
           0x0084 0084 0086 0086 002a 0080 002a 002a, and the cost of
           executing the code is 36 UDVM cycles.

入力Outcome0x00MULTILOADはオペランドでオペランドを読み書きします。 002a0080 002a 002a、およびコードを実行する費用はそうです。出力が0×0084である、0084 0086 0086、36UDVMサイクル。

   0x01    The first write of the MULTILOAD instruction would overwrite
           the last byte of the final MULTILOAD operand, so
           decompression failure occurs.

1番目はMULTILOAD指示を主題にして書きます。0×01、最終的なMULTILOADオペランドの最後のバイトを上書きして、したがって、減圧失敗は起こります。

   0x02    The last write of the MULTILOAD would overwrite the MULTILOAD
           opcode, so decompression failure occurs.

最終はMULTILOADを主題にして書きます。0×02、MULTILOAD opcodeを上書きして、したがって、減圧失敗は起こります。

2.6.  COPY

2.6. コピー

   This section gives assembly code to test the COPY instruction.  The
   code is designed to test that the following boundary cases have been
   correctly implemented:

このセクションは、COPY指示をテストするためにアセンブリコードを与えます。 実行されて、コードは以下の境界ケースが正しくそうであるテストに設計されています:

   1.  The COPY instruction copies data from both outside the circular
       buffer and inside the circular buffer within the same operation.

1. COPY指示は同じ操作の中に円形のバッファの外と、そして、円形のバッファの中に両方からのデータをコピーします。

   2.  The COPY instruction performs byte-by-byte copying (i.e., some of
       the later bytes to be copied are themselves written into the UDVM
       memory by the COPY instruction currently being executed).

2. COPY指示は、バイトごとにコピーしながら、働きます(すなわち、コピーされるべき後のバイトのいくつかが現在実行されるCOPY指示でUDVMメモリに書かれています)。

   3.  The COPY instruction overwrites itself and continues executing.

3. COPY指示は、書き過ぎて文体を損なって、実行し続けています。

   4.  The COPY instruction overwrites the UDVM registers byte_copy_left
       and byte_copy_right.

4. COPY指示はUDVMレジスタのあとバイト_コピー_とバイト_コピー_をまさしく上書きします。

   5.  The COPY instruction writes to and reads from the right of the
       buffer beginning at byte_copy_right.

5. 指示が書いて、バイト_で始まるバッファの右から読み込むCOPYは_まさしくコピーします。

   6.  The COPY instruction implements byte copying rules when the
       destination wraps around the buffer.

6. COPY指示は目的地がバッファを巻きつけるとき規則をコピーするバイトを実行します。

   at (64)

at(64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)

:バイト_コピー_はパッド(2): バイト_コピー_を右のパッドに残しました。(2)

Surtees & West               Informational                     [Page 11]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[11ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   at (128)
                           ; Set up buffer between addresses 64 & 128
   LOAD (32, 16384)
   LOAD (byte_copy_left, 64)
   LOAD (byte_copy_right, 128)

(128)で。 セットアップされて、アドレス64と128の間でLOAD(32、16384)LOAD(あとバイト_コピー_、64)LOADをバッファリングしてください。(バイト_コピー_右、128)

   COPY (32, 128, 33)      ; Copy byte by byte starting to the left of
                           ; the buffer, into the buffer and wrapping
                           ; the buffer (inc overwriting the
                           ; boundaries)

コピー(32、128、33)。 バイトごとにコピーする、。 バッファとラッピングへのバッファ。 バッファ(inc上書き、;、境界)

   LOAD (64, 16640)        ; Change the start of the buffer to be
                           ; beyond bytecode

負荷(64、16640)。 バッファの始まりを変える、。 バイトコードを超えて

   COPY (64, 85, 65)       ; Copy to the left of the buffer,
                           ; overwriting this instruction

コピー(64、85、65)。 バッファの左までコピーしてください。 この指示を上書きします。

   OUTPUT (32, 119)        ; Output 32 * 0x40 + 86 * 0x41 + 0x55,
                           ; which is 32 * '@' + 86 'A' + 'U'

出力(32、119)。 出力32*0×40+86*0×41+0x55。 32*'@'+86''+'U'はどれですか?

                           ; Set a new small buffer
   LOAD (byte_copy_left, 32)
   LOAD (byte_copy_right, 48)

; 新しい小さいバッファLOAD(あとバイト_コピー_、32)LOADを設定してください。(バイト_コピー_右、48)

   MEMSET (32, 4, 65, 1)   ; Set first 4 bytes of the buffer to be
                           ; 'ABCD'
   COPY (32, 4, 48)        ; Copy from byte_copy_right (i.e., not
                           ; in buffer)

MEMSET(32、4、65、1)。 最初にバッファの4バイトは設定する、。 'ABCD'コピー(32、4、48)。 バイト_コピーから、_まさしくコピーしてください。(すなわち、バッファでは、)ではありません)です。

   OUTPUT (48, 4)          ; Output 0x4142 4344, which is 'ABCD'

出力(48、4)。 出力0x4142 4344。(その4344は'ABCD'です)。

   COPY (48, 4, 46)        ; Copy from two before byte_copy_right to
                           ; wrap around the buffer
   OUTPUT (32, 2)          ; Output 0x4344, which is 'CD'

コピー(48、4、46)。 2から、_が_まさしくコピーするバイト前にコピーしてください。 バッファの周りでOUTPUT(32、2)を包装してください。 出力0x4344。(その出力は'CD'です)。

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   The output is above, and executing the code costs a total of 365 UDVM
   cycles.

出力が上にあります、そして、コードを実行するのは合計365UDVMサイクルかかります。

2.7.  COPY-LITERAL and COPY-OFFSET

2.7. コピー文字通りであってコピーはオフセットです。

   This section gives assembly code to test the COPY-LITERAL and COPY-
   OFFSET instructions.  The code is designed to test similar boundary
   cases to the code for the COPY instruction, as well as the following
   condition specific to COPY-LITERAL and COPY-OFFSET:

このセクションは、COPY-LITERALとCOPY- OFFSET指示をテストするためにアセンブリコードを与えます。 コードはCOPY指示がないかどうかコードへの同様の境界ケースをテストするように設計されています、COPY-LITERALとCOPY-OFFSETに特定の以下の条件と同様に:

Surtees & West               Informational                     [Page 12]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[12ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   1.  The COPY-LITERAL or COPY-OFFSET instruction overwrites the value
       of its destination.

1. COPY-LITERALかCOPY-OFFSET指示が目的地の値を上書きします。

   2.  The COPY-OFFSET instruction reads from an offset that wraps
       around the buffer (i.e., the offset is larger than the distance
       between byte_copy_left and the destination).

2. COPY-OFFSET説明書はバッファを巻きつけるオフセットから読みます(すなわち、オフセットはあとバイト_コピー_と目的地の間の距離より大きいです)。

   at (64)

at(64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)
   :destination                    pad (2)
   :offset                         pad (2)

:バイト_コピー_は右のパッド(2):destinationパッド(2):offsetパッドにパッド(2): バイト_コピー_を残しました。(2)

   at (128)
                                   ; Set up circular buffer, source, and
                                   ; destination
   LOAD (32, 16640)
   LOAD (byte_copy_left, 64)
   LOAD (byte_copy_right, 128)
   LOAD (destination, 33)

(128)で。 そして、ソースは円形のバッファをセットアップしてください、。 目的地LOAD(32、16640)LOAD(あとバイト_コピー_、64)LOAD(バイト_コピー_右、128)LOAD(目的地、33)

   COPY-LITERAL (32, 128, $destination)    ; Copy from the left of the
                           ; buffer overwriting bcl, bcr, and
                           ; destination wrapping around the buffer
   OUTPUT (64, 8)          ; Check destination has been updated
                           ; Output 0x4141 4141 0061 4141

コピー文字通り(32、128、$の目的地)。 左からコピーする、。 そして、bclを上書きするbcrをバッファリングしてください、。 バッファOUTPUT(64、8)の周りの目的地ラッピング。 チェックの目的地をアップデートしました。 出力0x4141 4141 0061 4141

   LOAD (destination, copy)

負荷(目的地、コピー)

   :copy                   ; Overwrite the copy instruction
   COPY-LITERAL (32, 2, $destination)
   OUTPUT (copy, 2)        ; Output 0x4141

:コピーしてください。 コピー指示COPY-LITERAL(32、2、$の目的地)OUTPUT(コピー、2)を上書きしてください。 出力0x4141

   LOAD (byte_copy_left, 72)       ; Set up new circular buffer
   LOAD (byte_copy_right, 82)
   LOAD (destination, 82)          ; Set destination to byte_copy_right

ロードしてください(あとバイト_コピー_、72)。 新しい円形のバッファLOAD(バイト_コピー_右、82)LOAD(目的地、82)をセットアップしてください。 バイト_コピー_への目的地を直してください。

   MEMSET (72, 10, 65, 1)          ; Fill the buffer with 0x41 - 4A

MEMSET(72、10、65、1)。 0×41でバッファを満たしてください--、4A

   COPY-OFFSET (2, 6, $destination)    ; Copy from within circular
                                       ; buffer to outside buffer

コピーオフセット(2、6、$の目的地)。 回覧の中で模造してください。 バッファの外へのバッファ

   LOAD (offset, 6)
   COPY-OFFSET ($offset, 4, $destination)
                                   ; Copy from byte_copy_right
                                   ; so reading outside buffer

コピーオフセット(相殺された$、4、$の目的地)をロードしてください(オフセット、6)。 バイト_コピーから、_まさしくコピーしてください。 したがって、バッファの外で読書すること。

Surtees & West               Informational                     [Page 13]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[13ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   OUTPUT ($byte_copy_right, 10)   ; Output 0x494A 4142 4344 494A 4142,
                                   ; which is 'IJABCDIJAB'
   LOAD (destination, 80)              ; Put destination within the
                                       ; buffer
   COPY-OFFSET (4, 4, $destination)    ; Copy where destination wraps
   OUTPUT (destination, 2)             ; Output 0x004A

出力($バイト_コピー_右、10)。 0x494A4142 4344 494A4142を出力してください。 'IJABCDIJAB'がどれであるかというLOAD(目的地、80)。 目的地を置く、。 COPY-OFFSET(4、4、$の目的地)をバッファリングしてください。 目的地がOUTPUT(目的地、2)を包装するところにコピーしてください。 出力0x004A

   COPY-OFFSET (5, 4, $destination)    ; Copy where offset wraps from
                                       ; left back around to the right
   OUTPUT (destination, 2)             ; Output 0x004E
   OUTPUT ($byte_copy_left, 10)        ; Output the circular buffer
                                       ; 0x4748 4845 4647 4748 4546,
                                       ; which is 'GHHEFGGHEF'

コピーオフセット(5、4、$の目的地)。 どこをコピーしてくださいか、機密を相殺する、。 右のOUTPUT(目的地、2)へのおよそレフトバック。 0x004E出力(あと$バイト_コピー_、10)を出力してください。 円形のバッファを出力してください。 0×4748、4845 4647 4748 4546。 'GHHEFGGHEF'はどれですか?

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   The output of the code is above, and the cost of execution is 216
   UDVM cycles.

コードの出力が上にあります、そして、実行の費用は216UDVMサイクルです。

2.8.  MEMSET

2.8. MEMSET

   This section gives assembly code to test the MEMSET instruction.  The
   code is designed to test that the following boundary cases have been
   correctly implemented:

このセクションは、MEMSET指示をテストするためにアセンブリコードを与えます。 実行されて、コードは以下の境界ケースが正しくそうであるテストに設計されています:

   1.  The MEMSET instruction overwrites the registers byte_copy_left
       and byte_copy_right.

1. MEMSET指示はレジスタのあとバイト_コピー_とバイト_コピー_をまさしく上書きします。

   2.  The output values of the MEMSET instruction do not lie between 0
       and 255 inclusive (in which case they must be taken modulo 2^8).

2. MEMSET指示の出力値が包括的に0と255の間ありません(その場合、それらは取られた法2^8であるに違いない)。

   at (64)

at(64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)

:バイト_コピー_はパッド(2): バイト_コピー_を右のパッドに残しました。(2)

   at (128)

at(128)

   LOAD (byte_copy_left, 128)  ; sets up a circular buffer
   LOAD (byte_copy_right, 129) ; of 1 byte between 0x0080 and 0x0081

ロードしてください(あとバイト_コピー_、128)。 セットはLOAD(バイト_コピー_右、129)を回覧にバッファリングします。 0×0080と0×0081の間の1バイトについて

   MEMSET (64, 129, 0, 1)  ; fills up the memory in the range
                        ; 0x0040-0x007f with 0x00, ... 0x3f;
                        ; then it writes successively at
                        ; 0x0080 the following values 0x40, ... 0x80
                        ; as a side effect, the values of
                        ; bcl and bcr are modified.

MEMSET(64、129、0、1)。 範囲のメモリへの中詰め。 0×00による0×0040 0x007f… 0x3f。 ; それが相次ぐ書くその時。 0×0080 以下の値0x40… 0×80。 副作用、値、。 bclとbcrは変更されています。

Surtees & West               Informational                     [Page 14]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[14ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

                        ; before and during the MEMSET:
                        ; byte_copy_left: 0x0080 byte_copy_right: 0x0081
                        ; after the MEMSET:
                        ; byte_copy_left: 0x0001 byte_copy_right: 0x0203

; MEMSETの前とMEMSETの間: ; バイト_コピー_はいなくなりました: 0×0080バイトの_コピー_権利: 0×0081。 MEMSETの後に: ; バイト_コピー_はいなくなりました: 0×0001バイトの_コピー_権利: 0×0203

   MEMSET (129, 15, 64, 15)     ; fills the memory range 0x0080-0x008f
                         ; with values 0x40, 0x4f, ... 0xf4, 0x03, 0x12.
                         ; as a side effect, it overwrites a
                         ; part of the code including itself

MEMSET(129、15、64、15)。 記憶範囲をいっぱいにしていて、0×0080 0x008fにします。 値0x40、0x4fで… 0xf4、0×03、0×12 ; 副作用として、aを上書きします。 それ自体を含むコードの一部

   OUTPUT (128, 16)      ; outputs 0x8040 4f5e 6d7c 8b9a
                         ; a9b8 c7d6 e5f4 0312

出力(128、16)。 0×8040 4f5e 6d7c 8b9aを出力します。 a9b8 c7d6 e5f4 0312

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   The output of the code is 0x8040 4f5e 6d7c 8b9a a9b8 c7d6 e5f4 0312.
   Executing the code costs 166 UDVM cycles.

コードの出力は0×8040 4f5e 6d7c 8b9a a9b8 c7d6 e5f4 0312です。 コードを実行するのは166UDVMサイクルかかります。

2.9.  CRC

2.9. CRC

   This section gives assembly code to test the CRC instruction.  The
   code does not test any specific boundary cases (as there do not
   appear to be any) but focuses instead on verifying the CRC algorithm.

このセクションは、CRC指示をテストするためにアセンブリコードを与えます。 コードは、どんな特定の境界ケース(いずれもあるように見えないとき)もテストしませんが、代わりにCRCアルゴリズムを確かめるのに集中します。

   at (64)

at(64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)
   :crc_value                      pad (2)
   :crc_string_a                   pad (24)
   :crc_string_b                   pad (20)

:バイト_コピー_左のパッド(2): バイト_コピー_権利パッド(2): crc_値のパッド(2): crc_ストリングパッド(24): crc_ストリング_bパッド(20)

   at (128)

at(128)

   MEMSET (crc_string_a, 24, 1, 1)  ; sets up between 0x0046 and 0x005d
                                    ; a byte string containing 0x01,
                                    ; 0x02, ... 0x18

MEMSET、(crc_ストリング、24、1、1)。 0×0046と0x005dの間で上がっているセット。 0×01を含むバイトストリング。 0×02… 0×18

   MEMSET (crc_string_b, 20, 128, 1) ; sets up between 0x005e and 0x0071
                                     ; a byte string containing 0x80,
                                     ; 0x81, ... 0x93

MEMSET、(crc_ストリング_b、20、128、1)。 0x005eと0×0071の間で上がっているセット。 0×80を含むバイトストリング。 0×81… 0×93

   INPUT-BYTES (2, crc_value, decompression_failure)
                                    ; reads in 2 bytes representing
                                    ; the CRC value of the byte string
                                    ; of 44 bytes starting at 0x0046

INPUT-BYTES(2、crc_価値、減圧_の故障)。 2バイトの表すことにおける読書。 バイトストリングのCRC値。 0×0046で始まる44バイトについて

Surtees & West               Informational                     [Page 15]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[15ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   CRC ($crc_value, crc_string_a, 44, decompression_failure)
                                      ; computes the CRC value of the
                                      ; byte string crc_string_a
                                      ; concatenated with byte string
                                      ; crc_string_b (with a total
                                      ; length of 44 bytes).
                                      ; if the computed value does
                                      ; not match the 2-byte value read
                                      ; previously, the program ends
                                      ; with DECOMPRESSION-FAILURE.
   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

CRC($crc_価値、crc_ストリング、44、減圧_失敗)。 CRC値を計算する、。 バイトストリングcrc_ストリング。 バイトひもで、連結されます。 crc_ストリング_b(合計; 44バイトの長さがある)。 ; 計算された値がそうするなら。 2バイトの値が読んだマッチでない。 以前、プログラムは終わります。 減圧失敗で。 終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   :decompression_failure
   DECOMPRESSION-FAILURE

:減圧_失敗DECOMPRESSION-FAILURE

   If the compressed message is 0x62cb, then the code should
   successfully terminate with no output, and with a total execution
   cost of 95 UDVM cycles.  For different 2-byte compressed messages,
   the code should terminate with a decompression failure.

圧縮されたメッセージが0x62cbであるなら、コードは出力なしで95UDVMサイクルの総実行費用で首尾よく終わるべきです。 異なった2バイトの圧縮されたメッセージに関しては、コードは減圧失敗で終わるべきです。

2.10.  INPUT-BITS

2.10. 入力ビット

   This section gives assembly code to test the INPUT-BITS instruction.
   The code is designed to test that the following boundary cases have
   been correctly implemented:

このセクションは、INPUT-BITS指示をテストするためにアセンブリコードを与えます。 実行されて、コードは以下の境界ケースが正しくそうであるテストに設計されています:

   1.  The INPUT-BITS instruction changes between any of the four
       possible bit orderings defined by the input_bit_order register.

1. 受注業務が入力_ビット_命令で定義した可能な4ビットのどれかの間のINPUT-BITS指示変化は登録されます。

   2.  The INPUT-BITS instruction inputs 0 bits.

2. INPUT-BITS指示は0ビットを入力します。

   3.  The INPUT-BITS instruction requests data that lies beyond the end
       of the compressed message.

3. INPUT-BITS指示は圧縮されたメッセージの終わりに、あるデータを要求します。

   at (64)

at(64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)
   :input_bit_order                pad (2)
   :result                         pad (2)

:バイト_コピー_左のパッド(2): バイト_コピー_権利パッド(2): 入力_ビット_オーダーパッド(2):resultパッド(2)

Surtees & West               Informational                     [Page 16]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[16ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   at (128)

at(128)

   :start

:始め

   INPUT-BITS ($input_bit_order, result, end_of_message) ; reads in
                                 ; exactly as many bits as the 2-byte
                                 ; value written in the input_bit_order
                                 ; register, get out of the loop when
                                 ; no more bits are available at input.

INPUT-BITS($は_ビット_注文、結果、_メッセージの終わりの_を入力しました)。 中の読書。 2バイトとちょうど同じくらい多くのビット。 入力_ビット_命令に書かれた値。 登録してください、そして、いつ輪を出てくださいか。 それ以上のビットは入力で有効ではありません。

   OUTPUT (result, 2) ; outputs as a 2-byte integer
                      ; the previously read bits

出力(結果、2)。 2バイトの整数としての出力。 以前に読まれたビット

   ADD ($input_bit_order, 1)      ; if at the beginning of this loop the
                                  ; register input_bit_order is 0,
   REMAINDER ($input_bit_order, 7) ; then its value varies periodically
                                  ; like this: 2, 4, 6, 1, 3, 5, 7.
   ADD ($input_bit_order, 1)      ; that gives for the FHP bits: 010,
                                  ; 100, 110, 001, 011, 101, 111

加えてください($入力_は_注文、1に噛み付きました)。 この輪の始めに。 REMAINDER、レジスタ入力_ビット_命令は0($は_ビット_注文、7を入力した)です。 次に、値は定期的に異なります。 このように: 2, 4, 6, 1, 3, 5, 7. 加えてください($入力_は_注文、1に噛み付きました)。 それはFHPのためにビットを与えます: 010, ; 100, 110, 001, 011, 101, 111

   JUMP (start)                    ; run the loop once more

ジャンプしてください(始まってください)。 もう一度、輪を動かしてください。

   :end_of_message

:_メッセージの終わりの_

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   An example of a compressed message is 0x932e ac71, which decompresses
   to give the output 0x0000 0002 0002 0013 0000 0003 001a 0038.
   Executing the code costs 66 UDVM cycles.

圧縮されたメッセージに関する例は0x932e ac71です。(その0x932e ac71は、出力0x0000 0002 0002 0013 0000 0003 001a0038を与えるために減圧されます)。 コードを実行するのは66UDVMサイクルかかります。

2.11.  INPUT-HUFFMAN

2.11. ハフマンは入力されます。

   This section gives assembly code to test the INPUT-HUFFMAN
   instruction.  The code is designed to test that the following
   boundary cases have been correctly implemented:

このセクションは、INPUT-ハフマン指示をテストするためにアセンブリコードを与えます。 実行されて、コードは以下の境界ケースが正しくそうであるテストに設計されています:

   1.  The INPUT-HUFFMAN instruction changes between any of the four
       possible bit orderings defined by the input_bit_order register.

1. 受注業務が入力_ビット_命令で定義した可能な4ビットのどれかの間のINPUT-ハフマン指示変化は登録されます。

   2.  The INPUT-HUFFMAN instruction inputs 0 bits.

2. INPUT-ハフマン指示は0ビットを入力します。

   3.  The INPUT-HUFFMAN instruction requests data that lies beyond the
       end of the compressed message.

3. INPUT-ハフマン指示は圧縮されたメッセージの終わりに、あるデータを要求します。

Surtees & West               Informational                     [Page 17]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[17ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   at (64)

at(64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)
   :input_bit_order                pad (2)
   :result                         pad (2)

:バイト_コピー_左のパッド(2): バイト_コピー_権利パッド(2): 入力_ビット_オーダーパッド(2):resultパッド(2)

   at (128)

at(128)

   :start

:始め

   INPUT-HUFFMAN (result, end_of_message, 2, $input_bit_order, 0,
   $input_bit_order, $input_bit_order, $input_bit_order, 0, 65535, 0)
   OUTPUT (result, 2)

INPUT-ハフマン、(結果、_メッセージの終わりの_、2、$は_ビット_オーダーを入力して、0、$は_ビット_オーダーを入力して、$は_ビット_オーダーを入力して、$は_ビット_注文、0、65535、0)OUTPUTを入力しました。(結果、2)

   ADD ($input_bit_order, 1)
   REMAINDER ($input_bit_order, 7)
   ADD ($input_bit_order, 1)

($は_ビット_注文、1を入力しました)残り($は_ビット_注文、7を入力した)が加えると言い足してください。($入力_ビット_注文、1)

   JUMP (start)

ジャンプ(始め)

   :end_of_message

:_メッセージの終わりの_

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   An example of a compressed message is 0x932e ac71 66d8 6f, which
   decompresses to give the output 0x0000 0003 0008 04d7 0002 0003 0399
   30fe.  Executing the code costs 84 UDVM cycles.

圧縮されたメッセージに関する例は0x932e ac71 66d8 6fです。(その0x932e ac71 66d8 6fは、0×0000 0003 0008 04d7 0002 0003 0399 30feを出力に与えるために減圧されます)。 コードを実行するのは84UDVMサイクルかかります。

   As the code is run, the input_bit_order changes through all possible
   values to check usage of the H and P bits.  The number of bits to
   input each time is taken from the value of input_bit_order.  The
   sequence is the following:

コードが走るので、入力_はHとPビットの使用法をチェックするために_すべての可能な値を通したオーダー変化に噛み付きました。 その都度入力するビットの数は投入価額_ビット_オーダーから抜粋されます。 系列は以下です:

   Input_bit_order (bin)   Total bits input by Huffman             Value
   000                     0                                       0
   010                     2                                       3
   100                     4                                       8
   110                     12                                      1239
   001
   P-bit changed, throw away 6 bits
   001                     1                                       2
   011                     3                                       3
   101                     10                                      921
   111                     14                                      12542
   010
   P-bit changed, throw away 4 bits
   010                     0 - not enough bits so terminate

入力_ビット_オーダー(容器)合計ビットが2 3をハフマンValue000 0 0 010入力した、100、4 8、110、12 1239 001P-ビット変えます、6ビット001 1 2を無駄にしてください、011、3 3、101、10、921 111、4ビット010 0を無駄にしてください--14 12542 010P-ビットが変化したので、十分なビットはどんな終わりません。

Surtees & West               Informational                     [Page 18]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[18ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

2.12.  INPUT-BYTES

2.12. 入力バイト

   This section gives assembly code to test the INPUT-BYTES instruction.
   The code is designed to test that the following boundary cases have
   been correctly implemented:

このセクションは、INPUT-BYTES指示をテストするためにアセンブリコードを与えます。 実行されて、コードは以下の境界ケースが正しくそうであるテストに設計されています:

   1.  The INPUT-BYTES instruction inputs 0 bytes.

1. INPUT-BYTES指示は0バイトを入力します。

   2.  The INPUT-BYTES instruction requests data that lies beyond the
       end of the compressed message.

2. INPUT-BYTES指示は圧縮されたメッセージの終わりに、あるデータを要求します。

   3.  The INPUT-BYTES instruction is used after part of a byte has been
       input (e.g., by the INPUT-BITS instruction).

3. 1バイトの一部が入力された(例えば、INPUT-BITS指示で)後にINPUT-BYTES指示は使用されています。

   at (64)

at(64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)
   :input_bit_order                pad (2)
   :result                         pad (2)
   :output_start                   pad (4)
   :output_end

:バイト_コピー_はパッド(2): バイト_コピー_を右のパッド(2)に残しました: _ビット_オーダーパッド(2):resultパッド(2)を入力してください: _スタートパッド(4)を出力してください: _終わりを出力してください。

   at (128)

at(128)

   LOAD (byte_copy_left, output_start)
   LOAD (byte_copy_right, output_end)

LOAD(あとバイト_コピー_、出力_始め)LOAD(バイト_コピー_右、出力_エンド)

   :start

:始め

   INPUT-BITS ($input_bit_order, result, end_of_message)
   OUTPUT (result, 2)

INPUT-BITS($は_ビット_注文、結果、_メッセージの終わりの_を入力した)OUTPUT(結果、2)

   ADD ($input_bit_order, 2)
   REMAINDER ($input_bit_order, 7)

残りを加えてください($入力_は_注文、2に噛み付きました)。($入力_ビット_注文、7)

   INPUT-BYTES ($input_bit_order, output_start, end_of_message)
   OUTPUT (output_start, $input_bit_order)

INPUT-BYTES($は_ビット_注文、出力_始め、_メッセージの終わりの_を入力した)OUTPUT(出力_始め、$入力_ビット_命令)

   ADD ($input_bit_order, 1)
   JUMP (start)

ジャンプを加えてください($入力_は_注文、1に噛み付きました)。(始め)

   :end_of_message

:_メッセージの終わりの_

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

Surtees & West               Informational                     [Page 19]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[19ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   An example of a compressed message is 0x932e ac71 66d8 6fb1 592b dc9a
   9734 d847 a733 874e 1bcb cd51 b5dc 9659 9d6a, which decompresses to
   give the output 0x0000 932e 0001 b166 d86f b100 1a2b 0003 9a97 34d8
   0007 0001 3387 4e00 08dc 9651 b5dc 9600 599d 6a.  Executing the code
   costs 130 UDVM cycles.

圧縮されたメッセージに関する例は0x932e ac71 66d8 6fb1 592b dc9a9734d847 a733 874e 1bcb cd51 b5dc9659 9d6aです。(その9d6aは、出力0×0000 932e0001b166 d86f b100 1a2b0003 9a97 34d8 0007 0001 3387 4e00 08dc9651b5dc9600 599d 6aに与えるために減圧されます)。 コードを実行するのは130UDVMサイクルかかります。

   As the code is run, the input_bit_order changes through all possible
   values to check usage of the F and P bits.  The number of bits or
   bytes to input each time is taken from the value of input_bit_order.
   For each INPUT-BYTES instruction, the remaining bits of the byte are
   thrown away.  The P-bit always changes on the byte boundary so no
   bits are thrown away.  The sequence is the following:

コードが走るので、入力_はFとPビットの使用法をチェックするために_すべての可能な値を通したオーダー変化に噛み付きました。 入力_ビット_命令の値からその都度入力するビットかバイトの数を取ります。 それぞれのINPUT-BYTES指示において、バイトの残っているビットは無駄にされます。 P-ビットがバイト境界でいつも変化するので、ビットは全く無駄にされません。 系列は以下です:

   Input_bit_order (bin)   Input bits  Input bytes   Output
   000                     0                         0x0000
   010                                 2             0x932e
   011                     3                         0x0001
   101                                 5             0xb166 d866 b1
   110                     6                         0x001a
   001                                 1             0x2b
   010                     2                         0x0003
   100                                 4             0x9a97 34d8
   101                     5                         0x0007
   000                                 0
   001                     1                         0x0001
   011                                 3             0x3384 4e
   100                     4                         0x0008
   110                                 6             0xdc96 51b5 dc96
   111                     7                         0x0059
   010                                 2             0x9d6a
   011                     3 - no bits left so terminate

入力_ビット_命令(容器)がビットInputバイトOutput000 0 0×0000 010 2 0x932e011 3 0×0001 101 5 0xb166 d866 b1 110 6 0x001a001 1 0x2b010 2 0×0003 100 4 0x9a97 34d8 101 5 0×0007 000 0 001 1 0×0001 011 3 0×3384 4e100 4 0×0008 110 6 0xdc96 51b5 dc96 111 7 0x0059 010 2 0x9d6aを入力した、011、3、--したがって、残されなかったビットが全く終わる

2.13.  Stack Manipulation

2.13. スタック操作

   This section gives assembly code to test the PUSH, POP, CALL, and
   RETURN instructions.  The code is designed to test that the following
   boundary cases have been correctly implemented:

このセクションは、PUSH、POP、CALL、およびRETURN指示をテストするためにアセンブリコードを与えます。 実行されて、コードは以下の境界ケースが正しくそうであるテストに設計されています:

   1.  The stack manipulation instructions overwrite the UDVM register
       stack_location.

1. スタック操作指示はUDVMレジスタスタック_位置を上書きします。

   2.  The CALL instruction specifies a reference operand rather than an
       absolute value.

2. CALL指示は絶対値よりむしろ参照オペランドを指定します。

   3.  The PUSH instruction pushes the value contained in stack_fill
       onto the stack.

3. 値がスタック_に含んだPUSH指示プッシュはスタックにいっぱいになります。

   4.  The stack_location register contains an odd integer.

4. スタック_位置のレジスタは変な整数を含んでいます。

Surtees & West               Informational                     [Page 20]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[20ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   at (64)

at(64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)
   :input_bit_order                pad (2)
   :stack_location                 pad (2)
   :next_address                   pad (2)

:バイト_コピー_はパッド(2): バイト_コピー_を右のパッド(2)に残しました: _ビット_オーダーパッド(2)を入力してください: _位置のパッド(2): 次の_アドレスパッドを積み重ねてください。(2)

   at (128)

at(128)

   LOAD (stack_location, 64)
   PUSH (2)
   PUSH ($64)
   PUSH (66)               ; Stack now contains 2, 1, 66
                           ; so $stack_location = 66

プッシュ(2)プッシュ(64ドル)プッシュ(66)をロードしてください(スタック_位置、64)。 スタックは現在、2、1、66を含みます。 $が_位置=66を積み重ねて

   OUTPUT (64, 8)          ; Output 0x0003 0002 0001 0042

出力(64、8)。 出力0x0003 0002 0001 0042

   POP (64)                ; Pop value 66 from address 70 to address 64
   POP ($stack_location)   ; Pop value 1 from address 68 to address 66
                           ; so stack_fill is overwritten to be 1
   POP (stack_location)    ; Pop value 1 from address 68 to address 70

(64)を飛び出させてください。 アドレス70から値66を飛び出させて、64POP($スタック_位置)を記述してください。 アドレス68から値1を飛び出させて、66を記述してください。 それで、スタック_中詰めは1つのPOP(スタック_位置)になるように上書きされます。 アドレス68から値1を飛び出させて、70を記述してください。

   OUTPUT (64, 8)          ; Output 0x0042 0000 0001 0001
   JUMP (address_a)

出力(64、8)。 出力0x0042 0000 0001 0001はジャンプします。(アドレス)

   at (192)

at(192)

   :address_a

:アドレス

   LOAD (stack_location, 32)
   LOAD (next_address, address_c)
   SUBTRACT ($next_address, address_b)  ; next_address = 64
   CALL (address_b)                     ; push 204 on stack

LOAD(スタック_位置、32)LOAD(次の_アドレス、アドレス_c)SUBTRACT(次の_が記述する$、アドレス_b)。 次の_アドレスは64CALL(アドレス_b)と等しいです。 スタックに204を押してください。

   at (256)

at(256)

   :address_b

:アドレス_b

   CALL ($next_address)                 ; push 256 on stack

電話をしてください(次の_が記述する$)。 スタックに256を押してください。

   at (320)

at(320)

   :address_c

:アドレス_c

   LOAD (stack_location, 383)
   LOAD (383, 26)                   ; overwrite $stack_location with 26
   MULTILOAD (432, 3, 1, 49153, 32768)

負荷(383、26)をロードしてください(スタック_位置、383)。 26MULTILOADと共に$スタック_位置を上書きしてください。(432, 3, 1, 49153, 32768)

Surtees & West               Informational                     [Page 21]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[21ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

                                    ; write bytes so that 433 and 434
                                    ; contain 0x01c0 = 448 and
                                    ; 435 and 436 contain 0x0180 = 384

; そのようにとバイトに書いてください、その433と434。 そして、0x01c0=448を含んでください、。 435と436は0×0180=384を含んでいます。

   RETURN                           ; pop 383 from the stack and jump
                                    ; there = 384, which is lsb of
                                    ; stack_fill, which now contains 25,
                                    ; which is UDVM instruction RETURN
                                    ; pop 448 from the stack and jump
                                    ; there
   at (448)

戻ってください。 スタックから383を飛び出させてください、そして、ジャンプしてください。 そこで384と等しい、;(384はlsbです)。 _中詰めを積み重ねてください。(それは、現在、25を含みます)。 UDVM指示RETURNはどれです。 スタックから448を飛び出させてください、そして、ジャンプしてください。 そこ(448)

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   The output of the code is 0x0003 0002 0001 0042 0042 0000 0001 0001,
   and a total of 40 UDVM cycles are used.

コードの出力は0002 0001 0042 0042 0000 0001 0001、および合計40UDVMサイクルの間の0×0003が使用されているということです。

2.14.  Program Flow

2.14. プログラム流動

   This section gives assembly code to test the JUMP, COMPARE, and
   SWITCH instructions.  The code is designed to test that the following
   boundary cases have been correctly implemented:

このセクションは、JUMP、COMPARE、およびSWITCH指示をテストするためにアセンブリコードを与えます。 実行されて、コードは以下の境界ケースが正しくそうであるテストに設計されています:

   1.  The address operands are specified as references to memory
       addresses rather than as absolute values.

1. アドレスオペランドは絶対値としてというよりむしろメモリアドレスの参照として指定されます。

   at (64)

at(64)

   :next_address                   pad (2)
   :counter                        pad (1)
   :counter_lsb                    pad (1)
   :switch_counter                 pad (2)

:次の_アドレスパッド(2):counterパッド(1): _lsbパッド(1)を打ち返してください: _カウンタパッドを切り換えてください。(2)

   at (128)

at(128)

   LOAD (switch_counter, 4)

負荷(スイッチ_カウンタ、4)

   :address_a

:アドレス

   LOAD (next_address, address_c)
   SUBTRACT ($next_address, address_b)     ; address_c - address_b
   OUTPUT (counter_lsb, 1)

LOAD(次の_アドレス、アドレス_c)SUBTRACT(次の_が記述する$、アドレス_b)。 アドレス_c--アドレス_b OUTPUT(カウンタ_lsb、1)

   :address_b

:アドレス_b

   JUMP ($next_address)                    ; Jump to address_c

ジャンプしてください(次の_が記述する$)。 ジャンプして、_cを記述してください。

   :address_c

:アドレス_c

Surtees & West               Informational                     [Page 22]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[22ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   ADD ($counter, 1)
   LOAD (next_address, address_a)
   SUBTRACT ($next_address, address_d)     ; address_a - address_d
   OUTPUT (counter_lsb, 1)

ADD($カウンタ、1)LOAD(次の_アドレス、アドレス)SUBTRACT(次の_が記述する$、アドレス)。 アドレス--アドレスOUTPUT(カウンタ_lsb、1)

   :address_d

:アドレス

   COMPARE ($counter, 6, $next_address, address_c, address_e)
                                   ; counter < 6, $next_address gives
                                   ; jump to address_a

COMPARE($カウンタ、6、次の_が記述する$は_c、アドレス_eを記述します)。 <6、アドレスが与える次の$_を打ち返してください。 アドレスまでジャンプしてください。

   :address_e

:アドレス_e

   SUBTRACT ($switch_counter, 1)           ; switch_counter = 3
   LOAD (next_address, address_a)
   SUBTRACT ($next_address, address_f)     ; address_a - address_f
   OUTPUT (counter_lsb, 1)

($スイッチ_カウンタ、1)を引き算してください。 _カウンタ=3LOAD(次の_アドレス、アドレス)SUBTRACT(次の_が記述する$、アドレス_f)を切り換えてください。 アドレス--アドレス_f OUTPUT(カウンタ_lsb、1)

   :address_f

:アドレス_f

   SWITCH (4, $switch_counter, address_g, $next_address, address_c,
   address_e)
                                   ; when $switch_counter = 1,
                                   ; $next_address gives jump to
                                   ; address_a

SWITCH(4($スイッチ_カウンタ)は_gを記述して、次の_が記述する$、アドレス_cは_eを記述します)。 $スイッチ_であるときには、=1を打ち返してください。 アドレスがジャンプを与える次の$_。 アドレス

   :address_g

:アドレス_g

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   The output of the code is 0x0001 0102 0203 0304 0405 0506 0707 0708
   0808 0909, and a total of 131 UDVM cycles are used.

コードの出力は0102 0203 0304 0405 0506 0707 0708 0808 0909、および合計131UDVMサイクルの間の0×0001が使用されているということです。

2.15.  State Creation

2.15. 州の創造

   This section gives assembly code to test the STATE-CREATE and STATE-
   FREE instructions.  The code is designed to test that the following
   boundary cases have been correctly implemented:

このセクションは、州-CREATEと州の無料指示をテストするためにアセンブリコードを与えます。 実行されて、コードは以下の境界ケースが正しくそうであるテストに設計されています:

   1.  An item of state is created that duplicates an existing state
       item.

1. 現状商品をコピーする状態の項目は作成されます。

   2.  An item of state is freed when the state has not been created.

2. 状態が創設されていないとき、状態の項目は解放されます。

   3.  An item of state is created and then freed by the same message.

3. 状態の項目は、同じメッセージによって作成されて、次に、解放されます。

   4.  The STATE-FREE instruction frees a state item by sending fewer
       bytes of the state_identifier than the minimum_access_length.

4. 無州の指示は、状態_識別子のバイトより最小の_のアクセス_長さを送ることによって、州の項目を解放します。

Surtees & West               Informational                     [Page 23]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[23ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   5.  The STATE-FREE instruction has partial_identifier_length operand
       shorter than 6 or longer than 20.

5. 無州の指示で、部分的な_識別子_長さのオペランドは6より短いか20より長くなります。

   6.  The STATE-FREE instruction specifies a partial_identifier that
       matches with two state items in the compartment.

6. 無州の指示はコンパートメントの2つの州の項目に合わせる部分的な_識別子を指定します。

   7.  The bytes of the identifier are written to the position specified
       in the STATE-FREE instruction after the STATE-FREE instruction
       has been run (and before END-MESSAGE).

7. 識別子のバイトは無州の指示が走った(そしてEND-MESSAGEの前で)後に無州の指示で指定された位置まで書かれています。

   at (64)

at(64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)
   :states                         pad (1)
   :states_lsb                     pad (1)
   :min_len                        pad (1)
   :min_len_lsb                    pad (1)

:バイト_コピー_はパッド(2): バイト_コピー_を右のパッド(2):statesパッド(1)に残しました: _lsbパッド(1): 分_lenパッド(1): 分_len_lsbパッドを述べます。(1)

   :state_identifier       pad (20)

:状態_識別子パッド(20)

   set (state_length, 10)

セットします。(状態_長さ、10)

   at (127)
   :decompression_failure
   at (128)

(127): 減圧_失敗(128)

   INPUT-BYTES (1, states_lsb, decompression_failure)

入力バイト(1、州_lsb、減圧_失敗)

   :test_one
   LSHIFT ($states, 11)
   COMPARE ($states, 32768, test_two, create_state_a2, create_state_a2)

:テスト_1LSHIFT($州、11)のCOMPARE($州(32768、テスト_2)は_状態_a2を作成して、_状態_a2を作成してください)

   :create_state_a2
   STATE-CREATE (state_length, state_address2, 0, 20, 0)

:_状態_a2州-CREATEを作成してください。(状態_長さ、状態_address2、0、20、0)

   :test_two
   LSHIFT ($states, 1)
   COMPARE ($states, 32768, test_three, create_state_a, create_state_a)

:テスト_2LSHIFT($州、1)COMPARE($州(32768、テスト_3)は_状態を創設して、_状態を創設してください)

   :create_state_a
   STATE-CREATE (state_length, state_address, 0, 20, 0)

:_州の州-CREATEを作成してください。(州の_の長さ、州の_アドレス、0、20、0)

   :test_three
   LSHIFT ($states, 1)
   COMPARE ($states, 32768, test_four, free_state, free_state)

:テスト_3LSHIFT($州、1)COMPARE($州(32768、テスト_4)は_状態、自由な_状態を解放します)

Surtees & West               Informational                     [Page 24]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[24ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   :free_state
   INPUT-BYTES (1, min_len_lsb, decompression_failure)
   STATE-FREE (state_identifier, $min_len)
   COPY (identifier1, $min_len, state_identifier)

:自由な_州のINPUT-BYTES(1、_分len_lsb、減圧_の故障)無州(州の_識別子、$分_len)のCOPY(identifier1、$分_len、州の_識別子)

   :test_four

:テスト_4

   LSHIFT ($states, 1)
   COMPARE ($states, 32768, test_five, free_state2, free_state2)

LSHIFT($州、1)は比較します。($州(32768、テスト_5)は_state2、自由な_state2を解放します)

   :free_state2
   STATE-FREE (identifier1, 6)

:州なしで_state2を解放してください。(identifier1、6)

   :test_five
   LSHIFT ($states, 1)
   COMPARE ($states, 32768, end, create_state_b, create_state_b)

:テスト_5LSHIFT($州、1)COMPARE($州(32768)を終わらせて、_状態_bを作成してください、そして、_状態_bを作成してください)

   :create_state_b
   END-MESSAGE (0, 0, state_length, state_address, 0, 20, 0)

:_状態_b END-MESSAGEを作成してください。(0、0が_の長さ、_が演説する州、0を述べる、20、0)

   :end
   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

:終わりのEND-MESSAGE(0, 0, 0, 0, 0, 0, 0)

   :identifier1
   byte (67, 122, 232, 10, 15, 220, 30, 106, 135, 193, 182, 42, 118,
   118, 185, 115, 49, 140, 14, 245)

:identifier1バイト(67, 122, 232, 10, 15, 220, 30, 106, 135, 193, 182, 42, 118, 118, 185, 115, 49, 140, 14, 245)

   at (256)
   :state_address
   byte (192, 204, 63, 238, 121, 188, 252, 143, 209, 8)

(256)で: _アドレスバイトを述べてください。(192, 204, 63, 238, 121, 188, 252, 143, 209, 8)

   :state_address2
   byte (101, 232, 3, 82, 238, 41, 119, 23, 223, 87)

:状態_address2バイト(101, 232, 3, 82, 238, 41, 119, 23, 223, 87)

   Upon reaching the END-MESSAGE instruction, the UDVM does not output
   any decompressed data, but instead may make one or more state
   creation or state free requests to the state handler.  Assuming that
   the application does not veto the state creation request (and that
   sufficient state memory is available) the code results in 0, 1, or 2
   state items being present in the compartment.

END-MESSAGE指示に達すると、UDVMが少しの減圧されたデータも出力しませんが、代わりにグループの一人となるかもしれないか、または以上は、州の操作者に創造を述べるか、無料の要求を述べます。 アプリケーションがコードがもたらす州の創造要求(その十分な州の記憶は利用可能である)をどんな拒否権にもしないと仮定して、0、1、または2がコンパートメントに存在している項目を述べます。

   The following table lists ten different compressed messages, the
   states created and freed by each, the number of states left after
   each message, and the number of UDVM cycles used.  There are 3 state
   creation instructions:

以下のテーブルはそれぞれ、各メッセージの後に残っている州の数に従って、異なった圧縮されたメッセージ、州が作成して、解放して、UDVMサイクルの数が使用した10を記載します。 3つの州の創造指示があります:

      create state_a, which has hash identifier1
      create state_b (in END-MESSAGE), which is identical to state_a

州を創設してください。(細切れ肉料理identifier1はそれで、状態_b(END-MESSAGEの)を作成します)。(それは、述べるために同じです)。

Surtees & West               Informational                     [Page 25]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[25ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

      create state_a2, which has a different identifier, but the first 6
      bytes are the same as those of identifier1.

状態_a2を作成してください、そして、どれがしかし、異なった識別子、最初の6バイト同じであったかはidentifier1のものと同じです。

   Message:   Effect:                           # state items:  #cycles:
   0x01       create state_b                             1           23
   0x02       free (id1, 6) = state_b                    0           14
   0x03       free (id1, 6) = state_b; create state_b    1           24

メッセージ: 効果: # 項目を述べてください: #サイクル: 0×01 状態_b14 0×03自由な(id1、6)=州1 23 0×02自由な(id1、6)=州_b0_bを作成してください。 状態_b1 24を作成してください。

   0x0405     free (id1, 5)                       Decompression failure
   0x0415     free (id1, 21)                      Decompression failure

0×0405 自由な(id1、5)減圧失敗0x0415の自由な(id1、21)減圧失敗

   0x0406     free (id1, 6) = state_b                    0           23

0×0406 (id1、6)自由な=状態_b0 23

   0x09       create state_a; create state_b             1           34

0×09 状態を創設してください。 状態_b1 34を作成してください。

   0x1e06     create state_a2; create state_a;
              free (id1, 6) = matches both so no free;
              free (id1, 6) = matches both so no free;   2           46

0x1e06は状態_a2を作成します。 状態を創設してください。 自由な(id1、6)=はしたがって、無料ではなく両方に合っています。 自由な(id1、6)=はしたがって、無料ではなく両方に合っています。 2 46

   0x1e07     create state_a2; create state_a;
              free (id1, 7) = state_a;
              free (id1, 6) = state_a2                   0           47

0x1e07は状態_a2を作成します。 状態を創設してください。 (id1、7)=状態を解放してください。 自由な(id1、6)=状態_a2 0 47

   0x1e14     create state_a2; create state_a;
              free (id1, 20) = state_a;
              free (id1, 6) = state_a2                   0           60

0x1e14は状態_a2を作成します。 状態を創設してください。 (id1、20)=状態を解放してください。 自由な(id1、6)=状態_a2 0 60

2.16.  STATE-ACCESS

2.16. 州アクセス

   This section gives assembly code to test the STATE-ACCESS
   instruction.  The code is designed to test that the following
   boundary cases have been correctly implemented:

このセクションは、州-ACCESS指示をテストするためにアセンブリコードを与えます。 実行されて、コードは以下の境界ケースが正しくそうであるテストに設計されています:

   1.  A subset of the bytes contained in a state item is copied to the
       UDVM memory.

1. 州の項目に含まれたバイトの部分集合はUDVMメモリにコピーされます。

   2.  Bytes are copied from beyond the end of the state value.

2. バイトは州の価値の終わりを超えてコピーされます。

   3.  The state_instruction operand is set to 0.

3. 状態_指示オペランドは0に設定されます。

   4.  The state cannot be accessed because the partial state identifier
       is too short.

4. 部分的な州の識別子が短過ぎるので、状態にアクセスできません。

   5.  The state identifier is overwritten by the state item being
       accessed.

5. アクセスされていて、州の識別子は州の項目によって上書きされます。

   The following bytecode needs to be run first to set up the state for
   the rest of the test.

以下のバイトコードは、最初に、テストの残りのために状態を設立するために走る必要があります。

Surtees & West               Informational                     [Page 26]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[26ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   at (128)

at(128)

   END-MESSAGE (0, 0, state_length, state_start, 0, 20, 0)

終わりメッセージ(0、0が_の長さ、_が始める状態、0を述べる、20、0)

   ; The bytes between state_start and state_end are derived from
   ; translation of the following mnemonic code:
   ;
   ; at (512)
   ; OUTPUT (data, 4)
   ; END-MESSAGE (0,0,0,0,0,0,0)
   ; :data
   ; byte (116, 101, 115, 116)

; 状態_始めと_エンドが得られる状態の間のバイト。 以下の簡略命令コードに関する翻訳: ; ; (512)で。 出力(データ、4)。 終わりメッセージ(0、0、0、0、0、0、0)。 :データ。 バイト(116, 101, 115, 116)

   at (512)
   :state_start
   byte (34, 162, 12,4, 35, 0, 0, 0, 0, 0, 0, 0, 116, 101, 115, 116)
   :state_end

(512)で: _スタートバイト(34、162、12、4、35、0、0、0、0、0、0、0、116、101、115、116)を述べてください: _終わりを述べてください。

   set (state_length, (state_end - state_start))

セットします。(状態_長さ、(状態_終わり--_始めを述べます))

   This is the bytecode for the rest of the test.

これはテストの残りのためのバイトコードです。

   at (64)

at(64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)
   :type                           pad (1)
   :type_lsb                       pad (1)
   :state_value                    pad (4)

:バイト_コピー_はパッド(2): バイト_コピー_を右のパッド(2):typeパッド(1)に残しました: _lsbパッド(1)をタイプしてください: _値のパッドを述べてください。(4)

   at (127)
   :decompression_failure
   at (128)

(127): 減圧_失敗(128)

   INPUT-BYTES (1, type_lsb, decompression_failure)
   COMPARE ($type, 1, execute_state, extract_state, error_conditions)

INPUT-BYTES(1、タイプ_lsb、減圧_失敗)COMPARE(1歳の$タイプは_状態、誤り_が条件とさせる抽出_状態を実行します)

   :execute_state

:_状態を実行してください。

   STATE-ACCESS (state_identifier, 20, 0, 0, 0, 512)

州アクセス(状態_識別子、20、0、0、0、512)

   :extract_state

:_状態を抽出してください。

   STATE-ACCESS (state_identifier, 20, 12, 4, state_value, 0)
   OUTPUT (state_value, 4)
   JUMP (end)

州-ACCESS(_識別子を述べてください、そして、20、12、4は_値、0を述べる)OUTPUT(状態_値、4)JUMP(終わり)

   :error_conditions

:誤り_状態

Surtees & West               Informational                     [Page 27]

RFC 4465                 SigComp Torture Tests                 June 2006

Surtees & West Informational [Page 27] RFC 4465 SigComp Torture Tests June 2006

   COMPARE ($type, 3, state_not_found, id_too_short, state_too_short)

COMPARE ($type, 3, state_not_found, id_too_short, state_too_short)

   :state_not_found

:state_not_found

   STATE-ACCESS (128, 20, 0, 0, 0, 0)
   JUMP (end)

STATE-ACCESS (128, 20, 0, 0, 0, 0) JUMP (end)

   :id_too_short

:id_too_short

   STATE-ACCESS (state_identifier, 19, 6, 4, state_value, 0)
   JUMP (end)

STATE-ACCESS (state_identifier, 19, 6, 4, state_value, 0) JUMP (end)

   :state_too_short

:state_too_short

   STATE-ACCESS (state_identifier, 20, 12, 5, state_value, 0)
   JUMP (end)

STATE-ACCESS (state_identifier, 20, 12, 5, state_value, 0) JUMP (end)

   at (484)

at (484)

   :end

:end

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

   at (512)

at (512)

   :state_identifier

:state_identifier

   byte (0x5d, 0xf8, 0xbc, 0x3e, 0x20, 0x93, 0xb5, 0xab, 0xe1, 0xf1,
   0x70, 0x13, 0x42, 0x4c, 0xe7, 0xfe, 0x05, 0xe0, 0x69, 0x39)

byte (0x5d, 0xf8, 0xbc, 0x3e, 0x20, 0x93, 0xb5, 0xab, 0xe1, 0xf1, 0x70, 0x13, 0x42, 0x4c, 0xe7, 0xfe, 0x05, 0xe0, 0x69, 0x39)

   If the compressed message is 0x00, then the output of the code is
   0x7465 7374, and a total of 26 UDVM cycles are used.  If the
   compressed message is 0x01, then the output of the code is also
   0x7465 7374 but in this case using a total of 15 UDVM cycles.  If the
   compressed message is 0x02, 0x03, or 0x04, then decompression failure
   occurs.

If the compressed message is 0x00, then the output of the code is 0x7465 7374, and a total of 26 UDVM cycles are used. If the compressed message is 0x01, then the output of the code is also 0x7465 7374 but in this case using a total of 15 UDVM cycles. If the compressed message is 0x02, 0x03, or 0x04, then decompression failure occurs.

3.  Torture Tests for Dispatcher

3. Torture Tests for Dispatcher

   The following sections give code to test the various functions of the
   SigComp dispatcher.

The following sections give code to test the various functions of the SigComp dispatcher.

3.1.  Useful Values

3.1. Useful Values

   This section gives assembly code to test that the SigComp "Useful
   Values" are correctly initialized in the UDVM memory.  It also tests
   that the UDVM is correctly terminated if the bytecode uses too many
   UDVM cycles or tries to write beyond the end of the available memory.

This section gives assembly code to test that the SigComp "Useful Values" are correctly initialized in the UDVM memory. It also tests that the UDVM is correctly terminated if the bytecode uses too many UDVM cycles or tries to write beyond the end of the available memory.

Surtees & West               Informational                     [Page 28]

RFC 4465                 SigComp Torture Tests                 June 2006

Surtees & West Informational [Page 28] RFC 4465 SigComp Torture Tests June 2006

   The code tests that the following boundary cases have been correctly
   implemented:

The code tests that the following boundary cases have been correctly implemented:

   1.  The bytecode uses exactly as many UDVM cycles as are available
       (in which case no problems should arise) or one cycle too many
       (in which case decompression failure should occur).  A liberal
       implementation could allow more cycles to be used than are
       strictly available, in which case decompression failure will not
       occur.  This is an implementation choice.  If this choice is
       made, the implementer must be sure that the cycles are checked
       eventually and that decompression failure does occur when
       bytecode uses an excessive number of cycles.  This is tested in
       Section 3.2.

1. The bytecode uses exactly as many UDVM cycles as are available (in which case no problems should arise) or one cycle too many (in which case decompression failure should occur). A liberal implementation could allow more cycles to be used than are strictly available, in which case decompression failure will not occur. This is an implementation choice. If this choice is made, the implementer must be sure that the cycles are checked eventually and that decompression failure does occur when bytecode uses an excessive number of cycles. This is tested in Section 3.2.

   2.  The bytecode writes to the highest memory address available (in
       which case no problems should arise) or to the memory address
       immediately following the highest available address (in which
       case decompression failure must occur).

2. The bytecode writes to the highest memory address available (in which case no problems should arise) or to the memory address immediately following the highest available address (in which case decompression failure must occur).

   :udvm_memory_size               pad (2)
   :cycles_per_bit                 pad (2)
   :sigcomp_version                pad (2)
   :partial_state_id_length        pad (2)
   :state_length                   pad (2)

:udvm_memory_size pad (2) :cycles_per_bit pad (2) :sigcomp_version pad (2) :partial_state_id_length pad (2) :state_length pad (2)

   at (64)

at (64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)
   :remaining_cycles               pad (2)
   :check_memory                   pad (1)
   :check_memory_lsb               pad (1)
   :check_cycles                   pad (1)
   :check_cycles_lsb               pad (1)

:byte_copy_left pad (2) :byte_copy_right pad (2) :remaining_cycles pad (2) :check_memory pad (1) :check_memory_lsb pad (1) :check_cycles pad (1) :check_cycles_lsb pad (1)

   at (127)
   :decompression_failure
   at (128)
                               ; Set up a 1-byte buffer
   LOAD (byte_copy_left, 32)
   LOAD (byte_copy_right, 33)

at (127) :decompression_failure at (128) ; Set up a 1-byte buffer LOAD (byte_copy_left, 32) LOAD (byte_copy_right, 33)

   :test_version

:test_version

   ; Input a byte containing the version of SigComp being run
   INPUT-BYTES (1, check_memory_lsb, decompression_failure)
   COMPARE ($sigcomp_version, $check_memory, decompression_failure,
   test_state_access, decompression_failure)

; Input a byte containing the version of SigComp being run INPUT-BYTES (1, check_memory_lsb, decompression_failure) COMPARE ($sigcomp_version, $check_memory, decompression_failure, test_state_access, decompression_failure)

Surtees & West               Informational                     [Page 29]

RFC 4465                 SigComp Torture Tests                 June 2006

Surtees & West Informational [Page 29] RFC 4465 SigComp Torture Tests June 2006

   :test_state_access

:test_state_access

   COMPARE ($partial_state_id_length, 0, decompression_failure,
   test_length_equals_zero, test_state_length)

COMPARE ($partial_state_id_length, 0, decompression_failure, test_length_equals_zero, test_state_length)

   :test_length_equals_zero
                               ; No state was accessed so state_length
                               ; should be zero (first message)
   COMPARE ($state_length, 0, decompression_failure, end,
   decompression_failure)

:test_length_equals_zero ; No state was accessed so state_length ; should be zero (first message) COMPARE ($state_length, 0, decompression_failure, end, decompression_failure)

   :test_state_length
                               ; State was accessed so state_length
                               ; should be 960
   COMPARE ($state_length, 960, decompression_failure, test_udvm_memory,
   decompression_failure)

:test_state_length ; State was accessed so state_length ; should be 960 COMPARE ($state_length, 960, decompression_failure, test_udvm_memory, decompression_failure)

   :test_udvm_memory
                               ; Copy one byte to
                               ; udvm_memory_size + input - 1
                               ; Succeed when input byte is 0x00
                               ; Fail when input byte is 0x01

:test_udvm_memory ; Copy one byte to ; udvm_memory_size + input - 1 ; Succeed when input byte is 0x00 ; Fail when input byte is 0x01

   INPUT-BYTES (1, check_memory_lsb, decompression_failure)
   ADD ($check_memory, $udvm_memory_size)
   SUBTRACT ($check_memory, 1)
   COPY (32, 1, $check_memory)

INPUT-BYTES (1, check_memory_lsb, decompression_failure) ADD ($check_memory, $udvm_memory_size) SUBTRACT ($check_memory, 1) COPY (32, 1, $check_memory)

   :test_udvm_cycles

:test_udvm_cycles

   INPUT-BYTES (1, check_cycles_lsb, decompression_failure)

INPUT-BYTES (1, check_cycles_lsb, decompression_failure)

   ; Work out the total number of cycles available to the UDVM
   ; total_UDVM_cycles = cycles_per_bit * (8 * message_size + 1000)
   ;
   ;       = cycles_per_bit * (8 * (partial_state_id_length + 3) + 1000)

; Work out the total number of cycles available to the UDVM ; total_UDVM_cycles = cycles_per_bit * (8 * message_size + 1000) ; ; = cycles_per_bit * (8 * (partial_state_id_length + 3) + 1000)

   LOAD (remaining_cycles, $partial_state_id_length)
   ADD ($remaining_cycles, 3)
   MULTIPLY ($remaining_cycles, 8)
   ADD ($remaining_cycles, 1000)

LOAD (remaining_cycles, $partial_state_id_length) ADD ($remaining_cycles, 3) MULTIPLY ($remaining_cycles, 8) ADD ($remaining_cycles, 1000)

   MULTIPLY ($remaining_cycles, $cycles_per_bit)

MULTIPLY ($remaining_cycles, $cycles_per_bit)

   ADD ($remaining_cycles, $check_cycles)

ADD ($remaining_cycles, $check_cycles)

   set (cycles_used_by_bytecode, 856)

set (cycles_used_by_bytecode, 856)

Surtees & West               Informational                     [Page 30]

RFC 4465                 SigComp Torture Tests                 June 2006

Surtees & West Informational [Page 30] RFC 4465 SigComp Torture Tests June 2006

   SUBTRACT ($remaining_cycles, cycles_used_by_bytecode)
   COPY (32, $remaining_cycles, 32)
                   ; Copy to use up all cycles available + input byte
                   ; Succeeds when input byte = 0x00
                   ; Fail when input byte = 0x01

SUBTRACT ($remaining_cycles, cycles_used_by_bytecode) COPY (32, $remaining_cycles, 32) ; Copy to use up all cycles available + input byte ; Succeeds when input byte = 0x00 ; Fail when input byte = 0x01

   :end
                               ; Create 960 bytes of state for future
                               ; reference
   END-MESSAGE (0, 0, 960, 64, 128, 6, 0)

:end ; Create 960 bytes of state for future ; reference END-MESSAGE (0, 0, 960, 64, 128, 6, 0)

   The bytecode must be executed a total of four times in order to fully
   test the SigComp Useful Values.  In the first case, the bytecode is
   uploaded as part of the SigComp message with a 1-byte compressed
   message corresponding to the version of SigComp being run.  This
   causes the UDVM to request creation of a new state item and uses a
   total of 968 UDVM cycles.

The bytecode must be executed a total of four times in order to fully test the SigComp Useful Values. In the first case, the bytecode is uploaded as part of the SigComp message with a 1-byte compressed message corresponding to the version of SigComp being run. This causes the UDVM to request creation of a new state item and uses a total of 968 UDVM cycles.

   Subsequent tests access this state by uploading the state identifier
   as part of the SigComp message.  Note that the SigComp message should
   not contain a returned feedback item (as this would cause the
   bytecode to calculate the total number of available UDVM cycles
   incorrectly).

Subsequent tests access this state by uploading the state identifier as part of the SigComp message. Note that the SigComp message should not contain a returned feedback item (as this would cause the bytecode to calculate the total number of available UDVM cycles incorrectly).

   A 3-byte compressed message is required for the second and subsequent
   cases, the first byte of which is the version of SigComp in use,
   0xnn.  If the message is 0xnn0000, then the UDVM should successfully
   terminate using exactly the number of available UDVM cycles.
   However, if the message is 0xnn0001, then the UDVM should use too
   many cycles and hence terminate with decompression failure.
   Furthermore, if the message is 0xnn0100, then decompression failure
   must occur because the UDVM attempts to write beyond its available
   memory.

A 3-byte compressed message is required for the second and subsequent cases, the first byte of which is the version of SigComp in use, 0xnn. If the message is 0xnn0000, then the UDVM should successfully terminate using exactly the number of available UDVM cycles. However, if the message is 0xnn0001, then the UDVM should use too many cycles and hence terminate with decompression failure. Furthermore, if the message is 0xnn0100, then decompression failure must occur because the UDVM attempts to write beyond its available memory.

3.2.  Cycles Checking

3.2. Cycles Checking

   As discussed in Section 3.1, it is possible to write an
   implementation that takes a liberal approach to checking the cycles
   used and allows some extra cycles.  The implementer must be sure that
   decompression failure does not occur too early and that in the case
   of excessive use of cycles, decompression failure does eventually
   occur.  This test checks that:

As discussed in Section 3.1, it is possible to write an implementation that takes a liberal approach to checking the cycles used and allows some extra cycles. The implementer must be sure that decompression failure does not occur too early and that in the case of excessive use of cycles, decompression failure does eventually occur. This test checks that:

   1.  Decompression failure occurs eventually when there is an infinite
       loop.

1. Decompression failure occurs eventually when there is an infinite loop.

Surtees & West               Informational                     [Page 31]

RFC 4465                 SigComp Torture Tests                 June 2006

Surtees & West Informational [Page 31] RFC 4465 SigComp Torture Tests June 2006

   at (64)
   :byte_copy_left           pad (2)
   :byte_copy_right          pad (2)
   :value                    pad (2)
   :copy_next                pad (2)

at (64) :byte_copy_left pad (2) :byte_copy_right pad (2) :value pad (2) :copy_next pad (2)

   at(128)
   MULTILOAD (byte_copy_left, 4, 32, 41, 0, 34)
                                   ; Set up a 10-byte buffer

at(128) MULTILOAD (byte_copy_left, 4, 32, 41, 0, 34) ; Set up a 10-byte buffer

                                   ; Set the value to copy
                                   ; Copy it 100 times,
                                   ; output the value,
                                   ; increment the counter
   :loop
   COPY (value, 2, $byte_copy_left)
   COPY-OFFSET (2, 100, $copy_next)
   OUTPUT (value, 2)
   ADD ($value, 1)
   JUMP (loop)

; Set the value to copy ; Copy it 100 times, ; output the value, ; increment the counter :loop COPY (value, 2, $byte_copy_left) COPY-OFFSET (2, 100, $copy_next) OUTPUT (value, 2) ADD ($value, 1) JUMP (loop)

   If the cycles are counted exactly and cycles per bit (cpb) = 16, then
   decompression failure will occur at COPY-OFFSET when value = 180 =
   0xB4.  If cpb = 32, then decompression failure will occur when value
   = 361 = 0x0169.  If they are not counted exactly, then decompression
   failure MUST occur eventually.

If the cycles are counted exactly and cycles per bit (cpb) = 16, then decompression failure will occur at COPY-OFFSET when value = 180 = 0xB4. If cpb = 32, then decompression failure will occur when value = 361 = 0x0169. If they are not counted exactly, then decompression failure MUST occur eventually.

3.3.  Message-based Transport

3.3. Message-based Transport

   This section provides a set of messages to test the SigComp header
   over a message-based transport such as UDP.  The messages test that
   the following boundary cases have been correctly implemented:

This section provides a set of messages to test the SigComp header over a message-based transport such as UDP. The messages test that the following boundary cases have been correctly implemented:

   1.  The UDVM bytecode is copied to different areas of the UDVM
       memory.

1. The UDVM bytecode is copied to different areas of the UDVM memory.

   2.  The decompression memory size is set to an incorrect value.

2. The decompression memory size is set to an incorrect value.

   3.  The SigComp message is too short.

3. The SigComp message is too short.

   4.  The destination address is invalid.

4. The destination address is invalid.

   The basic version of the code used in the test is given below.  Note
   that the code is designed to calculate the decompression memory size
   based on the Useful Values provided to the UDVM:

The basic version of the code used in the test is given below. Note that the code is designed to calculate the decompression memory size based on the Useful Values provided to the UDVM:

Surtees & West               Informational                     [Page 32]

RFC 4465                 SigComp Torture Tests                 June 2006

Surtees & West Informational [Page 32] RFC 4465 SigComp Torture Tests June 2006

   :udvm_memory_size               pad (2)
   :cycles_per_bit                 pad (2)
   :sigcomp_version                pad (2)
   :partial_state_id_length        pad (2)
   :state_length                   pad (2)

:udvm_memory_size pad (2) :cycles_per_bit pad (2) :sigcomp_version pad (2) :partial_state_id_length pad (2) :state_length pad (2)

   at (128)

at (128)

   :code_start

:code_start

   ; udvm_memory_size for message-based transport
   ;    = DMS - total_message_size

; udvm_memory_size for message-based transport ; = DMS - total_message_size

   ADD ($udvm_memory_size, total_message_size)
   OUTPUT (udvm_memory_size, 2)
   END-MESSAGE (0, 0, 0, 0, 0, 0, 1)

ADD ($udvm_memory_size, total_message_size) OUTPUT (udvm_memory_size, 2) END-MESSAGE (0, 0, 0, 0, 0, 0, 1)

   :code_end

:code_end

   set (header_size, 3)
   set (code_size, (code_end - code_start))
   set (total_message_size, (header_size + code_size))

set (header_size, 3) set (code_size, (code_end - code_start)) set (total_message_size, (header_size + code_size))

   A number of complete SigComp messages are given below, each
   containing some or all of the above code.  In each case, it is
   indicated whether the message will successfully output the
   decompression memory size or whether it will cause a decompression
   failure to occur (together with the reason for the failure):

A number of complete SigComp messages are given below, each containing some or all of the above code. In each case, it is indicated whether the message will successfully output the decompression memory size or whether it will cause a decompression failure to occur (together with the reason for the failure):

   SigComp message:                Effect:

SigComp message: Effect:

   0xf8                            Fails (message too short)

0xf8 Fails (message too short)

   0xf800                          Fails (message too short)

0xf800 Fails (message too short)

   0xf800 e106 0011 2200 0223      Outputs the decompression_memory_size
   0x0000 0000 0000 01

0xf800 e106 0011 2200 0223 Outputs the decompression_memory_size 0x0000 0000 0000 01

   0xf800 f106 0011 2200 0223      Fails (message too short)
   0x0000 0000 0000 01

0xf800 f106 0011 2200 0223 Fails (message too short) 0x0000 0000 0000 01

   0xf800 e006 0011 2200 0223      Fails (invalid destination address)
   0x0000 0000 0000 01

0xf800 e006 0011 2200 0223 Fails (invalid destination address) 0x0000 0000 0000 01

   0xf800 ee06 0011 2200 0223      Outputs the decompression_memory_size
   0x0000 0000 0000 01

0xf800 ee06 0011 2200 0223 Outputs the decompression_memory_size 0x0000 0000 0000 01

Surtees & West               Informational                     [Page 33]

RFC 4465                 SigComp Torture Tests                 June 2006

Surtees & West Informational [Page 33] RFC 4465 SigComp Torture Tests June 2006

   The messages should be decompressed in the order given to check that
   an error in one message does not interfere with the successful
   decompression of subsequent messages.

The messages should be decompressed in the order given to check that an error in one message does not interfere with the successful decompression of subsequent messages.

   The two messages that successfully decompress each use a total of 5
   UDVM cycles.

The two messages that successfully decompress each use a total of 5 UDVM cycles.

3.4.  Stream-based Transport

3.4. Stream-based Transport

   This section provides a byte stream to test the SigComp header and
   delimiters over a stream-based transport such as TCP.  The byte
   stream tests all of the boundary cases covered in Section 3.2, as
   well as the following cases specific to stream-based transports:

This section provides a byte stream to test the SigComp header and delimiters over a stream-based transport such as TCP. The byte stream tests all of the boundary cases covered in Section 3.2, as well as the following cases specific to stream-based transports:

   1.  Quoted bytes are used by the record marking scheme.

1. Quoted bytes are used by the record marking scheme.

   2.  Multiple delimiters are used between the same pair of messages.

2. Multiple delimiters are used between the same pair of messages.

   3.  Unnecessary delimiters are included at the start of the stream.

3. Unnecessary delimiters are included at the start of the stream.

   The basic version of the code used in the test is given below.  Note
   that the code is designed to calculate the decompression memory size
   based on the Useful Values provided to the UDVM:

The basic version of the code used in the test is given below. Note that the code is designed to calculate the decompression memory size based on the Useful Values provided to the UDVM:

   :udvm_memory_size               pad (2)
   :cycles_per_bit                 pad (2)
   :sigcomp_version                pad (2)
   :partial_state_id_length        pad (2)
   :state_length                   pad (2)

:udvm_memory_size pad (2) :cycles_per_bit pad (2) :sigcomp_version pad (2) :partial_state_id_length pad (2) :state_length pad (2)

   at (128)

at (128)

   ; udvm_memory_size for stream based transport = DMS / 2

; udvm_memory_size for stream based transport = DMS / 2

   MULTIPLY ($udvm_memory_size, 2)
   OUTPUT (udvm_memory_size, 2)
   OUTPUT (test_record_marking, 5)
   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

MULTIPLY ($udvm_memory_size, 2) OUTPUT (udvm_memory_size, 2) OUTPUT (test_record_marking, 5) END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

   :test_record_marking

:test_record_marking

   byte (255, 255, 255, 255, 255)

byte (255, 255, 255, 255, 255)

Surtees & West               Informational                     [Page 34]

RFC 4465                 SigComp Torture Tests                 June 2006

Surtees & West Informational [Page 34] RFC 4465 SigComp Torture Tests June 2006

   The above assembly code has been compiled and used to generate the
   following byte stream:

The above assembly code has been compiled and used to generate the following byte stream:

   0xffff f801 7108 0002 2200 0222 a092 0523 0000 0000 0000 00ff 00ff
   0x03ff ffff ffff ffff f801 7e08 0002 2200 0222 a3d2 0523 0000 0000
   0x0000 00ff 04ff ffff ffff ffff ffff ff

0xffff f801 7108 0002 2200 0222 a092 0523 0000 0000 0000 00ff 00ff 0x03ff ffff ffff ffff f801 7e08 0002 2200 0222 a3d2 0523 0000 0000 0x0000 00ff 04ff ffff ffff ffff ffff ff

   Note that this byte stream can be divided into five distinct portions
   (two SigComp messages and three sets of delimiters) as illustrated
   below:

Note that this byte stream can be divided into five distinct portions (two SigComp messages and three sets of delimiters) as illustrated below:

   Portion of byte stream:                                Meaning:

Portion of byte stream: Meaning:

   0xffff                                                 Delimiter

0xffff Delimiter

   0xf801 7108 0002 2200 0222 a092 0523                   First message
   0x0000 0000 0000 00ff 00ff 03ff ffff

0xf801 7108 0002 2200 0222 a092 0523 First message 0x0000 0000 0000 00ff 00ff 03ff ffff

   0xffff ffff                                            Delimiter

0xffff ffff Delimiter

   0xf801 7e08 0002 2200 0222 a3d2 0523                   Second message
   0x0000 0000 0000 00ff 04ff ffff ff

0xf801 7e08 0002 2200 0222 a3d2 0523 Second message 0x0000 0000 0000 00ff 04ff ffff ff

   0xffff ffff ffff                                       Delimiter

0xffff ffff ffff Delimiter

   When the complete byte stream is supplied to the decompressor
   dispatcher, the record marking scheme must use the delimiters to
   partition the stream into two distinct SigComp messages.  Both of
   these messages successfully output the decompression memory size (as
   a 2-byte value), followed by 5 consecutive 0xff bytes to test that
   the record marking scheme is working correctly.  A total of 11 UDVM
   cycles are used in each case.

When the complete byte stream is supplied to the decompressor dispatcher, the record marking scheme must use the delimiters to partition the stream into two distinct SigComp messages. Both of these messages successfully output the decompression memory size (as a 2-byte value), followed by 5 consecutive 0xff bytes to test that the record marking scheme is working correctly. A total of 11 UDVM cycles are used in each case.

   It must also be checked that the dispatcher can handle the same error
   cases as covered in Section 3.2.  Each of the following byte streams
   should cause a decompression failure to occur for the reason stated:

It must also be checked that the dispatcher can handle the same error cases as covered in Section 3.2. Each of the following byte streams should cause a decompression failure to occur for the reason stated:

   Byte stream:                                      Reason for failure:

Byte stream: Reason for failure:

   0xf8ff ff                                         Message too short

0xf8ff ff Message too short

   0xf800 ffff                                       Message too short

0xf800 ffff Message too short

   0xf801 8108 0002 2200 0222 a092 0523 ffff         Message too short
   0x0000 0000 0000 00ff 00ff 03ff ffff

0xf801 8108 0002 2200 0222 a092 0523 ffff Message too short 0x0000 0000 0000 00ff 00ff 03ff ffff

   0xf801 7008 0002 2200 0222 a092 0523 ffff         Invalid destination
   0x0000 0000 0000 00ff 04ff ffff ff

0xf801 7008 0002 2200 0222 a092 0523 ffff Invalid destination 0x0000 0000 0000 00ff 04ff ffff ff

Surtees & West               Informational                     [Page 35]

RFC 4465                 SigComp Torture Tests                 June 2006

Surtees & West Informational [Page 35] RFC 4465 SigComp Torture Tests June 2006

3.5.  Input Past the End of a Message

3.5. Input Past the End of a Message

   This section gives assembly code to test that the implementation
   correctly handles input past the end of a SigComp message.  The code
   is designed to test that the following boundary cases have been
   correctly implemented:

This section gives assembly code to test that the implementation correctly handles input past the end of a SigComp message. The code is designed to test that the following boundary cases have been correctly implemented:

   1.  An INPUT instruction requests data that lies beyond the end of
       the message.  In this case, the dispatcher should not return any
       data to the UDVM.  Moreover, the message bytes held by the
       dispatcher should still be available for retrieval by subsequent
       INPUT instructions.

1. An INPUT instruction requests data that lies beyond the end of the message. In this case, the dispatcher should not return any data to the UDVM. Moreover, the message bytes held by the dispatcher should still be available for retrieval by subsequent INPUT instructions.

   2.  The INPUT-BYTES instruction is used after part of a byte has been
       input (e.g., by the INPUT-BITS instruction).  In this case, the
       remaining partial byte must be discarded, even if the INPUT-BYTES
       instruction requests data that lies beyond the end of the
       message.

2. The INPUT-BYTES instruction is used after part of a byte has been input (e.g., by the INPUT-BITS instruction). In this case, the remaining partial byte must be discarded, even if the INPUT-BYTES instruction requests data that lies beyond the end of the message.

   at (64)

at (64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)
   :input_bit_order                pad (2)
   :result                         pad (1)
   :result_lsb                     pad (6)
   :right

:byte_copy_left pad (2) :byte_copy_right pad (2) :input_bit_order pad (2) :result pad (1) :result_lsb pad (6) :right

   at (128)

at (128)

   LOAD (byte_copy_left, result)
   LOAD (byte_copy_right, right)

LOAD (byte_copy_left, result) LOAD (byte_copy_right, right)

   :start

:start

   ; Input bits to ensure that the remaining message is not byte aligned

; Input bits to ensure that the remaining message is not byte aligned

   INPUT-BITS (9, result, decompression_failure1) ; Input 0x1FF (9 bits)

INPUT-BITS (9, result, decompression_failure1) ; Input 0x1FF (9 bits)

   ; Attempt to read 7 bytes

; Attempt to read 7 bytes

Surtees & West               Informational                     [Page 36]

RFC 4465                 SigComp Torture Tests                 June 2006

Surtees & West Informational [Page 36] RFC 4465 SigComp Torture Tests June 2006

   INPUT-BYTES (7, result, next_bytes) ; This should fail, throw away
                                       ; 7 bits with value Ox7a and
                                       ; jump to next_bytes

INPUT-BYTES (7, result, next_bytes) ; This should fail, throw away ; 7 bits with value Ox7a and ; jump to next_bytes

   :decompression_failure1
   DECOMPRESSION-FAILURE               ; This instruction is never
                                       ; executed but is used to
                                       ; separate success and failure
                                       ; to input bytes.

:decompression_failure1 DECOMPRESSION-FAILURE ; This instruction is never ; executed but is used to ; separate success and failure ; to input bytes.

   :next_bytes

:next_bytes

   ; Read 7 bits - this removes the byte alignment of the message

; Read 7 bits - this removes the byte alignment of the message

   ; If the bits have not been thrown away where they should be, then
   ; the message will be 1 byte longer than necessary and the output
   ; will be incorrect.

; If the bits have not been thrown away where they should be, then ; the message will be 1 byte longer than necessary and the output ; will be incorrect.

   INPUT-BITS (7, result, decompression_failure1) ; Input 0x00 (7 bits)

INPUT-BITS (7, result, decompression_failure1) ; Input 0x00 (7 bits)

   ; Read 2 bytes

; Read 2 bytes

   INPUT-BYTES (2, result, decompression_failure1)
                                       ; Throw away 1 bit value 0
                                       ; Input 0x6869
   OUTPUT (result, 2)                  ; Output 0x6869

INPUT-BYTES (2, result, decompression_failure1) ; Throw away 1 bit value 0 ; Input 0x6869 OUTPUT (result, 2) ; Output 0x6869

                                       ; Attempt to read more bits than
   INPUT-BITS (16, result, bits)       ; there are to ensure they
                                       ; remain available

; Attempt to read more bits than INPUT-BITS (16, result, bits) ; there are to ensure they ; remain available

   :decompression_failure2
   DECOMPRESSION-FAILURE               ; This instruction is never
                                       ; executed but is used to
                                       ; separate success and failure
                                       ; to input bits.

:decompression_failure2 DECOMPRESSION-FAILURE ; This instruction is never ; executed but is used to ; separate success and failure ; to input bits.

   :bits

:bits

   ; Read 8 bits

; Read 8 bits

   INPUT-BITS (8, result, decompression_failure2) ; Input 0x21 or fail
   OUTPUT (result_lsb, 1)              ; Output 0x21

INPUT-BITS (8, result, decompression_failure2) ; Input 0x21 or fail OUTPUT (result_lsb, 1) ; Output 0x21

   :end_message

:end_message

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

Surtees & West               Informational                     [Page 37]

RFC 4465                 SigComp Torture Tests                 June 2006

Surtees & West Informational [Page 37] RFC 4465 SigComp Torture Tests June 2006

   If the compressed message is 0xfffa 0068 6921, then the code
   terminates successfully with the output 0x6869 21, and a total of 23
   UDVM cycles are used.  However, if the compressed message is 0xfffa
   0068 69, then decompression failure occurs (at the final INPUT-BITS).

If the compressed message is 0xfffa 0068 6921, then the code terminates successfully with the output 0x6869 21, and a total of 23 UDVM cycles are used. However, if the compressed message is 0xfffa 0068 69, then decompression failure occurs (at the final INPUT-BITS).

4.  Torture Tests for State Handler

4. Torture Tests for State Handler

   The following sections give code to test the various functions of the
   SigComp state handler.

The following sections give code to test the various functions of the SigComp state handler.

4.1.  SigComp Feedback Mechanism

4.1. SigComp Feedback Mechanism

   This section gives assembly code to test the SigComp feedback
   mechanism.  The code is designed to test that the following boundary
   cases have been correctly implemented:

This section gives assembly code to test the SigComp feedback mechanism. The code is designed to test that the following boundary cases have been correctly implemented:

   1.  Both the short and the long versions of the SigComp feedback item
       are used.

1. Both the short and the long versions of the SigComp feedback item are used.

   2.  The chain of returned SigComp parameters is terminated by a non-
       zero value.

2. The chain of returned SigComp parameters is terminated by a non- zero value.

   at (64)

at (64)

   :type                           pad (1)
   :type_lsb                       pad (1)

:type pad (1) :type_lsb pad (1)

   :requested_feedback_location    pad (1)
   :requested_feedback_length      pad (1)
   :requested_feedback_bytes       pad (127)

:requested_feedback_location pad (1) :requested_feedback_length pad (1) :requested_feedback_bytes pad (127)

   :returned_parameters_location   pad (2)
   :length_of_partial_state_id_a   pad (1)
   :partial_state_identifier_a     pad (6)
   :length_of_partial_state_id_b   pad (1)
   :partial_state_identifier_b     pad (12)
   :length_of_partial_state_id_c   pad (1)
   :partial_state_identifier_c     pad (20)
   :terminate_returned_parameters  pad (1)

:returned_parameters_location pad (2) :length_of_partial_state_id_a pad (1) :partial_state_identifier_a pad (6) :length_of_partial_state_id_b pad (1) :partial_state_identifier_b pad (12) :length_of_partial_state_id_c pad (1) :partial_state_identifier_c pad (20) :terminate_returned_parameters pad (1)

   align (128)

align (128)

   set (q_bit, 1)
   set (s_bit, 0)
   set (i_bit, 0)
   set (flags, (((4 * q_bit) + (2 * s_bit)) + i_bit))

set (q_bit, 1) set (s_bit, 0) set (i_bit, 0) set (flags, (((4 * q_bit) + (2 * s_bit)) + i_bit))

   INPUT-BYTES (1, type_lsb, decompression_failure)

INPUT-BYTES (1, type_lsb, decompression_failure)

Surtees & West               Informational                     [Page 38]

RFC 4465                 SigComp Torture Tests                 June 2006

Surtees & West Informational [Page 38] RFC 4465 SigComp Torture Tests June 2006

   COMPARE ($type, 1, short_feedback_item, long_feedback_item,
   decompression_failure)

COMPARE ($type, 1, short_feedback_item, long_feedback_item, decompression_failure)

   :short_feedback_item

:short_feedback_item

   set (requested_feedback_data, 127)
   set (short_feedback_value, ((flags * 256) + requested_feedback_data))

set (requested_feedback_data, 127) set (short_feedback_value, ((flags * 256) + requested_feedback_data))

   LOAD (requested_feedback_location, short_feedback_value)
   JUMP (return_sigcomp_parameters)

LOAD (requested_feedback_location, short_feedback_value) JUMP (return_sigcomp_parameters)

   :long_feedback_item

:long_feedback_item

   set (requested_feedback_field, 255)
   set (long_feedback_value, ((flags * 256) + requested_feedback_field))

set (requested_feedback_field, 255) set (long_feedback_value, ((flags * 256) + requested_feedback_field))

   LOAD (requested_feedback_location, long_feedback_value)
   MEMSET (requested_feedback_bytes, 127, 1, 1)

LOAD (requested_feedback_location, long_feedback_value) MEMSET (requested_feedback_bytes, 127, 1, 1)

   :return_sigcomp_parameters

:return_sigcomp_parameters

   set (cpb, 0)
   set (dms, 1)
   set (sms, 0)
   set (sigcomp_version, 1)

set (cpb, 0) set (dms, 1) set (sms, 0) set (sigcomp_version, 1)

   set (parameters_msb, (((64 * cpb) + (8 * dms)) + sms))
   set (sigcomp_parameters, ((256 * parameters_msb) + sigcomp_version))

set (parameters_msb, (((64 * cpb) + (8 * dms)) + sms)) set (sigcomp_parameters, ((256 * parameters_msb) + sigcomp_version))

   LOAD (returned_parameters_location, sigcomp_parameters)

LOAD (returned_parameters_location, sigcomp_parameters)

   LOAD (length_of_partial_state_id_a, 1536)   ; length 6 first byte 0
   LOAD (length_of_partial_state_id_b, 3072)   ; length 12 first byte 0
   LOAD (length_of_partial_state_id_c, 5120)   ; length 20 first byte 0
   LOAD (terminate_returned_parameters, 5376)  ; length 21
                                               ; used to terminate the
                                               ; returned parameters
   MEMSET (partial_state_identifier_a, 6, 0, 1)
   MEMSET (partial_state_identifier_b, 12, 0, 1)
   MEMSET (partial_state_identifier_c, 20, 0, 1)

LOAD (length_of_partial_state_id_a, 1536) ; length 6 first byte 0 LOAD (length_of_partial_state_id_b, 3072) ; length 12 first byte 0 LOAD (length_of_partial_state_id_c, 5120) ; length 20 first byte 0 LOAD (terminate_returned_parameters, 5376) ; length 21 ; used to terminate the ; returned parameters MEMSET (partial_state_identifier_a, 6, 0, 1) MEMSET (partial_state_identifier_b, 12, 0, 1) MEMSET (partial_state_identifier_c, 20, 0, 1)

   END-MESSAGE (requested_feedback_location,
   returned_parameters_location, 0, 0, 0, 0, 0)
   :decompression_failure
   DECOMPRESSION-FAILURE

END-MESSAGE (requested_feedback_location, returned_parameters_location, 0, 0, 0, 0, 0) :decompression_failure DECOMPRESSION-FAILURE

Surtees & West               Informational                     [Page 39]

RFC 4465                 SigComp Torture Tests                 June 2006

Surtees & West Informational [Page 39] RFC 4465 SigComp Torture Tests June 2006

   When the above code is executed, it supplies a requested feedback
   item to the state handler.  If the compressed message is 0x00, then
   the short (1-byte) version of the feedback is used.  Executing the
   bytecode in this case costs a total of 52 UDVM cycles.  Assuming that
   the feedback request is successful, the feedback item should be
   returned in the first SigComp message to be sent in the reverse
   direction.  The SigComp message returning the feedback should begin
   as follows:

When the above code is executed, it supplies a requested feedback item to the state handler. If the compressed message is 0x00, then the short (1-byte) version of the feedback is used. Executing the bytecode in this case costs a total of 52 UDVM cycles. Assuming that the feedback request is successful, the feedback item should be returned in the first SigComp message to be sent in the reverse direction. The SigComp message returning the feedback should begin as follows:

   +---+---+---+---+---+---+---+---+
   | 1   1   1   1   1   1 |   X   |   first header byte
   +---+---+---+---+---+---+---+---+
   | 0 |            127            |   returned feedback field
   +---+---+---+---+---+---+---+---+

+---+---+---+---+---+---+---+---+ | 1 1 1 1 1 1 | X | first header byte +---+---+---+---+---+---+---+---+ | 0 | 127 | returned feedback field +---+---+---+---+---+---+---+---+

   So the first 2 bytes of the returning SigComp message should be
   0xfn7f where n = c, d, e, or f (the choice of n is determined by the
   compressor generating the returning SigComp message, which is not
   under the control of the above code).

So the first 2 bytes of the returning SigComp message should be 0xfn7f where n = c, d, e, or f (the choice of n is determined by the compressor generating the returning SigComp message, which is not under the control of the above code).

   If the compressed message is 0x01, then the long version of the
   feedback item is used.  Executing the bytecode in this case costs a
   total of 179 UDVM cycles and the SigComp message returning the
   feedback should begin as follows:

If the compressed message is 0x01, then the long version of the feedback item is used. Executing the bytecode in this case costs a total of 179 UDVM cycles and the SigComp message returning the feedback should begin as follows:

   +---+---+---+---+---+---+---+---+
   | 1   1   1   1   1   1 |   X   |   first header byte
   +---+---+---+---+---+---+---+---+
   | 1 |            127            |   returned feedback length
   +---+---+---+---+---+---+---+---+
   |               1               |              ^
   +---+---+---+---+---+---+---+---+              |
   |               2               |              |
   +---+---+---+---+---+---+---+---+
   |               3               |   returned feedback field
   +---+---+---+---+---+---+---+---+

+---+---+---+---+---+---+---+---+ | 1 1 1 1 1 1 | X | first header byte +---+---+---+---+---+---+---+---+ | 1 | 127 | returned feedback length +---+---+---+---+---+---+---+---+ | 1 | ^ +---+---+---+---+---+---+---+---+ | | 2 | | +---+---+---+---+---+---+---+---+ | 3 | returned feedback field +---+---+---+---+---+---+---+---+

   So the first 129 bytes of the SigComp message should be 0xfnff 0102
   0304 ... 7e7f where n = c, d, e, or f as above.

So the first 129 bytes of the SigComp message should be 0xfnff 0102 0304 ... 7e7f where n = c, d, e, or f as above.

   As well as testing the requested and returned feedback items, the
   above code also announces values for each of the SigComp parameters.
   The supplied version of the code announces only the minimum possible
   values for the cycles_per_bit, decompression_memory_size,
   state_memory_size, and SigComp_version (although this can easily be
   adjusted to test different values for these parameters).

As well as testing the requested and returned feedback items, the above code also announces values for each of the SigComp parameters. The supplied version of the code announces only the minimum possible values for the cycles_per_bit, decompression_memory_size, state_memory_size, and SigComp_version (although this can easily be adjusted to test different values for these parameters).

Surtees & West               Informational                     [Page 40]

RFC 4465                 SigComp Torture Tests                 June 2006

Surtees & West Informational [Page 40] RFC 4465 SigComp Torture Tests June 2006

   The code should also announce the availability of state items with
   the following partial state identifiers:

The code should also announce the availability of state items with the following partial state identifiers:

   0x0001 0203 0405
   0x0001 0203 0405 0607 0809 0a0b
   0x0001 0203 0405 0607 0809 0a0b 0c0d 0e0f 1011 1213

0x0001 0203 0405 0x0001 0203 0405 0607 0809 0a0b 0x0001 0203 0405 0607 0809 0a0b 0c0d 0e0f 1011 1213

   Note that different implementations may make use of the announcement
   information in different ways.  It is a valid implementation choice
   to simply ignore all of the announcement data and use only the
   minimum resources that are guaranteed to be available to all
   endpoints.  However, the above code is useful for checking that an
   endpoint interprets the announcement data correctly (in particular
   ensuring that it does not mistakenly use resources that have not in
   fact been announced).

異なった実現が異なった方法で発表情報を利用するかもしれないことに注意してください。 単に発表データのすべてを無視して、すべての終点に利用可能になるように保証される最小のリソースだけを使用するのは、有効な実現選択です。 しかしながら、終点が正しく発表データを解釈するのをチェックすることの上のコードは役に立ちます(事実上、発表されていないリソースを誤って使用しないのを特に確実にして)。

4.2.  State Memory Management

4.2. 州のメモリ管理

   The following section gives assembly code to test the memory
   management features of the state handler.  The code checks that the
   correct states are retained by the state handler when insufficient
   memory is available to store all of the requested states.

以下のセクションは、州の操作者のメモリ管理機能をテストするためにアセンブリコードを与えます。 コードは、不十分な記憶が要求された州のすべてを格納するために利用可能であるときに、正しい州が州の操作者によって保有されるのをチェックします。

   The code is designed to test that the following boundary cases have
   been correctly implemented:

実行されて、コードは以下の境界ケースが正しくそうであるテストに設計されています:

   1.  A state item is created that exceeds the total state_memory_size
       for the compartment.

1. 総状態_メモリ_サイズをコンパートメントに超えている州の項目は作成されます。

   2.  States are created with a non-zero state_retention_priority.

2. 州は非ゼロ状態_保有_優先で創設されます。

   3.  A new state item is created that has a lower
       state_retention_priority than existing state items in the
       compartment.

3. 存在するより低い状態_保有_優先度がコンパートメントに項目を述べる新しい州の項目は作成されます。

   For the duration of this test, it is assumed that all states will be
   saved in a single compartment with a state_memory_size of 2048 bytes.

このテストの持続時間において、すべての州が単一のコンパートメントで2048バイトの状態_メモリ_サイズで救われると思われます。

   at (64)

at(64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)
   :order                          pad (2)
   :type                           pad (1)
   :type_lsb                       pad (1)
   :state_length                   pad (2)
   :state_retention_priority       pad (2)

:バイト_コピー_は右のパッド(2):orderパッド(2):typeパッド(1)にパッド(2): バイト_コピー_を残しました: _lsbパッド(1)をタイプしてください: _長さのパッド(2)を述べてください: _保有_優先権パッドを述べてください。(2)

Surtees & West               Informational                     [Page 41]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[41ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   at(127)
   :decompression_failure
   at (128)

(127): 減圧_失敗(128)

   MULTILOAD (byte_copy_left, 2, state_start, order_data)

MULTILOAD(左では、2(状態_始め)が_データを注文するバイト_コピー_)

   INPUT-BYTES (1, type_lsb, decompression_failure)
   COMPARE ($type, 5, general_test, large_state, verify_state)

INPUT-BYTES(1、タイプ_lsb、減圧_失敗)COMPARE($タイプ(5、一般的な_テスト、大きい_州)は_状態について確かめます)

   :general_test

:一般的な_テスト

   COMPARE ($type, 3, start, state_present, state_not_present)

比較してください。(_プレゼントではなく、3歳のタイプが始める$、州の_プレゼント、州の_)

   :start

:始め

   MULTIPLY ($type, 6)
   ADD ($type, order_data)
   LOAD (order, $type)
   ADD ($type, 6)

MULTIPLY(6歳の$タイプ)ADD($タイプ、オーダー_データ)LOAD(注文、$はタイプされる)ADD(6歳の$タイプ)

   ; Finish with the value (order_data + 6*n) in order where
   ; n is the input value 0x00, 0x01, or 0x02
   ; type = order + 6
   ; These values are used to index into the 'order_data'
   ; that is used to work out state retention priorities and lengths

; オーダーにおける値(オーダー_データ+6*n)がどこにあるか状態で、終わってください。 nは入力値0×00、0×01、または0x02です。 =オーダー+6をタイプしてください。 これらの値は'オーダー_データ'に索引をつけるのに使用されます。 それは、州の保有プライオリティと長さを解決するのに使用されます。

   :loop

:輪

   COPY ($order, 2, state_retention_priority)
   COMPARE ($order, $type, continue, end, decompression_failure)

COPY($注文、2は_保有_優先権を述べる)COMPARE(注文、$タイプが続けている$、終わり、減圧_失敗)

   :continue

:続いてください。

   ;  Set up a state creation each time through the loop

; その都度、輪を通して州の創造をセットアップしてください。

   LOAD (state_length, $state_retention_priority)
   MULTIPLY ($state_length, 256)
   STATE-CREATE ($state_length, state_start, 0, 6,
   $state_retention_priority)

負荷(状態_長さ、$は_保有_優先権を述べる)が($の状態_長さ、256)を掛ける、状態作成($州の_の長さ、州の_始め、0、6、$状態_保有_優先権)

   ADD ($order, 2)
   JUMP (loop)

($注文、2)がジャンプすると言い足してください。(輪)

   :state_present

:州の_プレゼント

   ; Access the states that should be present
   STATE-ACCESS (state_identifier_a, 6, 0, 0, 0, 0)
   STATE-ACCESS (state_identifier_b, 6, 0, 0, 0, 0)

; 現在の州-ACCESSであるべきである州にアクセスしてください、(_識別子、6、0、0、0、0)州-ACCESSを述べてください。(_識別子_bを述べてください、6、0、0、0、0)

Surtees & West               Informational                     [Page 42]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[42ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   STATE-ACCESS (state_identifier_c, 6, 0, 0, 0, 0)
   STATE-ACCESS (state_identifier_e, 6, 0, 0, 0, 0)
   JUMP (end)

州アクセス、(_識別子_c、6、0、0、0、0)州アクセスを述べてください、(_識別子_eを述べてください、そして、6、0、0、0、0は)ジャンプします。(終わり)

   :state_not_present

:__どんなプレゼントも述べないでください。

   ; Check that the state that shouldn't be present is not present.
   STATE-ACCESS (state_identifier_d, 6, 0, 0, 0, 0)
   JUMP (end)

; 存在するべきでない状態が存在していないのをチェックしてください。 州アクセス、(_識別子を述べてください、そして、6、0、0、0、0は)ジャンプします。(終わり)

   :large_state

:大きい_州

   STATE-CREATE (2048, state_start, 0, 6, 0)
   JUMP (end)

州-CREATE、(2048、州の_始め、0、6、0)JUMP(終わり)

   :verify_state

:_状態について確かめてください。

   STATE-ACCESS (large_state_identifier, 6, 0, 0, 0, 0)
   JUMP (end)

州アクセス、(大きい_状態_識別子、6、0、0、0、0)ジャンプ(終わり)

   :end

:終わり

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   at (512)

at(512)

   :state_start

:状態_始め

   byte (116, 101, 115, 116)

バイト(116, 101, 115, 116)

   :order_data
   ; This data is used to generate the retention priority
   ; and state length of each state creation.

:_データを注文してください。 このデータは保有優先権を発生させるのに使用されます。 そして、それぞれの州の創造の長さを述べてください。

   word (0, 1, 2, 3, 4, 3, 2, 1, 0)

単語(0, 1, 2, 3, 4, 3, 2, 1, 0)

   :state_identifier_a

:状態_識別子

   byte (142, 234, 75, 67, 167, 135)

バイト(142, 234, 75, 67, 167, 135)

   :state_identifier_b

:州の_識別子_b

   byte (249, 1, 14, 239, 86, 123)

バイト(249, 1, 14, 239, 86, 123)

   :state_identifier_c

:州の_識別子_c

   byte (35, 154, 52, 107, 21, 166)

バイト(35, 154, 52, 107, 21, 166)

Surtees & West               Informational                     [Page 43]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[43ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   :state_identifier_d

:状態_識別子

   byte (180, 15, 192, 228, 77, 44)

バイト(180, 15, 192, 228, 77, 44)

   :state_identifier_e

:州の_識別子_e

   byte (212, 162, 33, 71, 230, 10)

バイト(212, 162, 33, 71, 230, 10)

   :large_state_identifier

:大きい_状態_識別子

   byte (239, 242, 188, 15, 182, 175)

バイト(239, 242, 188, 15, 182, 175)

   The above code must be executed a total of 7 times in order to
   complete the test.  Each time the code is executed, a 1-byte
   compressed message should be provided as below.  The effects of the
   messages are given below.  States are described in the form (name, x,
   y) where name corresponds to the name of the identifier in the
   mnemonic code, x is the length of the state, and y is the retention
   priority of the state.

テストを終了するために合計7回上のコードを実行しなければなりません。 各回、コードが実行されて、1バイトの圧縮されたメッセージは、あって、以下であるべきです。 メッセージの効果を以下に与えます。 州は名前が簡略命令コードの識別子の名前に対応している、xが状態の長さであり、yが状態の保有優先権であるところでフォーム(名前、x、y)で説明されます。

   Message:   Effect:                                           #cycles:
   0x00       create states:                                       811
                   (a,0,0),
                   (b,256,1),
                   (c,512,2)
   0x01       create states:                                      2603
                   (d,768,3),
                   (e,1024,4) - deleting a, b, c
   0x02       create states:                                       811
                   (c,512,2), - deleting d
                   (b,256,1),
                   (a,0,0)
   0x03       access states a,b,c,e                               1805
   0x04       access state d - not present so decompression failure
   0x05       create states:                                      2057
                   (large, 2048,0) - deleting a, b, c, e
   0x06       access large state                                  1993

メッセージ: 効果: #サイクル: 0×00 州を創設してください: 811 (a、0、0) (b、256、1) (c、512、0×01が作成する2は)以下を述べます。 2603 (d、768、3) (e、1024、4)--aを削除して、b、c0x02は州を創設します: 811、(c、512、2)--削除、d、(b、256、1) (a、0、0つの)0×03アクセス状態a、b、c、0×04がアクセスするe1805はd--減圧失敗0x05が作成するそうに州を提示しないと述べます: 2057 (多大、2048、0)、--aを削除して、b、c、e0x06が大きい州1993にアクセスする

   Note that as new states are created, some of the existing states will
   be pushed out of the compartment due to lack of memory.

新しい州が創設されるとき、メモリの不足のため、いくつかの現状がコンパートメントから押されることに注意してください。

4.3.  Multiple Compartments

4.3. 複数のコンパートメント

   This section gives assembly code to test the interaction between
   multiple SigComp compartments.  The code is designed to test that the
   following boundary cases have been correctly implemented:

このセクションは、複数のSigCompコンパートメントの間の相互作用をテストするためにアセンブリコードを与えます。 実行されて、コードは以下の境界ケースが正しくそうであるテストに設計されています:

Surtees & West               Informational                     [Page 44]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[44ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   1.  The same state item is saved in more than one compartment.

1. 同じ州の項目は1つ以上のコンパートメントに保存されます。

   2.  A state item stored in multiple compartments has the same state
       identifier but a different state_retention_priority in each case.

2. 複数のコンパートメントに格納された州の項目はその都度同じ州の識別子にもかかわらず、異なった状態_保有_優先を持っています。

   3.  A state item is deleted from one compartment but still belongs to
       a different compartment.

3. 州の項目は、1つのコンパートメントから削除されますが、まだ異なったコンパートメントに属しています。

   4.  A state item belonging to multiple compartments is deleted from
       every compartment to which it belongs.

4. 複数のコンパートメントに属す州の項目はそれが属するあらゆるコンパートメントから削除されます。

   The test requires a total of three compartments to be available,
   which will be referred to as Compartment 0, Compartment 1, and
   Compartment 2.  Each of the three compartments should have a
   state_memory_size of 2048 bytes.

テストは利用可能である合計3つのコンパートメント、どれがCompartment0と呼ばれるだろうか、そして、Compartment1、およびCompartment2を必要とします。 それぞれの3つのコンパートメントには、2048バイトの状態_メモリ_サイズがあるべきです。

   The assembly code for the test is given below:

テストのためのアセンブリコードを以下に与えます:

   at (64)

at(64)

   :byte_copy_left                 pad (2)
   :byte_copy_right                pad (2)
   :type                           pad (1)
   :type_lsb                       pad (1)

:バイト_コピー_はパッド(2): バイト_コピー_を右のパッド(2):typeパッド(1)に残しました: _lsbパッドをタイプしてください。(1)

   at (127)
   :decompression_failure
   at (128)

(127): 減圧_失敗(128)

   MULTILOAD (byte_copy_left, 2, state_start, state_end)
   INPUT-BYTES (1, type_lsb, decompression_failure)
   COMPARE ($type, 3, create_state, overwrite_state, temp)

MULTILOAD(バイト_コピー_はいなくなって、2(状態_始め)は、_が終わると述べる)INPUT-BYTES(1、_タイプlsb、減圧_の故障)COMPARE(3歳の$タイプは_状態、重ね書き_状態を創設して、派遣社員として働いてください)

   :temp

:臨時

   COMPARE ($type, 5, overwrite_state, access_state, error_conditions)

比較してください。($タイプ、5、重ね書き_状態、誤り_が条件とさせるアクセス_状態)

   :create_state
   ; starting byte identified by $type according to input:
   ; Input     0x00        0x01        0x02
   ; $type      512         513         514

:_状態を創設してください。 $によって特定されたバイトを始めて、入力に従って、タイプしてください: ; 入力0x00 0×01、0×02。 $は512 513 514をタイプします。

   ADD ($type, state_start)
   STATE-CREATE (448, $type, 0, 6, 0)

ADD($タイプ、州の_始め)州-CREATE(448、$がタイプされる、0、6、0)

   ; create state again, beginning in different place in buffer
   ; starting byte identified by $type according to input:
   ; Input     0x00        0x01        0x02

; バッファの異なった場所で始まって、もう一度状態を創設してください。 $によって特定されたバイトを始めて、入力に従って、タイプしてください: ; 入力0x00 0×01、0×02

Surtees & West               Informational                     [Page 45]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[45ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   ; $type      515         516         517

; $は515 516 517をタイプします。

   ADD ($type, 3)
   STATE-CREATE (448, $type, 0, 6, 0)

(3歳の$タイプ)が状態で作成すると言い足してください。(448、$がタイプされる、0、6、0)

   ; create a third time beginning in different place again
   ; starting byte identified by $type according to input:
   ; Input     0x00        0x01        0x02
   ; $type      516         517         515

; 再び異なった場所で始まりながら、第3の回を作成してください。 $によって特定されたバイトを始めて、入力に従って、タイプしてください: ; 入力0x00 0×01、0×02。 $は516 517 515をタイプします。

   SUBTRACT ($type, temp_one)
   REMAINDER ($type, 3)
   ADD ($type, temp_two)
   STATE-CREATE (448, $type, 0, 6, 0)

SUBTRACT($タイプ、臨時_1)REMAINDER(3歳の$タイプ)ADD($タイプ、臨時_two)州-CREATE(448、$がタイプされる、0、6、0)

   :common_state

:一般的な_状態

   STATE-CREATE (448, temp_three, 0, 6, $type)
   JUMP (end)

州-CREATE(448、臨時_3、0、6、$はタイプされる)JUMP(終わり)

   :overwrite_state

:重ね書き_状態

   STATE-CREATE (1984, 32, 0, 6, 0)
   JUMP (end)

(1984、32、0、6、0)ジャンプを状態で作成してください。(終わり)

   :access_state

:アクセス_状態

   STATE-ACCESS (state_identifier_c, 6, 0, 0, 0, 0)
   STATE-ACCESS (state_identifier_d, 6, 0, 0, 0, 0)
   STATE-ACCESS (state_identifier_f, 6, 0, 0, 0, 0)
   STATE-ACCESS (state_identifier_g, 6, 0, 0, 0, 0)

州アクセス、(_識別子_c、6、0、0、0、0)州アクセスを述べてください、(_識別子、6、0、0、0、0)州アクセスを述べてください、(_識別子_f、6、0、0、0、0)州アクセスを述べてください。(_識別子_gを述べてください、6、0、0、0、0)

   :end

:終わり

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   :error_conditions

:誤り_状態

   COMPARE ($type, 7, access_a, access_b, access_e)

比較してください。(7歳のタイプがアクセスする$、アクセス_b、アクセス_e)

   :access_a

:アクセス

   STATE-ACCESS (state_identifier_a, 6, 0, 0, 0, 0)
   JUMP (end)

州アクセス、(_識別子を述べてください、そして、6、0、0、0、0は)ジャンプします。(終わり)

   :access_b

:アクセス_b

Surtees & West               Informational                     [Page 46]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[46ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   STATE-ACCESS (state_identifier_b, 6, 0, 0, 0, 0)
   JUMP (end)

州アクセス、(_識別子_bを述べてください、そして、6、0、0、0、0は)ジャンプします。(終わり)

   :access_e

:アクセス_e

   STATE-ACCESS (state_identifier_e, 6, 0, 0, 0, 0)
   JUMP (end)

州アクセス、(_識別子_eを述べてください、そして、6、0、0、0、0は)ジャンプします。(終わり)

   at (512)

at(512)

   :state_start

:状態_始め

   byte (0, 1, 2, 3, 4, 5, 6)

バイト(0, 1, 2, 3, 4, 5, 6)

   :state_end

:州の_エンド

   set (temp_one, (state_start + 2))   ; = 514
   set (temp_two, (state_start + 3))   ; = 515
   set (temp_three, (state_end - 1))   ; = 518

(臨時_1、(状態_始め+2))を設定してください。 = 514 (臨時_2、(状態_始め+3))を設定してください。 = 515 セットしてください(臨時_three、(_終わりを述べてください--1))。 = 518

   :state_identifier_a         ; start state at 512

:_識別子を述べてください。 512で状態を始めてください。

   byte (172, 166, 11, 142, 178, 131)

バイト(172, 166, 11, 142, 178, 131)

   :state_identifier_b         ; start state at 513

:_識別子_bを述べてください。 513で状態を始めてください。

   byte (157, 191, 175, 198, 61, 210)

バイト(157, 191, 175, 198, 61, 210)

   :state_identifier_c         ; start state at 514

:_識別子_cを述べてください。 514で状態を始めてください。

   byte (52, 197, 217, 29, 83, 97)

バイト(52, 197, 217, 29, 83, 97)

   :state_identifier_d         ; start state at 515

:_識別子を述べてください。 515で状態を始めてください。

   byte (189, 214, 186, 42, 198, 90)

バイト(189, 214, 186, 42, 198, 90)

   :state_identifier_e         ; start state at 516

:_識別子_eを述べてください。 516で状態を始めてください。

   byte (71, 194, 24, 20, 238, 7)

バイト(71, 194, 24, 20, 238, 7)

   :state_identifier_f         ; start state at 517

:_識別子_fを述べてください。 517で状態を始めてください。

   byte (194, 117, 148, 29, 215, 161)

バイト(194, 117, 148, 29, 215, 161)

   :state_identifier_g         ; start state at 518

:_識別子_gを述べてください。 518で状態を始めてください。

   byte (72, 135, 156, 141, 233, 14)

バイト(72, 135, 156, 141, 233, 14)

Surtees & West               Informational                     [Page 47]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[47ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   The above code must be executed a total of 9 times in order to
   complete the test.  Each time the code is executed, a 1-byte
   compressed message N should be provided, taking the values 0x00 to
   0x08 in ascending order (so the compressed message should be 0x00 the
   first time the code is run, 0x01 the second, and so on).

テストを終了するために合計9回上のコードを実行しなければなりません。 その都度コードは実行されます、Nが提供されるべきである1バイトの圧縮されたメッセージ、0×00から0×08に昇順に値で取って。(初めてコードが走行であるときに圧縮されたメッセージが0×00であるべきである、0×01、2番目など、)

   If the code makes a state creation request, then the state must be
   saved in Compartment (N modulo 3).

コードが州の創造要求をするなら、Compartment(N法3)で状態を節約しなければなりません。

   When the compressed message is 0x00, 0x01, or 0x02, the code makes
   four state creation requests in compartments 0, 1, and 2,
   respectively.  This creates a total of seven distinct state items
   referred to as State a through State g.  The states should be
   distributed among the three compartments as illustrated in Figure 1
   (note that some states belong to more than one compartment).

圧縮されたメッセージが0×00、0×01、または0×02であるときに、コードはコンパートメント0、1、および2でそれぞれ4状態を創造要求にします。 これは州gを通って州aと呼ばれた合計7つの異なった州の項目を作成します。 州は図1で例証されるように3つのコンパートメントの中で分配されるべきです(いくつかの州が1つ以上のコンパートメントに属すことに注意してください)。

   When the compressed message is 0x03 or 0x04, the code overwrites all
   of the states in Compartments 0 and 1, respectively.  This means that
   States a, b, and e will be unavailable because they are no longer
   present in any of the three compartments.

圧縮されたメッセージが0×03か0×04であるときに、コードはCompartments0と1でそれぞれ州のすべてを上書きします。 これは、それらがもう存在していないのでStates a、b、およびeが3つのコンパートメントのどれかで入手できなくなることを意味します。

   When the compressed message is 0x05, the code checks that the States
   c, d, f, and g are still available.  Decompression should terminate
   successfully in this case.

圧縮されたメッセージが0×05であるときに、コードは、米国c、d、f、およびgがまだ利用可能であることをチェックします。 減圧はこの場合首尾よく終わるべきです。

   When the compressed message is 0x06, 0x07, or 0x08, the code attempts
   to access States a, b, and e, respectively.  Decompression failure
   should occur in this case because the relevant states are no longer
   available.

圧縮されたメッセージが0×06、0×07、または0×08であるときに、コードは、それぞれStates a、b、およびeにアクセスするのを試みます。 関連州がもう利用可能でないので、減圧失敗はこの場合起こるべきです。

   The cost in UDVM cycles for each compressed message is given below
   (except for messages 0x06, 0x07, and 0x08 where decompression failure
   should to occur):

それぞれの圧縮されたメッセージのためのUDVMサイクルの費用を以下に与えます(メッセージ0×06、0×07、および0x08を除いて、減圧失敗がどこにそうするべきであるかは起こります):

   Compressed message: 0x00 0x01 0x02 0x03 0x04 0x05 0x06 0x07 0x08

メッセージを圧縮します: 0×00 0×01 0×02、0×03、0×04、0×05、0×06、0×07、0×08

   Cost in UDVM cycles: 1809 1809 1809 1993 1994 1804 N/A N/A N/A

UDVMでサイクルかかってください: 1809 1809 1809 1993 1994 1804、なし、なし、なし。

Surtees & West               Informational                     [Page 48]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[48ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

                     +-----------------------------+
                     |        Compartment 0        |
                     |                             |
                     |                             |
                     |           State a           |
                     |                             |
                     |         +-------------------+---------+
                     |         |                   |         |
                     |         |                   |         |
                     |         |           State d |         |
                     |         |                   |         |
                     |         |                   |         |
           +---------+---------+---------+         |         |
           |         |         |         |         |         |
           |         |         |         |         |         |
           |         | State e | State g |         | State c |
           |         |         |         |         |         |
           |         |         |         |         |         |
           |         +---------+---------+---------+         |
           |                   |         |                   |
           |                   |         |                   |
           |           State b | State f |                   |
           |                   |         |                   |
           |                   |         |   Compartment 2   |
           |                   +---------+-------------------+
           |                             |
           |                             |
           |                             |
           |                             |
           |        Compartment 1        |
           +-----------------------------+

+-----------------------------+ | コンパートメント0| | | | | | aを述べてください。| | | | +-------------------+---------+ | | | | | | | | | | 状態d| | | | | | | | | | +---------+---------+---------+ | | | | | | | | | | | | | | | | 状態e| 状態g| | 状態c| | | | | | | | | | | | | | +---------+---------+---------+ | | | | | | | | | | 状態b| 状態f| | | | | | | | | コンパートメント2| | +---------+-------------------+ | | | | | | | | | コンパートメント1| +-----------------------------+

            Figure 1: States created in the three compartments

図1: 3つのコンパートメントに創設された州

4.4.  Accessing RFC 3485 State

4.4. RFC3485状態にアクセスします。

   This section gives assembly code to test accessing SIP-SDP static
   dictionary state [3].  The code first accesses the state and then
   outputs the result.

このセクションは、SIP-SDPの静的な辞書状態[3]にアクセスしながらテストするためにアセンブリコードを与えます。 コードは、最初に、状態にアクセスして、次に、結果を出力します。

   at (32)

at(32)

   :input      pad (1)
   :input2     pad (1)
   :input3     pad (1)

:入力パッド(1):input2パッド(1):input3パッド(1)

Surtees & West               Informational                     [Page 49]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[49ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   at (128)

at(128)

   STATE-ACCESS (sip_dictionary, 20, 0xcfe, 1, input, 0)
   STATE-ACCESS (sip_dictionary, 6, 0xcff, 1, input2, 0)
   STATE-ACCESS (sip_dictionary, 12, 0xd00, 1, input3, 0)

州-ACCESS、(0)州-ACCESS、_辞書、0xcfe(1)が入力した20をちびちび飲んでください、(_辞書、6、0xcff、1、input2、0)州-ACCESSをちびちび飲んでください。(_辞書、12、0xd00、1、input3をちびちび飲んでください、0)

   OUTPUT (input, 3)

出力(入力、3)

   END-MESSAGE (0, 0, 0, 0, 0, 0, 0)

終わりメッセージ(0, 0, 0, 0, 0, 0, 0)

   :sip_dictionary
   byte (0xfb, 0xe5, 0x07, 0xdf, 0xe5, 0xe6)
   byte (0xaa, 0x5a, 0xf2, 0xab, 0xb9, 0x14)
   byte (0xce, 0xaa, 0x05, 0xf9, 0x9c, 0xe6)
   byte (0x1b, 0xa5)

:一口_辞書バイト(0xfb、0xe5、0×07、0xdf、0xe5、0xe6)バイト(0xaa、0x5a、0xf2、0xab、0xb9、0×14)バイト(0xce、0xaa、0×05、0xf9、0x9c、0xe6)バイト(0x1b、0xa5)

   The output of the code is 0x5349 50, and the cost is 11 UDVM cycles.

50、および費用はそうです。コードの出力が0×5349である、11UDVMサイクル。

4.5.  Bytecode State Creation

4.5. バイトコード州の創造

   This section gives assembly code to test storing bytecode using
   END-MESSAGE and later loading the bytecode using a partial state
   identifier within the SigComp header.  The assembly code is designed
   to test the following cases:

このセクションは、SigCompヘッダーの中に部分的な州の識別子を使用することでバイトコードをロードしながらEND-MESSAGE以降を使用することでバイトコードを格納しながらテストするためにアセンブリコードを与えます。 アセンブリコードは以下のケースをテストするように設計されています:

   1.  The bytes to be saved are changed after the state create request
       has been made.

1. 州が要求を作成した後に節約されるバイトを変えます。作りました。

   2.  The uploaded bytecode is modified before execution.

2. アップロードされたバイトコードは実行の前に変更されます。

   3.  The bytecode is loaded using the partial state identifier and is
       modified before execution.

3. バイトコードは、部分的な州の識別子を使用することでロードされていて、実行の前に変更されます。

   4.  The bytecode is loaded to an address lower than 128, using the
       partial state identifier.

4. 部分的な州の識別子を使用して、バイトコードは128より低いアドレスにロードされます。

   5.  The bytecode is loaded using the partial state identifier.  Part
       of the loaded memory is reserved area, which is overwritten after
       loading the bytecode.

5. バイトコードは、部分的な州の識別子を使用することでロードされています。 ロードされたメモリの一部が指定保留地域です。(バイトコードをロードした後に、その指定保留地域は上書きされます)。

   6.  The loading of the bytecode fails because the partial state
       identifier is too short.

6. 部分的な州の識別子が短過ぎるので、バイトコードのローディングは失敗します。

Surtees & West               Informational                     [Page 50]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[50ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   at (30)
   :save_area1
   set (saved_instr1, (save_area1 + (code_start2 - start_saved))) ; = 33

(30)で: area1が設定した_(_instr1、(セーブ_area1+(_start2をコード化してください--スタート_は取っておかれました))を救う)を取っておいてください。 = 33

   at (80)
   :save_area2
   set (saved_instr2, (save_area2 + (code_start2 - start_saved))) ; = 83

(80)で: area2が設定した_(_instr2、(セーブ_area2+(_start2をコード化してください--スタート_は取っておかれました))を救う)を取っておいてください。 = 83

   at (128)
   :code_start

(128)で: _始めをコード化してください。

   COPY (start_saved, saved_len, save_area1)
                       ; copy 'ok2', OUTPUT (save_area2,3) END-MESSAGE
                       ; to position 30 and create as state
   STATE-CREATE (saved_len, save_area1, saved_instr1, 6, 10)

COPY(_救われて、救われた_lenを始動してください、そして、_area1を取っておいてください)。 OUTPUT(_area2、3を救う)END-MESSAGE、'ok2'をコピーしてください。 30を置いて、状態として州-CREATEを作成するために(救われた_len、6、10を_instr1が取っておかれて、_area1に救ってください)

   set (modify1, (save_area1 + 5)) ; = 35
   LOAD (modify1, 0x1e03)
                       ; modify save_area2 to be save_area1 in the
                       ; created state

セット(modify1、(セーブ_area1+5))。 = 35 ロードしてください(modify1、0x1e03)。 _を除いて、中に_area1を除いて、あるようにarea2を変更してください、。 作成された状態

   COPY (start_saved, saved_len, save_area2)
   STATE-CREATE (saved_len, save_area2, saved_instr2, 20, 10)
   STATE-CREATE (saved_len, save_area2, saved_instr2, 12, 10)
                       ; copy 'ok2', OUTPUT (save_area2,3) END-MESSAGE
                       ; to position 80 and create as state twice with
                       ; min access len 20 and 12

COPY(_救われて、救われた_lenを始動してください、そして、_area2を取っておく)州-CREATE(救われた_len、20、10を_instr2が取っておかれて、_area2に救う)州-CREATE(救われた_len、12、10を_instr2が取っておかれて、_area2に救ってください)。 OUTPUT(_area2、3を救う)END-MESSAGE、'ok2'をコピーしてください。 80を置いて、状態として2倍を作成する、。 20と12の分アクセスlen

   JUMP (modify)

ジャンプ(変更します)

   :ok1
   byte (0x4f, 0x4b, 0x31)

:ok1バイト(0x4f、0x4b、0×31)

   set (after_output_minus1, (after_output - 1))

セットします。(_の後に_minus1を出力してください、(後_の出力--1))

   :modify
   INPUT-BYTES (1, after_output_minus1, decompression_failure)
                       ; Input overwrites the next instruction
   OUTPUT (ok1, 3)     ; Now is OUTPUT (ok1, 2) so output is 0x4f4b

:INPUT-BYTES(_出力_minus1、減圧_失敗の後の1)を変更してください。 入力は次の指示OUTPUT(ok1、3)を上書きします。 現在そのように出力されたOUTPUT(ok1、2)が0x4f4bであるということです。

   :after_output

:_出力の後に

   ; Save from ok1 to the opcode of END-MESSAGE

; ok1からEND-MESSAGEのopcodeまで節約してください。

   set (modify_len, ((after_output + 1) - ok1)) ; = 13

セットしてください。(_len、(後_の出力+1)を変更してください--ok1)。 = 13

Surtees & West               Informational                     [Page 51]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[51ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   END-MESSAGE (0, 0, modify_len, ok1, modify, 6, 10)
                       ; Save 'ok1', INPUT-BYTES, OUTPUT as state

END-MESSAGE、(0、0がlen、ok1が変更する_、6を変更する、10)。 状態として'ok1'、INPUT-BYTES、OUTPUTを取っておいてください。

   set (saved_len, (end_saved - start_saved)) ; = 8

セットしてください(救われた_len、(終わりの_は取っておかれました--_が節約した始め))。 = 8

   :start_saved
   byte (0x4f, 0x4b, 0x32)

:バイトが節約された_を始動してください。(0x4f、0x4b、0×32)

   :code_start2

:コード_start2

   ; Translated bytecode for OUTPUT (save_area2, 3)
   byte (0x22, 0xa0, 0x50, 0x03)

; OUTPUT(_area2、3を救う)バイト翻訳されたバイトコード(0×22 0xa0、0×50、0×03)

   ; Translated bytecode for END-MESSAGE (0, 0, 0, 0, 0, 0, 0)
   ; The zeros do not need to be sent because UDVM is initialised to 0
   byte (0x23)

; END-MESSAGE(0、0、0、0、0、0、0)のためにバイトコードを翻訳します。 UDVMが0バイトに初期化されるので、ゼロは送られる必要はありません。(0×23)

   :end_saved
   :decompression_failure

:取っておかれた終わりの_: 減圧_失敗

   The outputs and cycle usages are:

出力とサイクル用法は以下の通りです。

   Message              Output                  Cycles
   1                    0x4f4b                  66
   2                    0x4f4b 31               7
   3                    0x4f4b 32               5
   4                    0x0000 32               5
   5                    None                    Decompression failure

メッセージOutputサイクルズ1 0x4f4b66 2 0x4f4b31 7 3 0x4f4b32 5 4 0×0000、32、5 5None Decompressionの故障

   First message: mnemonic code annotated above

最初のメッセージ: 上に注釈された簡略命令コード

   0xf804 6112 a0be 081e 2008 1e21 060a 0e23 be03 12a0 be08 a050 2008
   0xa050 a053 140a 2008 a050 a053 0c0a 1606 004f 4b31 1c01 a0b3 fc22
   0xa0a8 0323 0000 0da0 a8a0 ab06 0a4f 4b32 22a0 5003 2302

0xf804 6112a0be 081e2008 1e21 060a 0e23 be03 12a0 be08 a050 2008 0xa050 a053 140a2008a050 a053 0c0a1606 004f 4b31 1c01 a0b3 fc22 0xa0a8 0323 0000 0da0 a8a0 ab06 0a4f 4b32 22a0 5003 2302

   Second message: access and run last state saved by previous message -
   'ok1', INPUT-BYTES, OUTPUT, END-MESSAGE.

2番目のメッセージ: 前のメッセージによって節約された最後の状態を、アクセスして、経営してください--'ok1'、INPUT-BYTES、OUTPUT、END-MESSAGE。

   0xf905 b88c e72c 9103

0xf905 b88c e72c9103

   Third message: access and run state from save_area2 with 12 bytes of
   state identifier - 'ok2', INPUT-BYTES, OUTPUT, END-MESSAGE.

3番目のメッセージ: 12バイトの州の識別子でセーブ_area2から状態をアクセスして、経営してください--'ok2'、INPUT-BYTES、OUTPUT、END-MESSAGE。

   0xfb24 63cd ff5c f8c7 6df6 a289 ff

0xfb24 63cd ff5c f8c7 6df6 a289ff

   Fourth message: access and run state from save_area1.  The state is
   'ok2', INPUT-BYTES, OUTPUT, END-MESSAGE but the first two bytes
   should be overwritten when initialising UDVM memory.

4番目のメッセージ: セーブ_area1から状態をアクセスして、経営してください。 状態が'ok2'、INPUT-BYTESである、UDVMメモリを初期化するとき、OUTPUTにもかかわらず、END-MESSAGEにもかかわらず、最初の2バイトは上書きされるべきです。

Surtees & West               Informational                     [Page 52]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[52ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   0xf95b 4b43 d567 83

0xf95b 4b43 d567 83

   Fifth message: attempt to access state from save_area2 with fewer
   than 20 bytes of state identifier.

5番目のメッセージ: 状態にアクセスする試みは20バイト未満の州の識別子で_area2を取っておきます。

   0xf9de 8126 1199 1f

0xf9de8126 1199 1f

5.  Security Considerations

5. セキュリティ問題

   This document describes torture tests for the SigComp protocol RFC
   3320 [2].  Consequently, the security considerations for this
   document match those of SigComp.

このドキュメントはSigCompプロトコルRFC3320[2]のための耐久テストについて説明します。 その結果、このドキュメントのためのセキュリティ問題はSigCompのものに合っています。

   In addition, the torture tests include tests for a significant number
   of "boundary and error cases" for execution of the UDVM bytecode.
   Boundary and error problems are common vectors for security attacks,
   so ensuring that a UDVM implementation executes this set of torture
   tests correctly should contribute to the security of the
   implementation.

さらに、耐久テストはUDVMバイトコードの実行のための多くの「境界と誤り事件」のためのテストを含んでいます。 境界と誤り問題がセキュリティー攻撃のための一般的なベクトルであるので、UDVM実現がこのセットの耐久テストを実行するのを確実にするのが正しく実現のセキュリティに貢献するべきです。

6.  Acknowledgements

6. 承認

   Thanks to Richard Price and Pekka Pessi for test contributions and to
   Pekka Pessi and Cristian Constantin, who served as committed working
   group document reviewers.

テスト貢献のためのリチャードPriceとペッカPessiと、そして、ペッカPessiとクリスチャンコンスタンチンをありがとうございます。コンスタンチンは、遂行されたワーキンググループのドキュメント評論家として勤めました。

7.  Normative References

7. 引用規格

   [1]  Surtees, A. and M. West, "Signaling Compression (SigComp) Users'
        Guide", RFC 4464, May 2006.

[1] サーティーズ、A.、およびM.西洋(「シグナリング圧縮(SigComp)ユーザのガイド」、RFC4464)は2006がそうするかもしれません。

   [2]  Price, R., Bormann, C., Christoffersson, J., Hannu, H., Liu, Z.,
        and J. Rosenberg, "Signaling Compression (SigComp)", RFC 3320,
        January 2003.

[2] 価格、R.、ボルマン、C.、Christoffersson、J.、ハンヌ、H.、リュウ、Z.、およびJ.ローゼンバーグ、「シグナリング圧縮(SigComp)」、RFC3320(2003年1月)。

   [3]  Garcia-Martin, M., Bormann, C., Ott, J., Price, R., and A.B.
        Roach, "The Session Initiation Protocol (SIP) and Session
        Description Protocol (SDP) Static Dictionary for Signaling
        Compression (SigComp)", RFC 3485, February 2003.

[3] ガルシア-マーチン、M.、ボルマン、C.、オット、J.、価格、R.、およびA.B.ローチ、「セッション開始プロトコル(一口)とセッション記述はシグナリング圧縮(SigComp)のために(SDP)静的な辞書について議定書の中で述べます」、RFC3485、2003年2月。

   [4]  Roach, A.B., "A Negative Acknowledgement Mechanism for Signaling
        Compression", RFC 4077, May 2005.

[4] ローチ(A.B.、「シグナリング圧縮のための否定的承認メカニズム」、RFC4077)は2005がそうするかもしれません。

Surtees & West               Informational                     [Page 53]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[53ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

Appendix A.  UDVM Bytecode for the Torture Tests

耐久テストのための付録A.UDVMバイトコード

   The following sections list the raw UDVM bytecode generated for each
   test.  The bytecode is presented in the form of a complete SigComp
   message, including the appropriate header.  It is followed by input
   messages, the output they produce, and where the decompression
   succeeds the number of cycles used.

以下のセクションは各テスト単位で発生する生のUDVMバイトコードを記載します。 バイトコードは適切なヘッダーを含む完全なSigCompメッセージの形に提示されます。 入力メッセージ、起こして、減圧が成功する繰返し数が使用した出力はそれのあとに続いています。

   In some cases, the test is designed to be run several times with
   different compressed messages appended to the code.  In the cases
   where multiple whole messages are used for a test, e.g.,
   Appendix A.2.3, these are supplied.  In the case where decompression
   failure occurs, the high-level reason for it is given as a reason
   code defined in NACK [4].

いくつかの場合、テストは、何度か異なった圧縮されたメッセージをコードに追加していて走るように設計されています。 複数の全体のメッセージがテスト、例えば、Appendix A.2.3に使用される場合では、これらを供給します。 減圧失敗が起こる場合では、それのハイレベルの理由はナック[4]で定義された理由コードとしてあげられます。

   Note that the different assemblers can output different bytecode for
   the same piece of assembly code, so a valid assembler can produce
   results different from those presented below.  However, the following
   bytecode should always generate the same results on any UDVM.

有効なアセンブラが以下に提示されたものと異なった結果を生むことができるように、異なったアセンブラが同じアセンブリコードのために異なったバイトコードを出力できることに注意してください。 しかしながら、以下のバイトコードはどんなUDVMでも同じ結果をいつも発生させるべきです。

A.1.  Instructions

A.1。 指示

A.1.1.  Bit Manipulation

A.1.1。 噛み付いている操作

   0xf80a 7116 a07f 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x01c0 00ff 8055 5502 202a 0321 0420 0305 21ff 2286 0401 20c0 ff02
   0x2060 0320 0421 6005 2061 2286 0423

0xf80a7116a07f0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0×0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0×0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0×0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0×0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0x01c0 00ff8055 5502 202a 0321 0420 0305 21ff 2286 0401 20c0 ff02 0x2060 0320 0421 6005 2061 2286 0423

   Input: None
   Output: 0x0150 0000 febf 0000
   Cycles: 22

以下を入力してください。 なにも以下を出力しません。 0×0150 0000febf0000サイクルズ: 22

Surtees & West               Informational                     [Page 54]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[54ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

A.1.2.  Arithmetic

A.1.2。 演算

   0xf80a a11c 01a0 450b 0722 0116 a077 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x06c0 00ff 9941 0720 0108 20a3 e909 20a0 650a 200b 2286 0406 21c0
   0xff07 2162 0821 6109 2061 0a21 6222 8604 23

0xf80a a11c 01a0 450b0722 0116a077 0000 0000 0000 0000 0000 0000 0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0x06c0 00ff 9941 0720 0108 20a3 e909 20a0 650a200b 2286 0406 21c0 0xff07 2162 0821 6109 2061 0a21 6222 8604 23

   Input: 0x00
   Output: 0x0000 0000 0000 0004
   Cycles: 25

以下を入力してください。 0×00 出力: 0×0000 0000 0000 0004サイクルズ: 25

   Input: 0x01
   DECOMPRESSION-FAILURE           DIV_BY_ZERO

以下を入力してください。 0×01 _ゼロの減圧失敗DIV_

   Input: 0x02
   DECOMPRESSION-FAILURE           DIV_BY_ZERO

以下を入力してください。 0×02 _ゼロの減圧失敗DIV_

A.1.3.  Sorting

A.1.3。 ソーティング

   0xf80d c10c 8802 170b 8802 1722 a12e 2d23 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0a00 0a00 1100 0700 1600 0300 0300 0300 1300 0100 1000 0e00
   0x0800 0200 0d00 1400 1200 1700 0f00 1500 0c00 0600 096e 6720 6975
   0x6920 7469 742c 2079 6f75 2720 5346 6f6e 6761 2075 7272 646f 2074
   0x6f6e 2e2e 0070 6570 206e 7472 656e 69

0xf80d c10c8802 170b8802 1722a12e 2d23 0000 0000 0000 0000 0000 0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000; 0000 0000 0000 0000 0000 0000 0000 0000 0000 0×0000 0a00 0a00 1100 0700 1600 0300 0300 0300 1300 0100 1000 0e00 0×0800 0200 0d00 1400 1200 1700 0f00 1500 0c00 0600 096e6720 6975 0×6920 7469 742c2079 6f75 2720 5346 6f6e6761 2075 7272 646f2074 0x6f6e 2e2e0070 6570 206e7472 656e69

   Input: None
   Output: 0x466f 7264 2c20 796f 7527 7265 2074 7572 6e69 6e67
           0x2069 6e74 6f20 6120 7065 6e67 7569 6e2e 2053 746f
           0x7020 6974 2e
   Cycles: 371

以下を入力してください。 なにも以下を出力しません。 0x466f7264 2c20 796f7527 7265 2074 7572 6e69 6e67 0×2069 6e74 6f20 6120 7065 6e67 7569 6e2e2053 746f0x7020 6974 2eサイクルズ: 371

Surtees & West               Informational                     [Page 55]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[55ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

A.1.4.  SHA-1

A.1.4。 SHA-1

   0xf808 710d a0c3 03a0 4422 a044 140d a0c6 38a0 4422 a044 140e 86a0
   0xfe0e a042 a0ff 0da0 fe8e a044 22a0 4414 0e86 a0ff 0ea0 42a1 070d
   0xa0ff a280 a0ff 22a0 ff14 2300 0000 0000 0000 6162 6361 6263 6462
   0x6364 6563 6465 6664 6566 6765 6667 6866 6768 6967 6869 6a68 696a
   0x6b69 6a6b 6c6a 6b6c 6d6b 6c6d 6e6c 6d6e 6f6d 6e6f 706e 6f70 7161
   0x3031 3233 3435 3637

0xf808 710d a0c3 03a0 4422a044 140d a0c6 38a0 4422a044 140e 86a0 0xfe0e a042 a0ff 0da0 fe8e a044 22a0 4414 0e86 a0ff 0ea0 42a1 070d0xa0ff a280 a0ff 22a0 ff14 2300 0000 0000 0000 6162 6361 6263 6462 0×6364 6563 6465 6664 6566 6765 6667 6866 6768 6967 6869 6a68 696a 0x6b69 6a6b 6c6a 6b6c 6d6b6c6d 6e6c 6d6e 6f6d 6e6f 706e 6f70 7161 0x3031 3233 3435 3637

   Input: None
   Output: 0xa999 3e36 4706 816a ba3e 2571 7850 c26c 9cd0 d89d
           0x8498 3e44 1c3b d26e baae 4aa1 f951 29e5 e546 70f1
           0x12ff 347b 4f27 d69e 1f32 8e6f 4b55 73e3 666e 122f
           0x4f46 0452 ebb5 6393 4f46 0452 ebb5 6393 4f46 0452
   Cycles: 17176

以下を入力してください。 なにも以下を出力しません。 0xa999 3e36 4706 816a ba3e2571 7850c26c 9cd0 d89d0x8498 3e44 1c3b d26e baae 4aa1 f951 29e5 e546 70f1 0x12ff 347b4f27 d69e 1f32 8e6f 4b55 73e3 666e 122f 0x4f46 0452 ebb5 6393 4f46 0452 ebb5 6393 4f46 0452サイクルズ: 17176

A.1.5.  LOAD and MULTILOAD

A.1.5。 負荷とMULTILOAD

   0xf803 610e 87a0 840e a082 c080 0ec0 80a0 860e c084 c084 2287 081c
   0x01a0 4127 0820 0206 203c 0f60 03a0 a2a0 b187 0f60 042a 87c0 80c0
   0x8422 8708 23

0xf803 610e 87a0 840e a082 c080 0ec0 80a0 860e c084 c084 2287 081c 0x01a0 4127 0820 0206 203c 0f60 03a0 a2a0 b187 0f60 042a 87c0 80c0 0x8422 8708 23

   Input: 0x00
   Output: 0x0084 0084 0086 0086 002a 0080 002a 002a
   Cycles: 36

以下を入力してください。 0×00 出力: 0×0084 0084 0086 0086 002a0080 002a 002aサイクルズ: 36

   Input: 0x01
   DECOMPRESSION-FAILURE           MULTILOAD_OVERWRITTEN

以下を入力してください。 0×01 上書きされた減圧失敗MULTILOAD_

   Input: 0x02
   DECOMPRESSION-FAILURE           MULTILOAD_OVERWRITTEN

以下を入力してください。 0×02 上書きされた減圧失敗MULTILOAD_

A.1.6.  COPY

A.1.6。 コピー

   0xf803 910e 208e 0e86 860e a042 8712 2087 210e 8680 4100 1286 a055
   0xa041 2220 a077 0e86 200e a042 3015 2004 a041 0112 2004 3022 3004
   0x1230 042e 2220 0223

0xf803 910e 208e 0e86 860e a042 8712 2087 210e8680 4100 1286a055 0xa041 2220a077 0e86 200e a042 3015 2004a041 0112 2004 3022 3004 0×1230 042e2220 0223

   Input: None
   Output: 0x4040 4040 4040 4040 4040 4040 4040 4040 4040 4040
           0x4040 4040 4040 4040 4040 4040 4141 4141 4141 4141
           0x4141 4141 4141 4141 4141 4141 4141 4141 4141 4141
           0x4141 4141 4141 4141 4141 4141 4141 4141 4141 4141
           0x4141 4141 4141 4141 4141 4141 4141 4141 4141 4141
           0x4141 4141 4141 4141 4141 4141 4141 4141 4141 5541
           0x4243 4443 44
   Cycles: 365

以下を入力してください。 なにも以下を出力しません。 0×4040、4040 4040 4040 4040 4040 4040 4040 4040 4040、0×4040、4040 4040 4040 4040 4040 4141 4141 4141 4141、0×4141、4141 4141 4141 4141 4141 4141 4141 4141 4141、0×4141、4141 4141 4141 4141 4141 4141 4141 4141 4141、0×4141、4141 4141 4141 4141 4141 4141 4141 4141 4141、0×4141、4141 4141 4141 4141 4141 4141 4141 4141 5541、0×4243 4443 44は循環します: 365

Surtees & West               Informational                     [Page 56]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[56ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

A.1.7.  COPY-LITERAL and COPY-OFFSET

A.1.7。 コピー文字通りであってコピーはオフセットです。

   0xf806 110e 2080 4100 0e86 860e a042 870e a044 2113 2087 2222 8608
   0x0ea0 44a0 9c13 2002 2222 a09c 020e 86a0 480e a042 a052 0ea0 44a0
   0x5215 a048 0aa0 4101 1402 0622 0ea0 4606 1463 0422 2261 0a0e a044
   0xa050 1404 0422 22a0 4402 1405 0422 22a0 4402 2260 0a23

0xf806 110e2080 4100 0e86 860e a042 870e a044 2113 2087 2222 8608 0x0ea0 44a0 9c13 2002 2222 a09c 020e 86a0 480e a042 a052 0ea0 44a0 0×5215a048 0aa0 4101 1402 0622 0ea0 4606 1463 0422 2261 0a0e a044 0xa050 1404 0422 22a0 4402 1405 0422 22a0 4402 2260 0a23

   Input: None
   Output: 0x4141 4141 0061 4141 4141 494A 4142 4344 494A 4142
           0x004A 004E 4748 4845 4647 4748 4546
   Cycles: 216

以下を入力してください。 なにも以下を出力しません。 0×4141 4141 0061 4141 4141 494A4142 4344 494A4142 0x004A004E4748 4845 4647 4748 4546サイクルズ: 216

A.1.8.  MEMSET

A.1.8。 MEMSET

   0xf801 810e 8687 0ea0 42a0 8115 86a0 8100 0115 a081 0f86 0f22 8710
   0x23

0xf801 810e8687 0ea0 42a0 8115 86a0 8100 0115a081 0f86 0f22 8710 0x23

   Input: None
   Output: 0x8040 4f5e 6d7c 8b9a a9b8 c7d6 e5f4 0312
   Cycles: 166

以下を入力してください。 なにも以下を出力しません。 0×8040 4f5e 6d7c 8b9a a9b8 c7d6 e5f4 0312サイクルズ: 166

A.1.9.  CRC

A.1.9。 CRC

   0xf801 8115 a046 1801 0115 a05e 1487 011c 02a0 4413 1b62 a046 2c0e
   0x23

0xf801 8115a046 1801 0115a05e1487 011c 02a0 4413 1b62 a046 2c0e0x23

   Input: 0x62cb
   Output: None
   Cycles: 95

以下を入力してください。 0x62cb出力: なにも循環しません: 95

   Input: 0xabcd
   DECOMPRESSION FAILURE           USER_REQUESTED (CRC mismatch)

以下を入力してください。 _が要求した0xabcd減圧失敗ユーザ(CRCミスマッチ)

A.1.10.  INPUT-BITS

A.1.10。 入力ビット

   0xf801 511d 62a0 4614 22a0 4602 0622 010a 2207 0622 0116 ee23

0xf801 511d 62a0 4614 22a0 4602 0622 010a2207 0622 0116ee23

   Input: 0x932e ac71
   Output: 0x0000 0002 0002 0013 0000 0003 001a 0038
   Cycles: 66

以下を入力してください。 0x932e ac71 Output: 0×0000 0002 0002 0013 0000 0003 001a0038サイクルズ: 66

Surtees & West               Informational                     [Page 57]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[57ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

A.1.11.  INPUT-HUFFMAN

A.1.11。 ハフマンは入力されます。

   0xf801 d11e a046 1c02 6200 6262 6200 ff00 22a0 4602 0622 010a 2207
   0x0622 0116 e623

0xf801 d11e a046 1c02 6200 6262 6200 ff00 22a0 4602 0622 010a2207 0×0622、0116e623

   Input: 0x932e ac71 66d8 6f
   Output: 0x0000 0003 0008 04d7 0002 0003 0399 30fe
   Cycles: 84

以下を入力してください。 0x932e ac71 66d8 6f Output: 0×0000 0003 0008 04d7 0002 0003 0399 30feサイクルズ: 84

A.1.12.  INPUT-BYTES

A.1.12。 入力バイト

   0xf802 710e 86a0 480e a042 a04c 1d62 a046 1d22 a046 0206 2202 0a22
   0x071c 62a0 480e 22a0 4862 0622 0116 e523

0xf802 710e 86a0 480e a042 a04c 1d62 a046 1d22 a046 0206 2202 0a22 0x071c 62a0 480e 22a0 4862 0622 0116e523

   Input: 0x932e ac71 66d8 6fb1 592b dc9a 9734 d847 a733 874e
         0x1bcb cd51 b5dc 9659 9d6a
   Output: 0x0000 932e 0001 b166 d86f b100 1a2b 0003 9a97 34d8
          0x0007 0001 3387 4e00 08dc 9651 b5dc 9600 599d 6a
   Cycles: 130

以下を入力してください。 0x932e ac71 66d8 6fb1 592b dc9a9734d847 a733 874e 0x1bcb cd51 b5dc9659 9d6a Output: 0×0000 932e0001b166 d86f b100 1a2b0003 9a97 34d8 0×0007 0001 3387 4e00 08dc9651b5dc9600 599d 6aサイクルズ: 130

A.1.13.  Stack Manipulation

A.1.13。 スタック操作

   0xf814 110e a046 8610 0210 6010 a042 2286 0811 8611 6311 a046 2286
   0x0816 2800 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 000e a046 200e a048 a140 0724
   0x8818 3400 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0018 6400 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 000e a046 a17f 0ea1 7f1a 0fa1 b003
   0x0180 c001 8f19 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0023

0xf814 110e a046 8610 0210 6010a042 2286 0811 8611 6311a046 2286 0×0816 2800 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0×0000 0000 0000 0000 0000 0000 0000 000e a046 200e a048 a140 0724 0×8818、3400 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0018、6400 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000; 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0×0000 0000 0000 0000 0000 0000 000e a046 a17f 0ea1 7f1a 0fa1 b003 0×0180c001 8f19 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0023

   Input: None
   Output: 0x0003 0002 0001 0042 0042 0000 0001 0001
   Cycles: 40

以下を入力してください。 なにも以下を出力しません。 0×0003 0002 0001 0042 0042 0000 0001 0001サイクルズ: 40

Surtees & West               Informational                     [Page 58]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[58ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

A.1.14.  Program Flow

A.1.14。 プログラム流動

   0xf803 f10e a044 040e 86a0 9207 20a0 9022 a043 0116 6006 2101 0e86
   0xa084 0720 a0a1 22a0 4301 1761 0660 f106 0722 010e 86a0 8407 20a0
   0xb622 a043 011a 0462 0860 9fdc f123

0xf803 f10e a044 040e 86a0 9207 20a0 9022a043 0116 6006 2101 0e86 0xa084 0720a0a1 22a0 4301 1761 0660f106 0722 010e 86a0 8407 20a0 0xb622 a043 011a0462 0860 9fdc f123

   Input: None
   Output: 0x0001 0102 0203 0304 0405 0506 0707 0708 0808 0909
   Cycles: 131

以下を入力してください。 なにも以下を出力しません。 0×0001 0102 0203 0304 0405 0506 0707 0708 0808 0909サイクルズ: 131

A.1.15.  State Creation

A.1.15。 州の創造

   0xf809 411c 01a0 45ff 0422 0b17 628f 0d06 0620 0aa1 0a00 1400 0422
   0x0117 628f 0c06 0620 0a88 0014 0004 2201 1762 8f16 0606 1c01 a047
   0x9fd2 21a0 4863 12a0 e363 a048 0422 0117 628f 0a06 0621 a0e3 0604
   0x2201 1762 8f0e 0606 2300 000a 8800 1400 2300 0000 0000 0000 437a
   0xe80a 0fdc 1e6a 87c1 b62a 7676 b973 318c 0ef5 0000 0000 0000 0000
   0x00c0 cc3f ee79 bcfc 8fd1 0865 e803 52ee 2977 17df 57

0xf809 411c 01a0 45ff0422 0b17 628f 0d06 0620 0aa1 0a00 1400 0422 0×0117 628f 0c06 0620 0a88 0014 0004 2201 1762 8f16 0606 1c01a047 0x9fd2 21a0 4863 12a0 e363 a048 0422 0117 628f 0a06 0621 a0e3 0604 0×2201 1762 8f0e0606 2300 000a8800 1400 2300 0000 0000 0000 437a 0xe80a 0fdc 1e6a 87c1 b62a7676b973 318c 0ef5 0000 0000 0000 0000 0x00c0 cc3f ee79 bcfc 8fd1 0865e803 52ee 2977 17df57

   Input: 0x01
   Output: None
   Cycles: 23

以下を入力してください。 0×01 出力: なにも循環しません: 23

   Input: 0x02
   Output: None
   Cycles: 14

以下を入力してください。 0×02 出力: なにも循環しません: 14

   Input: 0x03
   Output: None
   Cycles: 24

以下を入力してください。 0×03 出力: なにも循環しません: 24

   Input: 0x0405
   DECOMPRESSION-FAILURE           INVALID_STATE_ID_LENGTH

以下を入力してください。 0×0405 減圧失敗の無効の_州の_のID_長さ

   Input: 0x0415
   DECOMPRESSION-FAILURE           INVALID_STATE_ID_LENGTH

以下を入力してください。 0×0415 減圧失敗の無効の_州の_のID_長さ

   Input: 0x0406
   Output: None
   Cycles: 23

以下を入力してください。 0×0406 出力: なにも循環しません: 23

   Input: 0x09
   Output: None
   Cycles: 34

以下を入力してください。 0×09 出力: なにも循環しません: 34

   Input: 0x1e06
   Output: None
   Cycles: 46

以下を入力してください。 0x1e06出力: なにも循環しません: 46

Surtees & West               Informational                     [Page 59]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[59ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   Input: 0x1e07
   Output: None
   Cycles: 47

以下を入力してください。 0x1e07出力: なにも循環しません: 47

   Input: 0x1e14
   Output: None
   Cycles: 60

以下を入力してください。 0x1e14出力: なにも循環しません: 60

A.1.16.  STATE-ACCESS

A.1.16。 州アクセス

   Set up bytecode:
   0xf819 0123 0000 1089 0014 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0022 a20c
   0x0423 0000 0000 0000 0074 6573 74

バイトコードをセットアップしてください: 0xf819 0123 0000 1089 0014 0000 0000 0000 0000 0000 0000 0000 0000 0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000; 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000; 0000 0000 0000 0000 0000 0000 0000 0×0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0×0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0×0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0022a20c0x0423 0000 0000 0000 0074 6573 74

   Input: None

以下を入力してください。 なし

   0xf819 411c 01a0 45ff 1762 0106 0d1c 1f89 1400 0000 891f 8914 0c04
   0xa046 0022 a046 0416 a146 1762 0306 101b 1f87 1400 0000 0016 a136
   0x1f89 1306 04a0 4600 16a1 2b1f 8914 0c05 a046 0016 a120 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0023 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 005d f8bc
   0x3e20 93b5 abe1 f170 1342 4ce7 fe05 e069 39

0xf819 411c 01a0 45ff1762 0106 0d1c 1f89 1400 0000 891f8914 0c04 0xa046 0022a046 0416a146 1762 0306 101b 1f87 1400 0000 0016 a136 0x1f89 1306 04a0 4600 16a1 2b1f8914 0c05 a046 0016a120 0000 0000 0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000; 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0023 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 005d f8bc 0x3e20 93b5 abe1f170 1342 4ce7 fe05 e069 39

Surtees & West               Informational                     [Page 60]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[60ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   Input: 0x00
   Output: 0x7465 7374
   Cycles: 26

以下を入力してください。 0×00 出力: 0×7465 7374年のサイクルズ: 26

   Input: 0x01
   Output: 0x7465 7374
   Cycles: 15

以下を入力してください。 0×01 出力: 0×7465 7374年のサイクルズ: 15

   Input: 0x02
   DECOMPRESSION-FAILURE           STATE_NOT_FOUND

以下を入力してください。 0×02 どんな_も見つけなかった減圧失敗州の_

   Input: 0x03
   DECOMPRESSION-FAILURE           STATE_NOT_FOUND (len < min_acc_len)

以下を入力してください。 0×03 どんな_も見つけなかった減圧失敗州の_(len<分_acc_len)

   Input: 0x04
   DECOMPRESSION-FAILURE           STATE_TOO_SHORT

以下を入力してください。 0×04減圧失敗州の_も_短いです。

A.2.  Dispatcher Tests

A.2。 発送者テスト

A.2.1.  Useful Values

A.2.1。 役に立つ値

   0xf805 f10e 8620 0ea0 4221 1c01 a047 f817 4263 f306 f317 4300 ed06
   0x0c17 4400 e73f e717 44a3 c0e1 07e1 1c01 a047 9fda 0623 4007 2301
   0x1220 0163 1c01 a049 9fca 0ea0 4443 0622 0308 2208 0622 a3e8 0822
   0x4106 2264 0722 a358 1220 6220 2300 00a3 c086 8706

0xf805 f10e8620 0ea0 4221 1c01 a047 f817 4263f306 f317 4300ed06 0x0c17 4400 e73f e717 44a3 c0e1 07e1 1c01 a047 9fda0623 4007 2301 0×1220 0163 1c01 a049 9fca 0ea0 4443 0622 0308 2208 0622a3e8 0822 0×4106 2264 0722a358 1220 6220 2300 00a3 c086 8706

   Input: 1 byte of SigComp version
   Output: None
   Cycles: 968

以下を入力してください。 1バイトのSigCompバージョンOutput: なにも循環しません: 968

   0xf93a db1d 3d20 aa

0xf93a db1d 3d20 aa

   Input: 1 byte of SigComp version then 0x0000
   Output: None
   Cycles: cycles_per_bit * 1080

以下を入力してください。 そして1バイトのSigCompバージョン、0×0000Output: なにも循環しません: _ビット*1080あたりの_を循環させます。

   Input: 1 byte of SigComp version then 0x0001
   DECOMPRESSION-FAILURE           CYCLES_EXHAUSTED

以下を入力してください。 1バイトのSigCompのバージョンの当時の0×0001DECOMPRESSION-FAILURE CYCLES_、EXHAUSTED

   Input: 1 byte of SigComp version then 0x0100
   DECOMPRESSION-FAILURE           SEGFAULT

以下を入力してください。 そして1バイトのSigCompバージョン、0×0100DECOMPRESSION-FAILURE SEGFAULT

Surtees & West               Informational                     [Page 61]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[61ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

A.2.2.  Cycles Checking

A.2.2。 サイクルズの照合

   0xf801 a10f 8604 2029 0022 12a0 4402 6014 02a0 6423 22a0 4402 0622
   0x0116 ef

0xf801 a10f 8604 2029 0022 12a0 4402 6014 02a0 6423 22a0 4402 0622 0×0116ef

   Input: None
   DECOMPRESSION-FAILURE           CYCLES_EXHAUSTED

以下を入力してください。 減圧失敗サイクルズ_でくたくたになっていないなにも

A.2.3.  Message-based Transport

A.2.3。 メッセージベースの輸送

   0xf8

0xf8

   Input: None
   DECOMPRESSION-FAILURE           MESSAGE_TOO_SHORT

以下を入力してください。 なにもに、減圧失敗は__あまりに簡潔に通信します。

   0xf800

0xf800

   Input: None
   DECOMPRESSION-FAILURE           MESSAGE_TOO_SHORT

以下を入力してください。 なにもに、減圧失敗は__あまりに簡潔に通信します。

   0xf800 e106 0011 2200 0223 0000 0000 0000 01

0xf800 e106 0011 2200 0223 0000 0000 0000 01

   Input: None
   Output: decompression_memory_size
   Cycles: 5

以下を入力してください。 なにも以下を出力しません。 減圧_メモリ_サイズサイクルズ: 5

   0xf800 f106 0011 2200 0223 0000 0000 0000 01

0xf800 f106 0011 2200 0223 0000 0000 0000 01

   Input: None
   DECOMPRESSION-FAILURE           MESSAGE_TOO_SHORT

以下を入力してください。 なにもに、減圧失敗は__あまりに簡潔に通信します。

   0xf800 e006 0011 2200 0223 0000 0000 0000 01

0xf800 e006 0011 2200 0223 0000 0000 0000 01

   Input: None
   DECOMPRESSION-FAILURE           INVALID_CODE_LOCATION

以下を入力してください。 なにもに、減圧失敗の無効の_は_位置をコード化します。

   0xf800 ee06 0011 2200 0223 0000 0000 0000 01

0xf800 ee06 0011 2200 0223 0000 0000 0000 01

   Input: None
   Output: decompression_memory_size
   Cycles: 5

以下を入力してください。 なにも以下を出力しません。 減圧_メモリ_サイズサイクルズ: 5

A.2.4.  Stream-based Transport

A.2.4。 流れのベースの輸送

   0xffff f801 7108 0002 2200 0222 a092 0523 0000 0000 0000 00ff 00ff
   0x03ff ffff ffff ffff f801 7e08 0002 2200 0222 a3d2 0523 0000 0000
   0x0000 00ff 04ff ffff ffff ffff ffff ff

0xffff f801 7108 0002 2200 0222a092 0523 0000 0000 0000 00ff 00ff0x03ff ffff ffff ffff f801 7e08 0002 2200 0222 a3d2 0523 0000 0000 0×0000 00ff 04ff ffff ffff ffff ffff ff

Surtees & West               Informational                     [Page 62]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[62ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   The above stream contains two messages:

上の流れは2つのメッセージを含んでいます:

   Output: decompression_memory_size
   Cycles: 11

出力: 減圧_メモリ_サイズサイクルズ: 11

   Output: decompression_memory_size
   Cycles: 11

出力: 減圧_メモリ_サイズサイクルズ: 11

   0xf8ff ff

0xf8ff ff

   Input: None
   DECOMPRESSION-FAILURE           MESSAGE_TOO_SHORT

以下を入力してください。 なにもに、減圧失敗は__あまりに簡潔に通信します。

   0xf800 ffff

0xf800 ffff

   Input: None
   DECOMPRESSION-FAILURE           MESSAGE_TOO_SHORT

以下を入力してください。 なにもに、減圧失敗は__あまりに簡潔に通信します。

   0xf801 8108 0002 2200 0222 a092 0523 ffff 0000 0000 0000 00ff 00ff
   0x03ff ffff

0xf801 8108 0002 2200 0222a092 0523ffff 0000 0000 0000 00ff 00ff 0x03ff ffff

   Input: None
   DECOMPRESSION-FAILURE           MESSAGE_TOO_SHORT

以下を入力してください。 なにもに、減圧失敗は__あまりに簡潔に通信します。

   0xf801 7008 0002 2200 0222 a092 0523 ffff 0000 0000 0000 00ff 04ff
   0xffff ff

0xf801 7008 0002 2200 0222a092 0523ffff 0000 0000 0000 00ff 04ff 0xffff ff

   Input: None
   DECOMPRESSION-FAILURE           INVALID_CODE_LOCATION

以下を入力してください。 なにもに、減圧失敗の無効の_は_位置をコード化します。

A.2.5.  Input Past the End of a Message

A.2.5。 メッセージの終わりを過ぎて入力されます。

   0xf803 210e 86a0 460e a042 a04d 1d09 a046 0a1c 07a0 4606 001d 07a0
   0x46ff 1c02 a046 fa22 a046 021d 10a0 4606 001d 08a0 46ff 22a0 4701
   0x23

0xf803 210e 86a0 460e a042 a04d 1d09 a046 0a1c 07a0 4606 001d 07a0 0x46ff 1c02 a046 fa22 a046 021d 10a0 4606 001d 08a0 46ff 22a0 4701 0×23

   Input: 0xfffa 0068 6921
   Output: 0x6869 21
   Cycles: 23

以下を入力してください。 0xfffa0068 6921出力: 0×6869 21サイクルズ: 23

   Input: 0xfffa 0068 69
   DECOMPRESSION-FAILURE           USER_REQUESTED  (not enough bits)

以下を入力してください。 _が要求した0xfffa0068 69減圧失敗ユーザ(十分なビットでない)

Surtees & West               Informational                     [Page 63]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[63ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

A.3.  State Handler Tests

A.3。 州の操作者テスト

A.3.1.  SigComp Feedback Mechanism

A.3.1。 SigCompフィードバック・メカニズム

   0xf805 031c 01a0 41a0 5517 6001 070e a04f 0ea0 42a4 7f16 0e0e a042
   0xa4ff 15a0 44a0 7f01 010e a0c3 a801 0ea0 c5a6 000e a0cc ac00 0ea0
   0xd9b4 000e a0ee b500 15a0 c606 0001 15a0 cd0c 0001 15a0 da14 0001
   0x23a0 42a0 c3

0xf805 031c 01a0 41a0 5517 6001 070e a04f 0ea0 42a4 7f16 0e0e a042 0xa4ff 15a0 44a0 7f01 010e a0c3 a801 0ea0 c5a6 000e a0cc ac00 0ea0 0xd9b4 000e a0ee b500 15a0 c606 0001 15a0 cd0c 0001 15a0 da14 0001 0x23a0 42a0 c3

   Input: 0x00
   Output: None
   Cycles: 52

以下を入力してください。 0×00 出力: なにも循環しません: 52

   Input: 0x01
   Output: None
   Cycles: 179

以下を入力してください。 0×01 出力: なにも循環しません: 179

A.3.2.  State Memory Management

A.3.2。 州のメモリ管理

   0xf81b a10f 8602 89a2 041c 01a0 47f9 1763 0508 a068 a070 1763 0307
   0x34a0 5608 2306 0623 a204 0ea0 4463 0623 0612 6202 a04a 1762 6308
   0xa058 9fd2 0ea0 4865 0824 8820 6489 0006 6506 2202 16e3 1fa2 1606
   0x0000 0000 1fa2 1c06 0000 0000 1fa2 2206 0000 0000 1fa2 2e06 0000
   0x0000 161e 1fa2 2806 0000 0000 1614 208b 8900 0600 160c 1fa2 3406
   0x0000 0000 1602 2300 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0074 6573
   0x7400 0000 0100 0200 0300 0400 0300 0200 0100 008e ea4b 43a7 87f9
   0x010e ef56 7b23 9a34 6b15 a6b4 0fc0 e44d 2cd4 a221 47e6 0aef f2bc
   0x0fb6 af

0xf81b a10f 8602 89a2 041c 01a0 47f9 1763 0508a068 a070 1763 0307 0x34a0 5608 2306 0623a204 0ea0 4463 0623 0612 6202a04a1762 6308 0xa058 9fd2 0ea0 4865 0824 8820 6489 0006 6506 2202 16e3 1fa2 1606 0×0000 0000 1fa2 1c06 0000 0000 1fa2 2206 0000 0000 1fa2 2e06 0000 0x0000 161e 1fa2 2806 0000 0000 1614 208b8900 0600 160c 1fa2 3406 0×0000、0000 1602 2300 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000; 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0074 6573、0×7400、0000 01000200 0300 0400 0300 0200 0100 008e ea4b 43a7 87f9 0x010e ef56 7b23 9a34 6b15a6b4 0fc0 e44d 2cd4 a221 47e6 0aef f2bc 0x0fb6 af

   Input: 0x00
   Output: None
   Cycles: 811

以下を入力してください。 0×00 出力: なにも循環しません: 811

   Input: 0x01
   Output: None
   Cycles: 2603

以下を入力してください。 0×01 出力: なにも循環しません: 2603

Surtees & West               Informational                     [Page 64]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[64ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   Input: 0x02
   Output: None
   Cycles: 811

以下を入力してください。 0×02 出力: なにも循環しません: 811

   Input: 0x03
   Output: None
   Cycles: 1805

以下を入力してください。 0×03 出力: なにも循環しません: 1805

   Input: 0x04
   DECOMPRESSION-FAILURE           STATE_NOT_FOUND

以下を入力してください。 0×04 どんな_も見つけなかった減圧失敗州の_

   Input: 0x05
   Output: None
   Cycles: 2057

以下を入力してください。 0×05 出力: なにも循環しません: 2057

   Input: 0x06
   Output: None
   Cycles: 1993

以下を入力してください。 0×06 出力: なにも循環しません: 1993

A.3.3.  Multiple Compartments

A.3.3。 複数のコンパートメント

   0xf81b 110f 8602 89a2 071c 01a0 45f9 1762 030d 3d06 1762 0537 86a0
   0x6806 2289 20a1 c062 0006 0006 2203 20a1 c062 0006 0007 22a2 020a
   0x2203 0622 a203 20a1 c062 0006 0020 a1c0 a206 0006 6216 2b20 a7c0
   0x2000 0600 1622 1fa2 1306 0000 0000 1fa2 1906 0000 0000 1fa2 2506
   0x0000 0000 1fa2 2b06 0000 0000 2300 0000 0000 0000 1762 0706 101a
   0x1fa2 0706 0000 0000 16ea 1fa2 0d06 0000 0000 16e0 1fa2 1f06 0000
   0x0000 169f d600 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
   0x0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0102
   0x0304 0506 aca6 0b8e b283 9dbf afc6 3dd2 34c5 d91d 5361 bdd6 ba2a
   0xc65a 47c2 1814 ee07 c275 941d d7a1 4887 9c8d e90e

0xf81b 110f 8602 89a2 071c 01a0 45f9 1762 030d 3d06 1762 0537 86a0 0×6806 2289 20a1 c062 0006 0006 2203 20a1 c062 0006 0007 22a2 020a0×2203 0622a203 20a1 c062 0006 0020a1c0 a206 0006 6216 2b20 a7c0 0×2000 0600 1622 1fa2 1306 0000 0000 1fa2 1906 0000 0000 1fa2 2506 0×0000 0000 1fa2 2b06 0000 0000 2300 0000 0000 0000 1762 0706 101a0x1fa2 0706 0000 0000 16ea 1fa2 0d06 0000 0000 16e0 1fa2 1f06 0000 0×0000 169f d600 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0×0000、0000 0000 0000 0000 0000 0000 0000; 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000、0×0000、0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0102、0×0304、0506aca60b8e b283 9dbf afc6 3dd2 34c5 d91d5361bdd6 ba2a 0xc65a 47c2 1814ee07 c275 941d d7a1 4887 9c8d e90e

   Input: 0x00
   Output: None
   Cycles: 1809

以下を入力してください。 0×00 出力: なにも循環しません: 1809

   Input: 0x01
   Output: None
   Cycles: 1809

以下を入力してください。 0×01 出力: なにも循環しません: 1809

Surtees & West               Informational                     [Page 65]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[65ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   Input: 0x02
   Output: None
   Cycles: 1809

以下を入力してください。 0×02 出力: なにも循環しません: 1809

   Input: 0x03
   Output: None
   Cycles: 1993

以下を入力してください。 0×03 出力: なにも循環しません: 1993

   Input: 0x04
   Output: None
   Cycles: 1994

以下を入力してください。 0×04 出力: なにも循環しません: 1994

   Input: 0x05
   Output: None
   Cycles: 1804

以下を入力してください。 0×05 出力: なにも循環しません: 1804

   Input: 0x06
   DECOMPRESSION-FAILURE           STATE_NOT_FOUND

以下を入力してください。 0×06 どんな_も見つけなかった減圧失敗州の_

   Input: 0x07
   DECOMPRESSION-FAILURE           STATE_NOT_FOUND

以下を入力してください。 0×07 どんな_も見つけなかった減圧失敗州の_

   Input: 0x08
   DECOMPRESSION-FAILURE           STATE_NOT_FOUND

以下を入力してください。 0×08 どんな_も見つけなかった減圧失敗州の_

A.3.4.  Accessing RFC 3485 State

A.3.4。 RFC3485状態にアクセスします。

   0xf803 a11f a0a6 14ac fe01 2000 1fa0 a606 acff 0121 001f a0a6 0cad
   0x0001 2200 2220 0323 0000 0000 0000 00fb e507 dfe5 e6aa 5af2 abb9
   0x14ce aa05 f99c e61b a5

0xf803 a11f a0a6 14ac fe01 2000 1fa0 a606 acff0121 001f a0a6 0cad0x0001 2200 2220 0323 0000 0000 0000 00fb e507dfe5 e6aa 5af2 abb9 0x14ce aa05 f99c e61b a5

   Input: None
   Output: 0x5349 50
   Cycles: 11

以下を入力してください。 なにも以下を出力しません。 0×5349 50サイクルズ: 11

A.3.5.  Bytecode State Creation

A.3.5。 バイトコード州の創造

   0xf804 6112 a0be 081e 2008 1e21 060a 0e23 be03 12a0 be08 a050 2008
   0xa050 a053 140a 2008 a050 a053 0c0a 1606 004f 4b31 1c01 a0b3 fc22
   0xa0a8 0323 0000 0da0 a8a0 ab06 0a4f 4b32 22a0 5003 2302

0xf804 6112a0be 081e2008 1e21 060a 0e23 be03 12a0 be08 a050 2008 0xa050 a053 140a2008a050 a053 0c0a1606 004f 4b31 1c01 a0b3 fc22 0xa0a8 0323 0000 0da0 a8a0 ab06 0a4f 4b32 22a0 5003 2302

   Input: None
   Output: 0x4f4b
   Cycles: 66

以下を入力してください。 なにも以下を出力しません。 0x4f4bサイクルズ: 66

   0xf905 b88c e72c 9103

0xf905 b88c e72c9103

Surtees & West               Informational                     [Page 66]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[66ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

   Input: None
   Output: 0x4f4b 31
   Cycles: 7

以下を入力してください。 なにも以下を出力しません。 0x4f4b31サイクルズ: 7

   0xfb24 63cd ff5c f8c7 6df6 a289 ff

0xfb24 63cd ff5c f8c7 6df6 a289ff

   Input: None
   Output: 0x4f4b 32
   Cycles: 5

以下を入力してください。 なにも以下を出力しません。 0x4f4b32サイクルズ: 5

   0xf95b 4b43 d567 83

0xf95b 4b43 d567 83

   Input: None
   Output: 0x0000 32
   Cycles: 5

以下を入力してください。 なにも以下を出力しません。 0×0000 32サイクルズ: 5

   0xf9de 8126 1199 1f

0xf9de8126 1199 1f

   Input: None
   DECOMPRESSION-FAILURE           STATE_NOT_FOUND

以下を入力してください。 _ではなく、減圧失敗州の_が見つけなかったなにも

Authors' Addresses

作者のアドレス

   Abigail Surtees
   Siemens/Roke Manor Research
   Roke Manor Research Ltd.
   Romsey, Hants  SO51 0ZN
   UK

アビゲールサーティーズシーメンス/Roke Manor Research Roke荘園研究株式会社ロムジー、Hants SO51 0ZNイギリス

   Phone: +44 (0)1794 833131
   EMail: abigail.surtees@roke.co.uk
   URI:   http://www.roke.co.uk

以下に電話をしてください。 +44 (0) 1794 833131はメールされます: abigail.surtees@roke.co.uk ユリ: http://www.roke.co.uk

   Mark A. West
   Siemens/Roke Manor Research
   Roke Manor Research Ltd.
   Romsey, Hants  SO51 0ZN
   UK

マーク・A.の西シーメンス/Roke Manor Research Roke荘園研究株式会社ロムジー、Hants SO51 0ZNイギリス

   Phone: +44 (0)1794 833311
   EMail: mark.a.west@roke.co.uk
   URI:   http://www.roke.co.uk

以下に電話をしてください。 +44 (0) 1794 833311はメールされます: mark.a.west@roke.co.uk ユリ: http://www.roke.co.uk

Surtees & West               Informational                     [Page 67]

RFC 4465                 SigComp Torture Tests                 June 2006

サーティーズと西情報[67ページ]のRFC4465SigComp拷問は2006年6月にテストされます。

Full Copyright Statement

完全な著作権宣言文

   Copyright (C) The Internet Society (2006).

Copyright(C)インターネット協会(2006)。

   This document is subject to the rights, licenses and restrictions
   contained in BCP 78, and except as set forth therein, the authors
   retain all their rights.

このドキュメントはBCP78に含まれた権利、ライセンス、および制限を受けることがあります、そして、そこに詳しく説明されるのを除いて、作者は彼らのすべての権利を保有します。

   This document and the information contained herein are provided on an
   "AS IS" basis and THE CONTRIBUTOR, THE ORGANIZATION HE/SHE REPRESENTS
   OR IS SPONSORED BY (IF ANY), THE INTERNET SOCIETY AND THE INTERNET
   ENGINEERING TASK FORCE DISCLAIM ALL WARRANTIES, EXPRESS OR IMPLIED,
   INCLUDING BUT NOT LIMITED TO ANY WARRANTY THAT THE USE OF THE
   INFORMATION HEREIN WILL NOT INFRINGE ANY RIGHTS OR ANY IMPLIED
   WARRANTIES OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE.

このドキュメントと「そのままで」という基礎と貢献者、その人が代表する組織で提供するか、または後援されて、インターネット協会とインターネット・エンジニアリング・タスク・フォースはすべての保証を放棄します、と急行ORが含意したということであり、他を含んでいて、ここに含まれて、情報の使用がここに侵害しないどんな保証も少しもまっすぐになるという情報か市場性か特定目的への適合性のどんな黙示的な保証。

Intellectual Property

知的所有権

   The IETF takes no position regarding the validity or scope of any
   Intellectual Property Rights or other rights that might be claimed to
   pertain to the implementation or use of the technology described in
   this document or the extent to which any license under such rights
   might or might not be available; nor does it represent that it has
   made any independent effort to identify any such rights.  Information
   on the procedures with respect to rights in RFC documents can be
   found in BCP 78 and BCP 79.

IETFはどんなIntellectual Property Rightsの正当性か範囲、実現に関係すると主張されるかもしれない他の権利、本書では説明された技術の使用またはそのような権利の下におけるどんなライセンスも利用可能であるかもしれない、または利用可能でないかもしれない範囲に関しても立場を全く取りません。 または、それはそれを表しません。どんなそのような権利も特定するためのどんな独立している努力もしました。 BCP78とBCP79でRFCドキュメントの権利に関する手順に関する情報を見つけることができます。

   Copies of IPR disclosures made to the IETF Secretariat and any
   assurances of licenses to be made available, or the result of an
   attempt made to obtain a general license or permission for the use of
   such proprietary rights by implementers or users of this
   specification can be obtained from the IETF on-line IPR repository at
   http://www.ietf.org/ipr.

IPR公開のコピーが利用可能に作られるべきライセンスの保証、または一般的な免許を取得するのが作られた試みの結果をIETF事務局といずれにもしたか、または http://www.ietf.org/ipr のIETFのオンラインIPR倉庫からこの仕様のimplementersかユーザによるそのような所有権の使用のために許可を得ることができます。

   The IETF invites any interested party to bring to its attention any
   copyrights, patents or patent applications, or other proprietary
   rights that may cover technology that may be required to implement
   this standard.  Please address the information to the IETF at
   ietf-ipr@ietf.org.

IETFはこの規格を実行するのに必要であるかもしれない技術をカバーするかもしれないどんな著作権もその注目していただくどんな利害関係者、特許、特許出願、または他の所有権も招待します。 ietf-ipr@ietf.org のIETFに情報を記述してください。

Acknowledgement

承認

   Funding for the RFC Editor function is provided by the IETF
   Administrative Support Activity (IASA).

RFC Editor機能のための基金はIETF Administrative Support Activity(IASA)によって提供されます。

Surtees & West               Informational                     [Page 68]

サーティーズと西洋情報です。[68ページ]

一覧

 RFC 1〜100  RFC 1401〜1500  RFC 2801〜2900  RFC 4201〜4300 
 RFC 101〜200  RFC 1501〜1600  RFC 2901〜3000  RFC 4301〜4400 
 RFC 201〜300  RFC 1601〜1700  RFC 3001〜3100  RFC 4401〜4500 
 RFC 301〜400  RFC 1701〜1800  RFC 3101〜3200  RFC 4501〜4600 
 RFC 401〜500  RFC 1801〜1900  RFC 3201〜3300  RFC 4601〜4700 
 RFC 501〜600  RFC 1901〜2000  RFC 3301〜3400  RFC 4701〜4800 
 RFC 601〜700  RFC 2001〜2100  RFC 3401〜3500  RFC 4801〜4900 
 RFC 701〜800  RFC 2101〜2200  RFC 3501〜3600  RFC 4901〜5000 
 RFC 801〜900  RFC 2201〜2300  RFC 3601〜3700  RFC 5001〜5100 
 RFC 901〜1000  RFC 2301〜2400  RFC 3701〜3800  RFC 5101〜5200 
 RFC 1001〜1100  RFC 2401〜2500  RFC 3801〜3900  RFC 5201〜5300 
 RFC 1101〜1200  RFC 2501〜2600  RFC 3901〜4000  RFC 5301〜5400 
 RFC 1201〜1300  RFC 2601〜2700  RFC 4001〜4100  RFC 5401〜5500 
 RFC 1301〜1400  RFC 2701〜2800  RFC 4101〜4200 

スポンサーリンク

rpm RPMパッケージをインストール/アンインストールする

ホームページ製作・web系アプリ系の製作案件募集中です。

上に戻る