μITRONベースのマルチプロセッサ向けRTOSのテスト

概要

論文の詳細を見る
組込みシステムは高い品質が求められるので,ソフトウェアの中核をなすRTOSに対するテストの実施は重要である.近年,組込みシステムにおいてもマルチプロセッサの利用が進んでいるが,マルチプロセッサ向けRTOSに対するテストプロセスやテスト手法,テストの規模は明らかになっていない.本研究では,μITRONベースのマルチプロセッサ向けRTOSであるTOPPERS/FMPカーネルに対するテスト設計,テストプロセス,テスト手法,およびテストスイートの開発と実施について述べる.我々は,22個のテストカテゴリを抽出し,その中から仕様とソースコードカバレッジの網羅を目的として,実施すべきテストを決定した.テスト手法として,テストケース数を抑止するためのテストケース設計ポリシ策定や,ツールによるテストプログラムの開発工数削減,各プロセッサの実行順序に依存するテストの実行効率化などを行った.テストスイートの開発と実施を通じて,マルチプロセッサ向けRTOSのテストの規模や,ツールによる効率化の効果を確認した.また,開発したテストスイートを用いたテストを実施することで,ソースコードカバレッジが100%となることを確認し,合計70件の不具合を検出した.
2012-12-15