平成１２年度未踏ソフトウェア創造事業


採択案件評価書

１．担当ＰＭ 　５．高田　広章
２．採択者氏名 　小林　憲次　（日本コロムビア株式会社白河工場）
３．ﾌﾟﾛｼﾞｪｸﾄ実施管理組織 　(株)ＴＩＳ技術研究所
４．委託金支払額 　3,031,875円
５．テーマ名 　＜kVerifierの実用化及び仕様記述言語との連携＞
６．関連Webサイトへのリンク www.nasuinfo.or.jp/FreeSpace/kenji
７．開発テーマの概要


最近、組込みシステムの分野においてもシステムの複雑化が進んでおり、システムのテスト作業の効率化は大きな課題となっている。この問題に対して開発者は、kVerifier と呼ばれるテストベンチライブラリの開発を行ってきた。これは、VHDL や Verilog などのテストベンチの考え方をソフトウェアに持ち込んだもので、テストベクタを使って C言語で記述したプログラムのデバッグを可能にするものである。

　この開発テーマでは、この kVerifier を拡張して、SpecC や SystemC などハードウェアを Cベースの言語で記述する場合や、リアルタイムカーネルを用いたシステムにも適用する方法について検討を行った。また、テストベクタの作成を容易にすることを狙って、テストベクタの再利用方法についても検討した。
８．採択の経緯


この開発テーマの当初の提案は、初年度に既存の kVerifier の改良およびドキュメント作成と、SpecC と組み合わせたプロトタイプシステムの開発を、第2年度に SpecC と組み合わせたシステム開発を行う計画であった。

　しかし、既存の kVerifier の改良には未踏性が認められず、ドキュメント作成は事業の趣旨にあわないと判断し、SpecC と組み合わせた場合のフィージビリティスタディのみを委託し、予算も大幅に減額した。
９．達成度と問題点


開発者は、今回のフィージビリティスタディにより、ソフトウェアとハードウェアの両方を仕様段階から実装段階まで一貫して、テストベクタを再利用しながら開発するクロス環境を、kVerifier をベースとして実現できる可能性を示したとしており、開発テーマの目標は達成したと言える。ただし、その有効性は、今回の検討だけで十分に示されたとは言えず、実装作業へ踏み出すにあたってまだ課題が残っている。
10．今後の展開


今回の検討をさらに進め、本システムの特徴、特にテストベクタの再利用の有効性を検証することが期待される。