順序列テスト基準を用いたテスト充分性評価システムの試作

概要

論文の詳細を見る
並行処理プログラムが普及するに伴い,信頼性向上手法としてのテストが重要となってきている.並行処理プログラムは逐次処理プログラムに対して動作が複雑であるので,新しいテスト法が必要である.現在一般的に使用されているプログラミング言語としてC言語がある.C言語で並行処理を実現するには,オペレーティングシステムで準備されたシステムコールを利用する.そこで,我々はC並行処理プログラムのテスト基準として,オペレーティングシステムで準備されている通信,同期方法に対して順序対や順序列に着目したテスト基準を提案してきた.また,我々はそのテスト基準に基づくテスト充分性評価システムを試作している.本稿では,我々が試作したテスト充分性評価システムについて考察する.このシステムの入力はCのソースコードであり,出力はテスト充分性評価の指標である被覆率である.このシステムでは,順序列の実行を検出するためにモニタプロセスを使用する.このシステムでは,テストすべき事象として実行不可能な事象を取り込むことがある.
1994-01-20