μITRONベースのRTOS向けテストプログラム生成ツール

鴫原 一人  眞弓 友宏  森 孝夫  本田 晋也  高田 広章  
(システム開発論文)

誌名
電子情報通信学会論文誌 D   Vol.J95-D   No.4   pp.870-884
発行日: 2012/04/01
Online ISSN: 1881-0225
DOI: 
Print ISSN: 1880-4535
論文種別: 論文
専門分野: ソフトウェア工学
キーワード: 
組込みシステム,  リアルタイムOS,  μITRON,  オープンソース,  テストツール,  

本文: PDF(1MB)>>
論文を購入




あらまし: 
近年,組込みシステムの重要性が高まる一方で,組込みソフトウェアの不具合を原因とする欠陥が問題視されている.組込みシステムでは,開発コスト削減のために,オープンソースのRTOSが使用されることがある.しかし,RTOSの検証は利用者側で実施する必要があるため,検証コストは削減できていない.そこで我々は,オープンソースで公開されているμITRONベースのRTOSに対するテストスイートを開発し,その網羅性やRTOSの信頼性の検証を実施している.RTOSに対するテストを分析した結果,人手でテストプログラムを開発することが困難であるという結論に至り,テストプログラム生成ツールを開発した.ツールを使用することにより,人手によるテストプログラム開発の問題を解決し,テストスイート開発の効率化や,テストスイートの拡張性,保守性を確認した.本論文では,開発したテストプログラム生成ツールとその評価について述べる.