- 著者
-
一場 利幸
森 孝夫
高瀬 英希
鴫原 一人
本田 晋也
高田 広章
- 出版者
- The Institute of Electronics, Information and Communication Engineers
- 雑誌
- 電子情報通信学会論文誌 D (ISSN:18804535)
- 巻号頁・発行日
- vol.J95-D, no.3, pp.387-399, 2012-03-01
複数のプログラムが並列若しくは並行動作する環境では,プログラムの実行順序に依存してパスが定まる分岐が存在することがある.ソフトウェアテストでは分岐を網羅することが求められ,プログラムを繰り返し実行する手法が考えられるが,特定のパスを決定的に実行することができない.また,プログラムの実際の実行順序を知ることが困難であるため,実行順序に依存する分岐に関するテストを効率的に行うことができない.本論文では,テストプログラムからプロセッサの実行を制御することで,プログラム中の特定のパスを決定的に実行する機構を用いたテスト効率化手法を提案する.提案手法により,マルチプロセッサ向けリアルタイムOSであるTOPPERS/FMPカーネルにおけるプロセッサの実行順序に依存したパスを全て決定的に実行することができ,テストの効率化が可能であることを確認した.