発明情報

背景

ブラックボックスシステムのテストは、ブラックボックスシステムが、所定の仕様（specification）を満たすかどうかを確認することである。ブラックボックスシステムは、内部動作等が不明であるため、ブラックボックスシステムのテストには、従来、ランダムシミュレーションが用いられている。しかし、ランダムシミュレーションでは、ランダムに多数の入力をブラックボックスシステムに与える必要があり、効率が悪い。特に、反例が、稀にしか生じない場合には、ランダムな入力では、反例を発見するのが困難なことが多い。このため、ランダムシミュレーションを、長時間行う必要が生じ、効率が低下する。

発明概要と利点

発明者らは、ブラックボックスシステムのテストの効率を改善するため、ブラックボックスシステムのテストのための新たな技術を開発した。開発の方法は、ブラックボックスシステムの挙動を近似するモデルを生成する学習アルゴリズムに基づいて、前記モデルの生成処理を実行し、生成された前記モデルのテストを実行することを含むテスト処理を実行する。

➢ ブラックボックスシステムのテストが広い範囲で可能

テストにおいて、ブラックボックスシステムとして、MathWorks社のWebサイト（https://jp.mathworks.com/help/simulink/slref/simulation-of-a-bouncing-ball.html）に記載の「跳ねるボールモデル（Bouncing Ball Model）」を用いた。より具体的には、当該Webサイ トに記載のSecond-Order Integratorブロックを使用した跳 ねるボールモデルを用いた。１０条件でテストした。本入発品１～４は、アルゴリズムが異なる。