組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価

摘要

組込みシステムでは，ユーザニーズの多様化，製品サイクルの短期化により開発期間を短くする必要がある．したがって，手戻りによるリスクを回避·軽減するため，開発早期にシステムレベルでの性能を評価する必要がある．本研究では，組込みソフトウェアにおける実行トレースの捨象手法を提案し，実装·評価を行う．実際のMFP（Multifunction Peripheral/Printer）製品の実行トレースに2つの提案手法を適用し，評価を行った‘捨象前の実行トレースの量と捨象後の実行トレースの量との割合を捨象率と定義し，捨象による実行トレースの簡略化の尺度とする．20個のテストパターンにおいて提案手法を適用し，捨象率を調べた．手法1（呼出元と呼出先の関係による捨象）では，捨象の閾値を90％とし捨象を行ったとき，捨象率は約60％だった．手法2（同一モジュール内の関数の統合による捨象）では，捨象率は約50％だった．20個のパターンのうち2つパターンでは特徴（テストパターンごとの実行トレースを識別するための固有の関数）が失われたが，それ以外のテストパターンにおいてはテストパターンの特徴を維持していた．よってラ同一モジュール内の関数の統合による捨象が有効であることを示した．