文献

J-GLOBAL ID：201302257971213057   整理番号：13A0040516

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

The Tests for Multiprocessor RTOS Based on μITRON Specification

著者 (4件)： 鴫原一人 (名古屋大) ,  一場利幸 (名古屋大) ,  本田晋也 (名古屋大) ,  高田広章 (名古屋大)
資料名： 情報処理学会論文誌ジャーナル(CD-ROM)  (情報処理学会論文誌 論文誌ジャーナル(CD-ROM))
巻： 53  号： 12  ページ： 2682-2701  発行年： 2012年12月15日 
JST資料番号： Z0778B  ISSN： 1882-7837  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

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

シソーラス用語： *オペレーティングシステム ,  実時間処理 ,  *マルチプロセッサシステム ,  TRON ,  ベンチマーク ,  *プログラム検査 ,  プログラム検証 ,  工数 ,  支援プログラム ,  計算機コード
準シソーラス用語： *RTOS ,  μITRON ,  カーネル【オペレーティングシステム】 ,  テストスイート ,  カバレッジ【プログラム検証】 ,  ソフトウェアツール ,  ソースコード

分類 (3件)： オペレーティングシステム  (JD03020J) ,  ディジタル計算機方式一般  (JC02010O) ,  計算機システム開発  (JD02010R)

引用文献 (32件)：

• [1] 石田利永子,本田晋也,高田広章,福井昭也,小川敏行,田原康宏:TOPPERS/FMPカーネル:リアルタイム性と高スループットを実現可能な組込みシステム向けマルチプロセッサ用RTOS,コンピュータソフトウェア, Vol.29, No.4,pp.219-243(2012).
• [2] TOPPERS/FMPカーネル(online), available from 〈http://www.toppers.jp/fmp-kernel.html〉 (accessed 2012-05-28).
• [3] TOPPERS/ASPカーネル(online), available from 〈http://www.toppers.jp/asp-kernel.html〉 (accessed 2012-05-28).
• [4] 坂村 健(監修),高田広章(編):μITRON4.0仕様 Ver.4.02.00,トロン協会(2004).
• [51 TOPPERSプロジェクト/適用事例(online), available from 〈http://www.toppers.jp/applications.html〉 (accessed 2012-05-28).

タイトルに関連する用語 (4件)： μITRON ,  マルチプロセッサ ,  RTOS ,  テスト