動的オブジェクト利用パターンの進化分析によるドメイン固有仕様マイニング

仕様マイニングにおいて「高価値な仕様・ドメイン固有の仕様」の抽出を可能にするため、以下2つのテーマを実施した。1. オブジェクト利用パターンの進化分析による仕様の有用度判定ある仕様が進化に伴って不変（安定的）である場合、その仕様は、信頼度が高い、又は、プロジェクトの中核部分（変更されにくい部分）に関する重要な制約を表現している可能性が高いと期待できる。この考え方に基づき、ソフトウェア進化に伴う“仕様の安定度”を解析により求めることで、仕様の有用度を判定する手法を開発した（安定であるほど有用と判定）。広く利用されているオープンソースソフトウェア（OSS）を題材に、手法を適用、結果を分析した。結果、「出現頻度は稀だが有益な仕様、すなわち、周知でない仕様（既存手法では発見が困難）」を、抽出された膨大な仕様の中から選び取ることができることを確認した。2. オブジェクトの重要度分析によるドメイン固有仕様の抽出このテーマでは、対象システムの中で中核を担うオブジェクト群を特定し、中核オブジェクト群に関する仕様を抽出することで、ドメイン固有仕様を抽出する。2018年度は、これまでの研究成果を拡張することで、中核オブジェクト群の特定手法を開発した。まず、アクセス頻度や参照関係などの動的特徴を基に重要なオブジェクトを特定し、その後、設計パターンに基づき、重要オブジェクトと強く関連するオブジェクト群を特定することで、対象ソフトウェアの中核オブジェクト群を特定できるようにした。複数のOSSを対象に手法を適用し、中核オブジェクト群の特定精度の評価を行い、既存手法に対する優位性を確認した（F1スコア・再現率共に0.2ポイント程度向上）。今後の研究として、特定した中核オブジェクト群の仕様のみを効率よくマイニングする新たな手法の開発が必要となる。

仕様マイニングにおいて「高価値な仕様・ドメイン固有の仕様」の抽出を可能にするため、以下2つのテーマを実施した。1. オブジェクト利用パターンの進化分析による仕様の有用度判定ある仕様が進化に伴って不変（安定的）である場合、その仕様は、信頼度が高い、又は、プロジェクトの中核部分（変更されにくい部分）に関する重要な制約を表現している可能性が高いと期待できる。この考え方に基づき、ソフトウェア進化に伴う“仕様の安定度”を解析により求めることで、仕様の有用度を判定する手法を開発した（安定であるほど有用と判定）。広く利用されているオープンソースソフトウェア（OSS）を題材に、手法を適用、結果を分析した。結果、「出現頻度は稀だが有益な仕様、すなわち、周知でない仕様（既存手法では発見が困難）」を、抽出された膨大な仕様の中から選び取ることができることを確認した。2. オブジェクトの重要度分析によるドメイン固有仕様の抽出このテーマでは、対象システムの中で中核を担うオブジェクト群を特定し、中核オブジェクト群に関する仕様を抽出することで、ドメイン固有仕様を抽出する。2018年度は、これまでの研究成果を拡張することで、中核オブジェクト群の特定手法を開発した。まず、アクセス頻度や参照関係などの動的特徴を基に重要なオブジェクトを特定し、その後、設計パターンに基づき、重要オブジェクトと強く関連するオブジェクト群を特定することで、対象ソフトウェアの中核オブジェクト群を特定できるようにした。複数のOSSを対象に手法を適用し、中核オブジェクト群の特定精度の評価を行い、既存手法に対する優位性を確認した（F1スコア・再現率共に0.2ポイント程度向上）。今後の研究として、特定した中核オブジェクト群の仕様のみを効率よくマイニングする新たな手法の開発が必要となる。