|
本研究では，リアクティブ・システムなどの無限に継続する状態を扱えるソフトウェアの正当性を検証するための方法論の確立に向けて，次のような3つの研究成果を得た．(1) プログラムの実行ログから構成される系列データ集合から再現ルール形式の仕様を発見するアルゴリズムについて，その効率化のためにルール形成処理を並列化する処理方式を実装した．(2) 先行研究の再現ルール発見アルゴリズムを再検討し，それを改善した新たなアルゴリズムを提案して，有効性を実験的に確認した．(3) バグのあるプログラムについて，その実行時トレース・データからバグの位置特定のための相関ルールを導出するアルゴリズムの設計した．
|
