著者

風間 佳之 作道 直樹 段 慧 木戸脇 有美 平橋 航 鴫原 一人 海上 智昭 本田 晋也 高田 広章

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013-EMB-28, no.2, pp.1-6, 2013-03-06

---

近年の組込みソフトウェアの大規模化,高機能化のため,RTOSに対するメモリ保護機能の需要が高まっている.RTOSはソフトウェアの中核をなすため,高い品質が求められるが,メモリ保護機能に対するテストプロセスやテスト手法,テストの規模は明らかになっていない.本論文では,RTOSのメモリ保護機能に対するテストプロセスやテスト手法,テストの規模,およびテストの効果を明らかにした.メモリ保護機能に対応したRTOSとして,AUTOSAR仕様ベースのRTOSを使用した.

著者

一場 利幸 森 孝夫 高瀬 英希 鴫原 一人 本田 晋也 高田 広章

出版者

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カーネルにおけるプロセッサの実行順序に依存したパスを全て決定的に実行することができ,テストの効率化が可能であることを確認した.