|
組み込みシステムソフトウェアの検証・試験フェーズ（ここで，「検証」とはモデルを対象とした検査を，「試験」とはプログラムを対象とした検査をいう。「モデル」とはシステムの振る舞いを示す状態遷移マシンをいい，「プログラム」とはモデルに基づいて実装された実動するシステムをいう）では，次のことが課題として取り上げられる。
１． 試験時間に関する課題
２． 検証・試験の質に関する課題
第1項の試験時間に関する課題とは，限られた開発期間の中で検証や試験に充当できる時間が限られているため，満足のいくレベルまで検証や試験ができないという課題である。第2項の検証・試験の質に関する課題とは，検証や試験の質が検証・試験者の経験に依存した方式に陥りがちであり，検証や試験にばらつきが生じてしまうという課題である。第2項の解決手法として，モデルの検証ツールとしてSPINやFDRなどがすでに知られている。しかしこれらはモデルの検査を行うためのツール（以下これを「モデル検証器」という）である。本プロジェクトでは，モデル検証器の検証対象をプログラムの試験にまで拡張したテスティングツールの開発を行う。これにより，第2項にあげた試験の質の向上とあわせて第1項にあげた試験時間の短縮に寄与することをめざす。
組み込みソフトウェアの開発方式としては，現在でも直接ポーティングする方法が主流である。組み込みソフトウェア開発を上流工程から行うという試みは，新しい手法となりえる。また既存のソフトウェア資源の流用につながるという期待もある。
|
