Building SOFL-to-Java Traceability Links using Multi-dimensional Similarity Measures

• Item type: Symposium(1)
• 公開日: 2021-08-30
• タイトル: Building SOFL-to-Java Traceability Links using Multi-dimensional Similarity Measures
• タイトル / 言語: en
• タイトル: Building SOFL-to-Java Traceability Links using Multi-dimensional Similarity Measures
• 言語: eng
• キーワード / 主題Scheme: Other
• キーワード / 主題: 形式手法
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: Hiroshima University
• 著者所属: Hiroshima University
• 著者所属: Hosei University
• 著者所属(英): en
• 著者所属(英): Hiroshima University
• 著者所属(英): en
• 著者所属(英): Hiroshima University
• 著者所属(英): en
• 著者所属(英): Hosei University
• 著者名: Jiandong, Li; Shaoying, Liu; Runhe, Huang
• 著者名(英): Jiandong, Li; Shaoying, Liu; Runhe, Huang
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: To achieve an automatic formal specification-based program fault detection, the open problem of how to automatically link the components in the formal specification to the corresponding ones in the implemented code must be addressed. To reduce the manpower and time cost, some automated techniques have already been developed but their effectiveness is limited mainly due to the over dependency of textual similarity. In this paper, we present an automatic method for constructing the traceability links between SOFL formal specifications and Java program code. Unlike the existing work, our method not only considers the semantic similarity, but also structural, functional, and relational similarities as the measurement dimensions. It also operates at multiple levels of a specification, such as data flows, processes, and modules, to establish fine-grained link relationships between artifacts. Further, we conduct a comprehensive empirical evaluation of the proposed method using selected two modules of a critical ATM system's SOFL formal specification and its Java implementation with the size of 951 code of lines and 36 traceability links. The result shows that we can establish SOFL-to-Java links with the precision of 97.2% which is close to highest accuracy of existing naming convention technique in the situation of consistent identifier and the precision of 88.8% illustrating high performance in precision and generality in the situation of inconsistent identifier.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: To achieve an automatic formal specification-based program fault detection, the open problem of how to automatically link the components in the formal specification to the corresponding ones in the implemented code must be addressed. To reduce the manpower and time cost, some automated techniques have already been developed but their effectiveness is limited mainly due to the over dependency of textual similarity. In this paper, we present an automatic method for constructing the traceability links between SOFL formal specifications and Java program code. Unlike the existing work, our method not only considers the semantic similarity, but also structural, functional, and relational similarities as the measurement dimensions. It also operates at multiple levels of a specification, such as data flows, processes, and modules, to establish fine-grained link relationships between artifacts. Further, we conduct a comprehensive empirical evaluation of the proposed method using selected two modules of a critical ATM system's SOFL formal specification and its Java implementation with the size of 951 code of lines and 36 traceability links. The result shows that we can establish SOFL-to-Java links with the precision of 97.2% which is close to highest accuracy of existing naming convention technique in the situation of consistent identifier and the precision of 88.8% illustrating high performance in precision and generality in the situation of inconsistent identifier.
• 書誌情報: ソフトウェアエンジニアリングシンポジウム2021論文集; 巻 2021, p. 143-150, 発行日 2021-08-30
• 出版者 / 言語: ja
• 出版者: 情報処理学会