A Model-Driven Approach for the Management and Enforcement of Coding Conventions

Author(s)

Rodrigues Jr, Elder ; Pereira, Jose D'Abruzzo ; Montecchi, Leonardo

• Document type: Journal article
• Source: IEEE ACCESS; v. 11, p. 20-pg., 2023-01-01.

Abstract

Coding conventions are a means to improve the reliability of software systems, and they are especially useful to avoid the introduction of known bugs or security flaws. However, coding rules typically come in the form of text written in natural language, which makes them hard to manage and to enforce. Following the model-driven engineering principles, in this paper we propose an approach for the management and enforcement of coding conventions using structured models. We define the Coding Conventions Specification Language (CCSL), a language to define coding rules as structured specifications, from which checkers are derived automatically by code generation. To evaluate our approach, we run a thorough experiment on 8 real open-source projects and 77 coding rules for the Java language, comparing the violations identified by our checkers with those reported by the PMD static analysis tool. The obtained results are promising and confirm the feasibility of the approach. The experiment also revealed that textual coding rules rarely document all the necessary information to write a reliable checker. (AU)

• FAPESP's process: 19/06799-7 - Formalization of coding conventions for safety-critical systems
• Grantee: Elder de Oliveira Rodrigues Júnior
• Support Opportunities: Scholarships abroad - Research Internship - Master's degree
• FAPESP's process: 18/11129-8 - A metamodel to support the formalization of coding conventions
• Grantee: Elder de Oliveira Rodrigues Júnior
• Support Opportunities: Scholarships in Brazil - Master