情報処理学会 第77回全国大会講演要旨

形式仕様に基づいたソフトウェア開発において，テストケースの自動生成に関しては既にいくつかの手法が提案されている．しかし，これまでに提案された手法は，仕様が正しく実現できていることを確認するためのものがほとんどであり，プログラムの全てのパスを通過するテストケース自動生成の問題に関しては未解決である．本稿では，確率的探索手法である遺伝的アルゴリズムを用いたテストケース生成手法を提案する．形式仕様に基づき設計したATMシステムを用いたテストケースの生成を行い，従来手法に比べてプログラムのパスの網羅率を大きく向上するテストケース自動生成が実現できる可能性を示す．