Automated Verification of Open/Closed Principle: A Code Analysis Approach

Title

Automated Verification of Open/Closed Principle: A Code Analysis Approach

Creator

Roy G.; Manohar M.; Jacob B.A.

Description

The SOLID principles are foundational to software engineering, focusing on the maintainability, scalability, and extensibility of software systems. The Open/Closed Principle (OCP), a pivotal element among these principles, underscores the need to design software modules that are open for extension yet closed for modification. This research explores automated verification techniques for OCP, addressing the validation of software modules through extensibility and adaptability assessments. The principal objectives involve the development of a code analysis approach and a methodology capable of automating the verification of adherence to OCP in developed codes, providing actionable insights to software developers. The system focuses on specific aspects of OCP, including inheritance, abstraction, and polymorphism, and aims to provide clear indications of where violations occur within a codebase. The implementation uses the Abstract Syntax Tree (AST) analysis to examine class definitions. The automated analysis of Python code using the defined rules offers a clear understanding of OCP adherence. Results are presented in Pandas DataFrames, indicating potential violations and providing developers with actionable insights to enhance code quality and maintainability. Overall, the automated code verification system aims to enhance code quality and adherence to fundamental design principles, paving the way for advancements in automated code analysis and software engineering practices. 2024 IEEE.

Source

2024 5th International Conference for Emerging Technology, INCET 2024

Date

2024-01-01

Publisher

Institute of Electrical and Electronics Engineers Inc.

Subject

Open Closed Principle; SOLID Principles

Coverage

Roy G., Department of Computer Science and Engineering, School of Engineering and Technology, CHRIST (Deemed to be University), Bangalore, India; Manohar M., Department of Computer Science and Engineering, School of Engineering and Technology, CHRIST (Deemed to be University), Bangalore, India; Jacob B.A., Department of Computer Science and Engineering, School of Engineering and Technology, CHRIST (Deemed to be University), Bangalore, India

Rights

Restricted Access

Relation

ISBN: 979-835036115-5

Format

Online

Language

English

Type

Conference paper

Identifier

https://doi.org/10.1109/INCET61516.2024.10593301

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85200990985&doi=10.1109%2fINCET61516.2024.10593301&partnerID=40&md5=da21e9096b41925629c4ddc4a7b3016c