PROGRAM VERIFICATION METHOD

PROBLEM TO BE SOLVED: To verify a program with a less number of times and with high coverage while suppressing overlapping when verifying the program.SOLUTION: A candidate table in which components of a program which can be verified for each verification item are listed, and a similarity list table between verification items in the candidate table are created beforehand. Among the verification items including the component with a minimum total value for the number of times of appearance, the verification item including the maximum number of components is selected as a predetermined execution item. The components included in the selected predetermined execution item are deleted from the candidate table, work for selecting the predetermined execution item is then repeated, and the verification is actually executed. If a bug is detected, an additional predetermined verification item most similar to the detected verification item is also actually verified and further, if there is the additional predetermined verification item for which a bug is detected, work for performing the verification by selecting a verification item with high similarity to the additional predetermined verification item is repeated. 【課題】プログラムの検証にあたり、重複を抑制しながら少ない回数で網羅率の高い検証を行う。【解決手段】個々の検証項目ごとに検証できるプログラムの構成要素をリスト化した候補テーブルと、その候補テーブルにおける検証項目間の類似性一覧テーブルを予め作成しておき、出現回数合計値が最少の上記構成要素を含む上記検証項目の中で、含む構成要素の数が最も多い上記検証項目を実行予定項目として選び、選んだ上記実行予定項目に含まれる構成要素を候補テーブルから削除した上で、上記実行予定項目の選択を行う作業を繰り返した上で、実際に検証を実行し、バグを検出した場合には、その検出した検証項目との類似性が最も高い追加予定検証項目についても実際に検証を行い、さらにバグを検出した追加予定検証項目があれば、さらにその追加予定検証項目との類似性が高い検証項目を選んで検証を行う作業を繰り返す。【選択図】図５