パターンマイニング技術を用いたC言語プログラムからのコーディングパターン抽出

摘要

コーディングパターンとは複数のモジュールに分散する定型的なコードである．コーディングパターンは守らなければいけないルールを表しているため，そのルール通りにプログラムが記述されているか検査することでバグの検出ができる．本研究では，組込みシステム開発など高い信頼性が要求されるドメインで頻繁に用いられるC言語を対象として，シーケンシャルパターンマイニングを用いてコーディングパターンを抽出する手法を提案する．適用実験では，提案手法を用いて抽出したコーディングパターンが対象ソフトウェアの仕様の一部を表していることを確認した．