Abstract:The validation of design pattern implementations to identify pattern violations has gained more relevance as part of re-engineering processes in order to preserve, extend, reuse software projects in rapid development environments. If design pattern implementations do not conform to their definitions, they are considered a violation. Software aging and the lack of experience of developers are the origins of design pattern violations. It is important to check the correctness of the design pattern implementations against some predefined characteristics to detect and to correct violations, thus, to reduce costs. Currently, several tools have been developed to detect design pattern instances, but there has been little work done in creating an automated tool to identify and validate design pattern violations. In this paper we propose a Design Pattern Violations Identification and Assessment (DPVIA) tool, which has the ability to identify software design pattern violations and report the conformance score of pattern instance implementations towards a set of predefined characteristics for any design pattern definition whether Gang of Four (GoF) design patterns by Gamma et al[1]; or custom pattern by software developer. Moreover, we have verified the validity of the proposed tool using two evaluation experiments and the results were manually checked. Finally, in order to assess the functionality of the proposed tool, it is evaluated with a data-set containing 5,679,964 Lines of Code among 28,669 in 15 open-source projects, with a large and small size of open-source projects that extensively and systematically employing design patterns, to determine design pattern violations and suggest refactoring solutions, thus keeping costs of software evolution. The results can be used by software architects to develop best practices while using design patterns.

Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks

Learning Likely Invariants to Explain Why a Program Fails

Data-Driven Template-Free Invariant Generation

Parichayana: An Eclipse Plugin for Detecting Exception Handling Anti-Patterns and Code Smells in Java Programs

Post-condition-Directed Invariant Inference for Loops over Data Structures.

An Adaptive Loop Invariant Generation Approach

Synthesizing Short-Circuiting Validation of Data Structure Invariants

Supporting secure programming in web applications through interactive static analysis.

A Two-Layered-Class Approach for the Reuse of Synchronization Code

Securing c programs by dynamic type checking

An observer design-pattern detection technique

A declarative approach to detecting design patterns from Java execution traces and source code

Automated Detection of Likely Design Flaws in Layered Architectures

Static and Dynamic Quality Assurance by Aspect Oriented Techniques

Live software documentation of design pattern instances

Architecture Anti-Patterns: Automatically Detectable Violations of Design Principles

Refactoring support for class library migration

Identification and Assessment of Software Design Pattern Violations

The concept of class invariant in object-oriented programming

Testing Constraint Checking Implementations Via Principled Metamorphic Transformations

Designing Software for Ease of Extension and Contraction