テストプログラム自動生成ツール「MTST」によるシステムレベル検証

スポンサーリンク

概要

論文の詳細を見る
近年、計算機システムの高速化/高機能化にともない、計算機システムの動作は複雑化している。このため、システムレベル検証の検証項目は増大し、検証内容は複雑になってきている。従来の人手による検証では次のような問題点がある。・テストプログラムの生成にかなりの時間を費さなければならない。・検証洩れの発生する危険性がある。上記のような問題点を解決するためにテストプログラム自動生成ツール「MTST」を用いた。このツールを用いることにより、テストプログラムの生産性は従来の方法に比べて5〜10倍に向上し、テストカバレッジも向上した。本稿では、我々の行なったCPU開発において、このテストプログラム自動生成ツールである「MTST」を用いて検証効率の向上を達成したシステムレベル検証について報告する。
一般社団法人情報処理学会の論文
1995-03-15

著者

関連論文

もっと見る

スポンサーリンク