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

本論文では、SOFL形式仕様に基づくプログラムのテストスクリプト自動生成手法について考案し、それに基づき開発したテストスクリプト自動生成ツールについて記載した。テストスクリプト生成の目的はSOFL形式仕様に基づいて生成されたテストケースをテスト対象プログラムに入力することである。この研究によってSOFL形式仕様に基づくテストの自動化部分が拡大される。テストスクリプト自動生成の問題点は、テスト対象メソッドの引数の型がメソッドに対応する仕様であるSOFLプロセスの入力の型と正しく対応しているか、テストケースをどのようにテスト対象メソッドに入力するかという二つの点である。この問題点はSOFL形式仕様、テストケース、テスト対象プログラムを解析することで解決した。