Changeset 315 for rubycfg_asp/trunk/asp_dcre/test/test_cpuexc.txt

Timestamp:

Jul 23, 2017, 2:29:40 PM (7 years ago)

Author:

coas-nagasima

Message:

SVNプロパティを設定

File:

• rubycfg_asp/trunk/asp_dcre/test/test_cpuexc.txt (modified) (1 diff, 1 prop)

rubycfg_asp/trunk/asp_dcre/test/test_cpuexc.txt

@@ -1 +1 @@
 
-                CPU例外処理のテスト
+                CPU例外処理のテスト
 
-【テストの目的】
+【テストの目的】
 
-CPU例外ハンドラの実行開始／リターン時のシステム状æ
-‹ã¨ï¼ŒCPU例外ハンドラ
-中でのxsns_dpnとxsns_xpnの動作を網ç¾
-的にテストする．
+CPU例外ハンドラの実行開始／リターン時のシステム状態と，CPU例外ハンドラ
+中でのxsns_dpnとxsns_xpnの動作を網羅的にテストする．
 
-【テストé 
-目】
+【テスト項目】
 
-(A) CPU例外ハンドラ実行開始時にCPUロックフラグが変化しないこと
+(A) CPU例外ハンドラ実行開始時にCPUロックフラグが変化しないこと
 
-(B) CPU例外ハンドラ実行開始時に割込み優å
-ˆåº¦ãƒžã‚¹ã‚¯ãŒå¤‰åŒ–しないこと
-        ！CPU例外ハンドラ中で割込み優å
-ˆåº¦ãƒžã‚¹ã‚¯ã‚’読めないため，テストできな
-        　い．
+(B) CPU例外ハンドラ実行開始時に割込み優先度マスクが変化しないこと
+        ！CPU例外ハンドラ中で割込み優先度マスクを読めないため，テストできな
+        　い．
 
-(C) CPU例外ハンドラ実行開始時にディスパッチ禁止フラグが変化しないこと
+(C) CPU例外ハンドラ実行開始時にディスパッチ禁止フラグが変化しないこと
 
-(D) CPU例外ハンドラ実行開始時にタスク例外処理禁止フラグが変化しないこと
+(D) CPU例外ハンドラ実行開始時にタスク例外処理禁止フラグが変化しないこと
 
-(E) CPU例外ハンドラリターン時にCPUロックフラグがå
-ƒã«æˆ»ã‚‹ã“と
+(E) CPU例外ハンドラリターン時にCPUロックフラグが元に戻ること
 
-(F) CPU例外ハンドラリターン時に割込み優å
-ˆåº¦ãƒžã‚¹ã‚¯ãŒå
-ƒã«æˆ»ã‚‹ã“と
+(F) CPU例外ハンドラリターン時に割込み優先度マスクが元に戻ること
 
-(G) CPU例外ハンドラリターン時にディスパッチ禁止フラグが変化しないこと
+(G) CPU例外ハンドラリターン時にディスパッチ禁止フラグが変化しないこと
 
-(H) CPU例外ハンドラリターン時にタスク例外処理禁止フラグが変化しないこと
+(H) CPU例外ハンドラリターン時にタスク例外処理禁止フラグが変化しないこと
 
-(I) xsns_xpnが正しい値を返すこと
+(I) xsns_xpnが正しい値を返すこと
 
-xsns_xpnは，CPUä¾‹å¤–ãŒç™ºç”Ÿã—ãŸçŠ¶æ³ãŒæ¬¡ã®æ¡ä»¶ã‚’ã™ã¹ã¦æº€ãŸã™å ´åˆã«false，
-ãã†ã§ãªã„å ´åˆã«trueを返す．
-　・タスクコンテキスト
-　・割込みロック解除状æ
-‹
-　・CPUロック解除状æ
-‹
-　・割込み優å
-ˆåº¦ãƒžã‚¹ã‚¯å
-¨è§£é™¤çŠ¶æ
-‹
-　・タスク例外許可状æ
-‹
+xsns_xpnは，CPU例外が発生した状況が次の条件をすべて満たす場合にfalse，
+そうでない場合にtrueを返す．
+　・タスクコンテキスト
+　・割込みロック解除状態
+　・CPUロック解除状態
+　・割込み優先度マスク全解除状態
+　・タスク例外許可状態
 
-(J) xsns_dpnが正しい値を返すこと
+(J) xsns_dpnが正しい値を返すこと
 
-xsns_dpnは，CPUä¾‹å¤–ãŒç™ºç”Ÿã—ãŸçŠ¶æ³ãŒæ¬¡ã®æ¡ä»¶ã‚’ã™ã¹ã¦æº€ãŸã™å ´åˆã«false，
-ãã†ã§ãªã„å ´åˆã«trueを返す．
-　・タスクコンテキスト
-　・割込みロック解除状æ
-‹
-　・CPUロック解除状æ
-‹
-　・割込み優å
-ˆåº¦ãƒžã‚¹ã‚¯å
-¨è§£é™¤çŠ¶æ
-‹
-　・ディスパッチ許可状æ
-‹
+xsns_dpnは，CPU例外が発生した状況が次の条件をすべて満たす場合にfalse，
+そうでない場合にtrueを返す．
+　・タスクコンテキスト
+　・割込みロック解除状態
+　・CPUロック解除状態
+　・割込み優先度マスク全解除状態
+　・ディスパッチ許可状態
 
-(K) タスク切換えによるリカバリーができること
+(K) タスク切換えによるリカバリーができること
 
-(L) タスク例外によるリカバリーができること
+(L) タスク例外によるリカバリーができること
 
-【テストを実施する状況】
+【テストを実施する状況】
 
-CPU例外の発生する状況は，次のように分類することができる．これらの状況毎
-にテストプログラムを用意する．
+CPU例外の発生する状況は，次のように分類することができる．これらの状況毎
+にテストプログラムを用意する．
 
-(a-1) 非タスクコンテキスト
-(a-2) タスクコンテキスト
+(a-1) 非タスクコンテキスト
+(a-2) タスクコンテキスト
 
-(b-1) 割込みロック状æ
-‹
-(b-2) 割込みロック解除状æ
-‹
+(b-1) 割込みロック状態
+(b-2) 割込みロック解除状態
 
-(c-1) CPUロック状æ
-‹
-(c-2) CPUロック解除状æ
-‹
+(c-1) CPUロック状態
+(c-2) CPUロック解除状態
 
-(d-1) 割込み優å
-ˆåº¦ãƒžã‚¹ã‚¯ï¼TIPM_ENAALL
-(d-2) 割込み優å
-ˆåº¦ãƒžã‚¹ã‚¯ï¼TMAX_INTPRI
-         ！TMAX_INTPRI＝TMIN_INTPRIã®å ´åˆã¯(d-3)と同じになるので実施しない．
-(d-3) 割込み優å
-ˆåº¦ãƒžã‚¹ã‚¯ï¼TMIN_INTPRI
-(d-4) 割込み優å
-ˆåº¦ãƒžã‚¹ã‚¯ï¼TMIN_INTPRI-1
-         ！TMIN_INTPRI-1が設定できるかはターゲットに依存する．
+(d-1) 割込み優先度マスク＝TIPM_ENAALL
+(d-2) 割込み優先度マスク＝TMAX_INTPRI
+         ！TMAX_INTPRI＝TMIN_INTPRIの場合は(d-3)と同じになるので実施しない．
+(d-3) 割込み優先度マスク＝TMIN_INTPRI
+(d-4) 割込み優先度マスク＝TMIN_INTPRI-1
+         ！TMIN_INTPRI-1が設定できるかはターゲットに依存する．
 
-(e-1) ディスパッチ禁止状æ
-‹
-(e-2) ディスパッチ許可状æ
-‹
+(e-1) ディスパッチ禁止状態
+(e-2) ディスパッチ許可状態
 
-(f-1) タスク例外禁止状æ
-‹
-(f-2) タスク例外許可状æ
-‹
+(f-1) タスク例外禁止状態
+(f-2) タスク例外許可状態
 
-この組み合わせをすべてテストすることは現実的でないため，代表的なパター
-ンに絞り込む．
+この組み合わせをすべてテストすることは現実的でないため，代表的なパター
+ンに絞り込む．
 
-まず，(a)～(c)の組み合わせで，次の5つのパターンをテストする．これらのテ
-ストをする際には，(d)～(f)については，(d-1)(e-1)(f-2)の組み合わせに固定
-する．
+まず，(a)～(c)の組み合わせで，次の5つのパターンをテストする．これらのテ
+ストをする際には，(d)～(f)については，(d-1)(e-1)(f-2)の組み合わせに固定
+する．
 
-(1) (a-1)(b-1)(c-2) → リカバリー不可
-        ！(a-1)(b-1)(c-1)のテストは省く．
-(2) (a-1)(b-2)(c-1) → リカバリー不可
-(3) (a-1)(b-2)(c-2) → リカバリー不可
+(1) (a-1)(b-1)(c-2) → リカバリー不可
+        ！(a-1)(b-1)(c-1)のテストは省く．
+(2) (a-1)(b-2)(c-1) → リカバリー不可
+(3) (a-1)(b-2)(c-2) → リカバリー不可
 
-(4) (a-2)(b-1)(c-2) → リカバリー不可
-        ！(a-2)(b-1)(c-1)のテストは省く．
-(5) (a-2)(b-2)(c-1) → リカバリー不可
+(4) (a-2)(b-1)(c-2) → リカバリー不可
+        ！(a-2)(b-1)(c-1)のテストは省く．
+(5) (a-2)(b-2)(c-1) → リカバリー不可
 
-次に，(a)～(c)を(a-2)(b-2)(c-2)に固定して，(d)～(f)の組み合わせで，次の
-8つのパターンをテストする．
+次に，(a)～(c)を(a-2)(b-2)(c-2)に固定して，(d)～(f)の組み合わせで，次の
+8つのパターンをテストする．
 
-(6) (d-1)(e-2)(f-1) → タスク切換えによるリカバリー可能
+(6) (d-1)(e-2)(f-1) → タスク切換えによるリカバリー可能
 
-(7) (d-1)(e-1)(f-2) → タスク例外によるリカバリー可能
+(7) (d-1)(e-1)(f-2) → タスク例外によるリカバリー可能
 
-(8) (d-2)(e-2)(f-2) → リカバリー不可
-        ！(d-2)(e-1)(f-2)のテストは省く．
+(8) (d-2)(e-2)(f-2) → リカバリー不可
+        ！(d-2)(e-1)(f-2)のテストは省く．
 
-(9) (d-3)(e-2)(f-2) → リカバリー不可
-        ！(d-3)(e-1)(f-2)のテストは省く．
+(9) (d-3)(e-2)(f-2) → リカバリー不可
+        ！(d-3)(e-1)(f-2)のテストは省く．
 
-(10) (d-4)(e-2)(f-2) → リカバリー不可
-        ！(d-4)(e-1)(f-2)のテストは省く．
+(10) (d-4)(e-2)(f-2) → リカバリー不可
+        ！(d-4)(e-1)(f-2)のテストは省く．
 
-(11) (d-1)(e-2)(f-2) → 両方法によるリカバリー可能
+(11) (d-1)(e-2)(f-2) → 両方法によるリカバリー可能
 
-(12) (d-1)(e-1)(f-1) → リカバリー不可
-                (d-2)～(d-4)×(e-1)×(f-1) のテスト（3パターン）は省く．
+(12) (d-1)(e-1)(f-1) → リカバリー不可
+                (d-2)～(d-4)×(e-1)×(f-1) のテスト（3パターン）は省く．
 
-(13) (d-3)(e-2)(f-1) → リカバリー不可
-                (d-2),(d-4)×(e-2)×(f-1) のテスト（2パターン）は省く．
+(13) (d-3)(e-2)(f-1) → リカバリー不可
+                (d-2),(d-4)×(e-2)×(f-1) のテスト（2パターン）は省く．
 
-【使用リソース】
+【使用リソース】
 
-TASK1: TA_ACT，中優å
-ˆåº¦ï¼Œã‚¿ã‚¹ã‚¯ä¾‹å¤–処理ルーチン登録
-TASK2: TA_NULL，高優å
-ˆåº¦
+TASK1: TA_ACT，中優先度，タスク例外処理ルーチン登録
+TASK2: TA_NULL，高優先度
 CPUEXC1: TA_NULL
 ALM1: TA_NULL
 
-以上
+以上