@article{oai:ipsj.ixsq.nii.ac.jp:00174247,
 author = {鴫原, 一人 and 石川, 拓也 and 本田, 晋也 and 高田, 広章 and Kazuto, Shigihara and Takuya, Ishikawa and Shinya, Honda and Hiroaki, Takada},
 issue = {8},
 journal = {情報処理学会論文誌},
 month = {Aug},
 note = {車載ソフトウェアでは，安全性確保のために，メモリ保護機能が重要となっている．車載分野向けのソフトウェアプラットフォーム仕様であるAUTOSARのリアルタイムOSには，メモリ保護機能が規定されており，我々はAUTOSAR仕様をベースとしたTOPPERS/ATK2を開発，公開している．しかし，メモリ保護機能を有するリアルタイムOSに対するテストの事例はなく，メモリ保護機能に対するテスト手法やテストの規模は明らかになっていない．本研究では，我々が過去に実施したμITRONベースのリアルタイムOSに対するテストの研究成果を活用し，TOPPERS/ATK2を対象として実施した，メモリ保護機能を有するリアルタイムOSに対するテストについて述べる．我々は，メモリ保護機能に対するテスト手法を確立し，組合せツールやテストプログラム生成ツールを活用することで，テスト実施効率を向上させた．結果，TOPPERS/ATK2の不具合を19件検出し，メモリ保護機能を有するリアルタイムOSに対するテストの有用性を確認した．, Memory protection function plays a crucial role in guaranteeing automotive software safety. AUTOSAR specification prescribes memory protection function for automotive Real-Time OS. We have developed and published a Real-Time OS “TOPPERS/ATK2” based on AUTOSAR specification in our earlier research. However, past research has not clarified test methods and scales for Real-Time OS with memory protection function. The present study aimed to utilize our previous findings on test methods for μIRON based Real-Time OS, and to describe test methods for TOPPERS/ATK2, an AUTOSAR based Real-Time OS with memory protection function. The authors established new test methods for memory protection function by utilizing a combination tool as well as a test program generator to streamline the test execution. The present test methods detected 19 defects in TOPPERS/ATK2, and the usability of our test methods for Real-Time OS with memory protection function was confirmed.},
 pages = {1737--1751},
 title = {メモリ保護機能を持つAUTOSAR仕様ベースのリアルタイムOSに対するテスト},
 volume = {57},
 year = {2016}
}