A design pattern verifier in two-tier programming environment

The automatic verification of the design patterns implemented in codes is one of the most important and feasible tasks on automatic verification of program, and provides useful experience to fully automatic verifications of program codes in the future. In this paper, based on the design pattern formalization and two-tier programming paradigm, the framework of a design pattern verification tool is proposed, the object-oriented design of both program design model and design pattern specification is explained, the implementation of a prototype for the tool is introduced, and the verification of a real design pattern is illustrated.