| 研究概要 |
平成3年度は,組合せ理論回路を対象に,ニュ-ラルネットワ-クを用いて自動テスト生成を行う方法を再検討した。そのために,テスト生成アルゴリズムを研究している国内の大学や企業の研究所を訪問して,この分野の研究に関する調査及び議論を通じての研究の打合せなどを行った。現在,テスト生成法の有効性、実用性を評価するために,テスト生成用のニュ-ラルネットワ-クシミュレ-タ及び,それに基づくテスト生成システムを作成中である。同時に,市販のニュ-ラルネットシミュレ-タを購入し,そのシミュレ-タを用いてテスト生成システムを構築する予定である。
初めから予想されたことではあるが,ソフトウェアによるニュ-ラルニットワ-クシミュレ-タの速度の問題がシミュレ-タを作成する過程で現われており,大規模な論理回路に対して実験することは非常に困難であることがわかってきた。特に,テスト生成問題では,ホップフィ-ルドモデルでのエネルギ-を最小にする最小解のみが求めるテストベクトルであるので,極小解に落ち込んだ後はボルツマンモデルによる,いわゆるアニ-リングによる方法を採用しなければならず,その収速性の速度について,回路規模が大きくなるにつれて,非常に困難な問題となっている。
|
