													TOPPERS Confidential
		TOPPERSプロジェクト 設計メモ
		TOPPERS/HRP2カーネルテストプログラム設計メモ（作成中）

		作成者: 高田広章（名古屋大学）
		最終更新: 2012年8月18日

○メモの位置付け

このメモは，TOPPERS/HRPカーネルRelease 2（以下，HRP2カーネルと呼ぶ）の
テストプログラムの設計メモである．

○目次

・タスク例外処理ルーチンの実行開始に関するテスト
・タスク例外処理ルーチンからのリターン時処理に関するテスト

○タスク例外処理ルーチンの実行開始に関するテスト

●テストの基本方針

タスク例外処理ルーチンは，以下の7条件が揃った場合に実行開始される
［NGKI1363］［NGKI1364］．

(1) タスク例外処理許可状態である
(2) 保留例外要因が0でない
(3) タスクが実行状態である
(4) タスクコンテキストが実行されている
(5) 割込み優先度マスク全解除状態である
(6) CPUロック状態でない
(7) タスク例外処理マスク状態でない
	(7-1) システムタスクの場合：拡張サービスコールを実行していない
	(7-2) ユーザタスクの場合：特権モードで実行していない

そこで，ホワイトボックス的な方針をとることとし，これらの7条件のいずれか
が成り立つように変化させるすべての処理において，以下をテストすることを
基本方針とする．

(A) 7条件が揃ってタスク例外処理ルーチンが実行開始される
(B) いずれかの条件が成り立たないために実行開始されない

ここで「いずれかの条件が成り立たない」場合のテストは，7条件の各条件につ
いて，それがだけが成り立たない（つまり，他の6条件は成り立つ）場合をテス
トする方針とする．

7条件が揃ってタスク例外処理ルーチンが実行開始された場合には，タスク例外
処理ルーチン開始直後のシステム状態が，［NGKI0184］に合致しているかの確
認も行うものとする．

また，対象タスクがシステムタスクの場合と，ユーザタスクの場合は，別々に
テストを行うものとする．

●7条件のいずれかが成り立つように変化させる処理

7条件のいずれかが成り立つように変化させる処理は，「TOPPERS/HRP2カーネル
設計メモ」の「タスク例外処理ルーチンの実行開始が必要なタイミング」の項
で検討されているため，ここではその結果を用いると，7条件のいずれかが成り
立つように変化させる処理は以下の通りである．

(a) タスク例外処理の許可（ena_tex）… (1)
(b) タスク例外処理ルーチンからのリターン … (1)(5)(6)
(c) タスク例外処理の要求（ras_tex）… (2)
(d) タスク切換え … (3)(5)(6)
	(d-1) dispatch_r
	(d-2) ret_int_r
	(d-3) ret_exc_r
(e) 割込みハンドラからのリターン … (4)(5)(6)
(f) CPU例外ハンドラからのリターン … (4)(5)(6)
(g) 割込み優先度マスクの変更（chg_ipm）… (5)
(h) CPUロック状態の解除（unl_cpu）… (6)
(i) 拡張サービスコールからのリターン … (7-1)(7-2)
(j) サービスコールからのリターン〔ユーザタスクの場合〕… (7-2)

この中で(j)は，実装上の都合であり，ユーザタスクに対して(a)(c)(g)(h)をテ
ストしていればカバーされることになる．

●テストケースの洗い出し

(a)について必要なテストケースは次の通り．

(a-A) タスク例外処理の許可（ena_tex）により7条件が揃うと，タスク例外処
理ルーチンが実行開始されること

(a-B1) タスク例外処理の許可（ena_tex）により(1)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと ⇒ タスク例外処理の許
可（ena_tex）により，(1)の条件は必ず成り立つため，この状況は起こりえな
い

(a-B2) タスク例外処理の許可（ena_tex）により(2)の条件のみが成り立たな
いと，タスク例外処理ルーチンが実行開始されないこと

(a-B3) タスク例外処理の許可（ena_tex）により(3)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと ⇒ タスク例外処理の許
可（ena_tex）は自タスクに対してしか行えず，実行状態でないタスクのタスク
例外処理を許可できないため，この状況は起こりえない

(a-B4) タスク例外処理の許可（ena_tex）により(4)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと ⇒ 非タスクコンテキス
トではタスク例外処理の許可（ena_tex）を行えないため，この状況は起こりえ
ない

(a-B5) タスク例外処理の許可（ena_tex）により(5)の条件のみが成り立たな
いと，タスク例外処理ルーチンが実行開始されないこと

(a-B6) タスク例外処理の許可（ena_tex）により(6)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと ⇒ CPUロック状態ではタ
スク例外処理の許可（ena_tex）を行えないことから，この状況は起こりえない

(a-B7) タスク例外処理の許可（ena_tex）により(7)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと

以上より，(a-A)(a-B2)(a-B5)(a-B7)の4つのテストケースの実施が必要である．

(b)について必要なテストケースは次の通り．

(b-A) タスク例外処理ルーチンからのリターンにより7条件が揃うと，タスク例
外処理ルーチンが実行開始されること

(b-B1) タスク例外処理ルーチンからのリターンにより(1)の条件のみが成り立
たないと，タスク例外処理ルーチンが実行開始されないこと ⇒ タスク例外処
理ルーチンからのリターンにより，(1)の条件は必ず成り立つため，この状況は
起こりえない

(b-B2) タスク例外処理ルーチンからのリターンにより(2)の条件のみが成り立
たないと，タスク例外処理ルーチンが実行開始されないこと

(b-B3) タスク例外処理ルーチンからのリターンにより(3)の条件のみが成り立
たないと，タスク例外処理ルーチンが実行開始されないこと ⇒ 実行状態でな
いタスクでは，タスク例外処理ルーチンからのリターンを行えないため，この
状況は起こりえない

(b-B4) タスク例外処理ルーチンからのリターンにより(4)の条件のみが成り立
たないと，タスク例外処理ルーチンが実行開始されないこと ⇒ 非タスクコン
テキストではタスク例外処理ルーチンからのリターンを行えないため，この状
況は起こりえない

(b-B5) タスク例外処理ルーチンからのリターンにより(5)の条件のみが成り立
たないと，タスク例外処理ルーチンが実行開始されないこと ⇒ タスク例外処
理ルーチンからのリターンにより，(5)の条件は必ず成り立つため，この状況は
起こりえない

(b-B6) タスク例外処理ルーチンからのリターンにより(6)の条件のみが成り立
たないと，タスク例外処理ルーチンが実行開始されないこと ⇒ タスク例外処
理ルーチンからのリターンにより，(6)の条件は必ず成り立つため，この状況は
起こりえない

(b-B7) タスク例外処理ルーチンからのリターンにより(7)の条件のみが成り立
たないと，タスク例外処理ルーチンが実行開始されないこと ⇒ タスク例外処
理ルーチンからのリターン時には，タスク例外処理マスク状態でないことから，
この状況は起こりえない

以上より，(b-A)(b-B2)の2つのテストケースの実施が必要である．

(c)について必要なテストケースは次の通り．

(c-A) タスク例外処理の要求（ras_tex）により7条件が揃うと，タスク例外処
理ルーチンが実行開始されること

(c-B1) タスク例外処理の要求（ras_tex）により(1)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと

(c-B2) タスク例外処理の要求（ras_tex）により(2)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと ⇒ タスク例外処理の要
求（ras_tex）により，(2)の条件は必ず成り立つため，この状況は起こりえな
い

(c-B3) タスク例外処理の要求（ras_tex）により(3)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと

(c-B4) タスク例外処理の要求（ras_tex）により(4)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと ⇒ 非タスクコンテキス
トではタスク例外処理の要求（ras_tex）を行えないため，この状況は起こりえ
ない

(c-B5) タスク例外処理の要求（ras_tex）により(5)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと

(c-B6) タスク例外処理の要求（ras_tex）により(6)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと ⇒ CPUロック状態ではタ
スク例外処理の要求（ras_tex）を行えないことから，この状況は起こりえない

(c-B7) タスク例外処理の要求（ras_tex）により(7)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと

以上より，(c-A)(c-B1)(c-B3)(c-B5)(c-B7)の5つのテストケースの実施が必要
である．

(d-1)について必要なテストケースは次の通り．

(d-1-A) タスクの切換え（dispatch_r）により7条件が揃うと，タスク例外処理
ルーチンが実行開始されること

(d-1-B1) タスクの切換え（dispatch_r）により(1)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと

(d-1-B2) タスクの切換え（dispatch_r）により(2)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと

(d-1-B3) タスクの切換え（dispatch_r）により(3)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと … タスクの切換え後に，
切換え後に実行状態となるタスク以外で，他の6条件をすべて満たすタスクがあっ
ても，そのタスクのタスク例外処理ルーチンが実行開始されないことを確認す
ればよい（ホワイトボックス的には起こりそうもない状況ではあるが）

(d-1-B4) タスクの切換え（dispatch_r）により(4)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと ⇒ 非タスクコンテキス
トでは，タスクの切換え（dispatch_r）は起こらないため，この状況は起こり
えない

(d-1-B5) タスクの切換え（dispatch_r）により(5)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと ⇒ 割込み優先度マスク
全解除状態でないと，タスクの切換え（dispatch_r）は起こらないため，この
状況は起こりえない

(d-1-B6) タスクの切換え（dispatch_r）により(6)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと ⇒ CPUロック状態ではタ
スクの切換え（dispatch_r）を起こらないため，この状況は起こりえない

(d-1-B7) タスクの切換え（dispatch_r）により(7)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと

以上より，(d-1-A)(d-1-B1)(d-1-B2)(d-1-B3)(d-1-B7)の5つのテストケースの
実施が必要である．

(d-2)について必要なテストケースは次の通り．

(d-2-A) タスクの切換え（ret_int_r）により7条件が揃うと，タスク例外処理
ルーチンが実行開始されること

(d-2-B1) タスクの切換え（ret_int_r）により(1)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと

(d-2-B2) タスクの切換え（ret_int_r）により(2)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと

(d-2-B3) タスクの切換え（ret_int_r）により(3)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと … タスクの切換え後に，切
換え後に実行状態となるタスク以外で，他の6条件をすべて満たすタスクがあっ
ても，そのタスクのタスク例外処理ルーチンが実行開始されないことを確認す
ればよい（ホワイトボックス的には起こりそうもない状況ではあるが）

(d-2-B4) タスクの切換え（ret_int_r）により(4)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと ⇒ タスクの切換え
（ret_int_r）後は，タスクコンテキストになるため，この状況は起こりえない

(d-2-B5) タスクの切換え（ret_int_r）により(5)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと ⇒ 割込み優先度マスク全解
除状態でないと，タスクの切換え（ret_int_r）は起こらないため，この状況は
起こりえない

(d-2-B6) タスクの切換え（ret_int_r）により(6)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと ⇒ 割込みハンドラからのリ
ターンにより，(6)の条件は必ず成り立つため，この状況は起こりえない

(d-2-B7) タスクの切換え（ret_int_r）により(7)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと

以上より，(d-2-A)(d-2-B1)(d-2-B2)(d-2-B3)(d-2-B7)の5つのテストケースの
実施が必要である．

(d-3)についても同様で，(d-3-A)(d-3-B1)(d-3-B2)(d-3-B3)(d-3-B7)の5つのテ
ストケースの実施が必要である．

(e)について必要なテストケースは次の通り．

(e-A) 割込みハンドラからのリターンにより7条件が揃うと，タスク例外処理ルー
チンが実行開始されること

(e-B1) 割込みハンドラからのリターンにより(1)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと

(e-B2) 割込みハンドラからのリターンにより(2)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと

(e-B3) 割込みハンドラからのリターンにより(3)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと … 割込みハンドラからのリ
ターン後に，実行状態であるタスク以外で，他の6条件をすべて満たすタスクが
あっても，そのタスクのタスク例外処理ルーチンが実行開始されないことを確
認すればよい（ホワイトボックス的には起こりそうもない状況ではあるが）

(e-B4) 割込みハンドラからのリターンにより(4)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと

(e-B5) 割込みハンドラからのリターンにより(5)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと

(e-B6) 割込みハンドラからのリターンにより(6)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと ⇒ 割込みハンドラからのリ
ターンにより，(6)の条件は必ず成り立つため，この状況は起こりえない

(e-B7) 割込みハンドラからのリターンにより(7)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと

以上より，(e-A)(e-B1)(e-B2)(e-B3)(e-B4)(e-B5)(e-B7)の7つのテストケース
の実施が必要である．

(f)について必要なテストケースは次の通り．

(f-A) CPU例外ハンドラからのリターンにより7条件が揃うと，タスク例外処理
ルーチンが実行開始されること

(f-B1) CPU例外ハンドラからのリターンにより(1)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと

(f-B2) CPU例外ハンドラからのリターンにより(2)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと

(f-B3) CPU例外ハンドラからのリターンにより(3)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと … CPU例外ハンドラからのリ
ターン後に，実行状態であるタスク以外で，他の6条件をすべて満たすタスクが
あっても，そのタスクのタスク例外処理ルーチンが実行開始されないことを確
認すればよい（ホワイトボックス的には起こりそうもない状況ではあるが）

(f-B4) CPU例外ハンドラからのリターンにより(4)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと

(f-B5) CPU例外ハンドラからのリターンにより(5)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと

(f-B6) CPU例外ハンドラからのリターンにより(6)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと ⇒ CPU例外ハンドラからのリ
ターン後に(6)の条件が成り立たないのは，CPU例外の発生時にCPUロック状態で
あった場合である．この場合，CPUロック状態の間に，タスク例外処理ルーチン
の実行開始の7条件が満たされる方向に状態を変化させることができないため，
この状況は起こりえない

(f-B7) CPU例外ハンドラからのリターンにより(7)の条件のみが成り立たないと，
タスク例外処理ルーチンが実行開始されないこと

以上より，(f-A)(f-B1)(f-B2)(f-B3)(f-B4)(f-B5)(f-B7)の7つのテストケース
の実施が必要である．

(g)について必要なテストケースは次の通り．

(g-A) 割込み優先度マスクの変更（chg_ipm）により7条件が揃うと，タスク例
外処理ルーチンが実行開始されること

(g-B1) 割込み優先度マスクの変更（chg_ipm）により(1)の条件のみが成り立た
ないと，タスク例外処理ルーチンが実行開始されないこと

(g-B2) 割込み優先度マスクの変更（chg_ipm）により(2)の条件のみが成り立た
ないと，タスク例外処理ルーチンが実行開始されないこと

(g-B3) 割込み優先度マスクの変更（chg_ipm）により(3)の条件のみが成り立た
ないと，タスク例外処理ルーチンが実行開始されないこと … 割込み優先度マ
スクの変更後に，実行状態であるタスク以外で，他の6条件をすべて満たすタス
クがあっても，そのタスクのタスク例外処理ルーチンが実行開始されないこと
を確認すればよい（ホワイトボックス的には起こりそうもない状況ではあるが）

(g-B4) 割込み優先度マスクの変更（chg_ipm）により(4)の条件のみが成り立た
ないと，タスク例外処理ルーチンが実行開始されないこと ⇒ 非タスクコンテ
キストでは割込み優先度マスクの変更（chg_ipm）を行えないため，この状況は
起こりえない

(g-B5) 割込み優先度マスクの変更（chg_ipm）により(5)の条件のみが成り立た
ないと，タスク例外処理ルーチンが実行開始されないこと

(g-B6) 割込み優先度マスクの変更（chg_ipm）により(6)の条件のみが成り立た
ないと，タスク例外処理ルーチンが実行開始されないこと ⇒ CPUロック状態で
は割込み優先度マスクの変更（chg_ipm）を行えないことから，この状況は起こ
りえない

(g-B7) 割込み優先度マスクの変更（chg_ipm）により(7)の条件のみが成り立た
ないと，タスク例外処理ルーチンが実行開始されないこと

以上より，(g-A)(g-B1)(g-B2)(g-B3)(g-B5)(g-B7)の6つのテストケースの実施
が必要である．

(h)について必要なテストケースは次の通り．

(h-A) CPUロック状態の解除（unl_cpu）により7条件が揃うと，タスク例外処理
ルーチンが実行開始されること

(h-B1) CPUロック状態の解除（unl_cpu）により(1)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと

(h-B2) CPUロック状態の解除（unl_cpu）により(2)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと

(h-B3) CPUロック状態の解除（unl_cpu）により(3)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと … CPUロック状態の解除
後に，実行状態であるタスク以外で，他の6条件をすべて満たすタスクがあって
も，そのタスクのタスク例外処理ルーチンが実行開始されないことを確認すれ
ばよい（ホワイトボックス的には起こりそうもない状況ではあるが）

(h-B4) CPUロック状態の解除（unl_cpu）により(4)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと ⇒ 非タスクコンテキス
トではCPUロック状態の解除（unl_cpu）を行えないため，この状況は起こりえ
ない

(h-B5) CPUロック状態の解除（unl_cpu）により(5)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと

(h-B6) CPUロック状態の解除（unl_cpu）により(6)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと ⇒ CPUロック状態の解除
（unl_cpu）により，(6)の条件は必ず成り立つことから，この状況は起こりえ
ない

(h-B7) CPUロック状態の解除（unl_cpu）により(7)の条件のみが成り立たない
と，タスク例外処理ルーチンが実行開始されないこと

以上より，(h-A)(h-B1)(h-B2)(h-B3)(h-B5)(h-B7)の6つのテストケースの実施
が必要である．

(i)について必要なテストケースは次の通り．

(i-A) 拡張サービスコールからのリターンにより7条件が揃うと，タスク例外処
理ルーチンが実行開始されること

(i-B1) 拡張サービスコールからのリターンにより(1)の条件のみが成り立たな
いと，タスク例外処理ルーチンが実行開始されないこと

(i-B2) 拡張サービスコールからのリターンにより(2)の条件のみが成り立たな
いと，タスク例外処理ルーチンが実行開始されないこと

(i-B3) 拡張サービスコールからのリターンにより(3)の条件のみが成り立たな
いと，タスク例外処理ルーチンが実行開始されないこと ⇒ 実行状態でないタ
スクでは，拡張サービスコールからのリターンを行えないため，この状況は起
こりえない

(i-B4) 拡張サービスコールからのリターンにより(4)の条件のみが成り立たな
いと，タスク例外処理ルーチンが実行開始されないこと … 非タスクコンテキ
スト内で拡張サービスコールからリターンした後に，実行状態のタスクが他の
6条件をすべて満たしていても，そのタスクのタスク例外処理ルーチンが実行開
始されないことを確認すればよい

(i-B5) 拡張サービスコールからのリターンにより(5)の条件のみが成り立たな
いと，タスク例外処理ルーチンが実行開始されないこと

(i-B6) 拡張サービスコールからのリターンにより(6)の条件のみが成り立たな
いと，タスク例外処理ルーチンが実行開始されないこと

(i-B7) 拡張サービスコールからのリターンにより(7)の条件のみが成り立たな
いと，タスク例外処理ルーチンが実行開始されないこと

以上より，(i-A)(i-B1)(i-B2)(i-B3)(i-B4)(i-B5)(i-B6)(i-B7)の8つのテスト
ケースの実施が必要である．

●必要なテストケースの一覧とテストプログラムの対応

(a-A)		test_tex1/3の(F-1)
(a-B2)		test_tex1/3の(F-2)
(a-B5)		test_tex1/3の(F-3)
(a-B7)		未実施
(b-A)		test_tex1/3の(I)
(b-B2)		多くのケースで実施されているはず…
(c-A)		test_tex1/3の(E-1)
(c-B1)		test_tex1/3の(E-3)
(c-B3)		test_tex1/3の(E-2)
(c-B5)		test_tex1/3の(E-4)
(c-B7)		未実施
(d-1-A)		test_tex1/3の(H)
(d-1-B1)(d-1-B2)(d-1-B3)(d-1-B7)
(d-2-A)		test_tex2/4の(D-1)
(d-2-B1)(d-2-B2)(d-2-B3)(d-2-B7)
(d-3-A)		test_tex2/4の(E-1)
(d-3-B1)(d-3-B2)(d-3-B3)(d-3-B7)
(e-A)		test_tex2/4の(B-1)
(e-B1)		test_tex2/4の(B-3)
(e-B2)		未実施
(e-B3)		test_tex2/4の(B-2)
(e-B4)		未実施
(e-B5)		未実施
(e-B7)		未実施
(f-A)		test_tex2/4の(C-1)
(f-B1)		未実施
(f-B2)		未実施
(f-B3)		test_tex2/4の(C-2)
(f-B4)		未実施
(f-B5)		未実施
(f-B7)		未実施
(g-A)		test_tex1/3の(G-1)
(g-B1)		test_tex1/3の(G-3)
(g-B2)		test_tex1/3の(G-2)
(g-B3)		未実施
(g-B5)		test_tex1/3の(G-4)
(g-B7)		未実施
(h-A)		test_tex5/6の(A-1)
(h-B1)		test_tex5/6の(B-1)
(h-B2)		test_tex5/6の(B-2)
(h-B3)		test_tex5/6の(B-3)
(h-B5)		test_tex5/6の(B-4)
(h-B7)		test_tex5/6の(B-5)
(i-A)		test_tex5/6の(C-1)
(i-B1)		test_tex5/6の(D-1)
(i-B2)		test_tex5/6の(D-2)
(i-B3)		test_tex5/6の(D-3)
(i-B4)		test_tex5/6の(D-4)
(i-B5)		test_tex5/6の(D-5)
(i-B6)		test_tex5/6の(D-6)
(i-B7)		test_tex5/6の(D-7)

この時点で，(?-A)のテストはすべて実施されており，実行開始される条件につ
いてはテストが網羅されている．

○タスク例外処理ルーチンからのリターン時処理に関するテスト

●テストの基本方針

タスク例外処理ルーチンからのリターン時処理が，［NGKI0184］に合致してい
るかをテストする．

あわせて，ディスパッチ禁止フラグの扱いに関する［NGKI0529］［NGKI0191］
の仕様についてテストする．［NGKI0530］と［NGKI0190］は，ターゲット非依
存にテストすることができないため，ここでのテスト対象外とする．

また，対象タスクがシステムタスクの場合と，ユーザタスクの場合は，別々に
テストを行うものとする．

以上
