Title :
A Quality Verification Model for Design Pattern
Author :
Hsueh, Nien-Lin ; Chu, Peng-Hua ; Lee, Jonathan ; Chu, William
Author_Institution :
Feng Chia Univ., Taichung
Abstract :
In recent years, the influence of design patterns on software quality has attracted an increasing attention in the area of software engineering, as design patterns encapsulate valuable knowledge to resolve design problems, and more importantly to improve design quality. Basically, a design pattern is composed of an intent description and a solution model. When the problem in the intent is a quality problem, the structure model should provide a solution to improve the relevant quality. In this work we provide an approach to verify if a design pattern is well-designed, i.e. it answers the question of the proposed structural model really resolves the quality problems described in the intent. Our approach is based on a generic object-oriented quality model.
Keywords :
formal verification; software quality; design pattern; generic object-oriented quality model; quality verification model; software engineering; software quality; Buildings; IEC; Object oriented modeling; Pattern analysis; Production facilities; Software design; Software engineering; Software quality; Software systems; Tin;
Conference_Titel :
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International
Conference_Location :
Beijing
Print_ISBN :
0-7695-2870-8
DOI :
10.1109/COMPSAC.2007.36