软件维护性设计准则形式化表示及核查系统设计

摘要

Software maintainability design should be conducted during software design and development phase to improve its maintainability and quality, and software maintainability design rules checking is one of most important technological links.Software maintainability design rules formal representation method was proposed after detailed analysis of the types and description elements of the rules.Software maintainability design rules checking system architecture was built and checking algorithm was designed and analyzed.Metrics and rules models were built using Tcl description language.The initial application indicated that the method is practicable for software maintainability and quality improvement.%为提高软件维护性并改善软件质量,需要在软件设计和开发阶段开展软件维护性设计,其中维护性设计准则核查是关键环节之一.在对软件维护性设计准则类型和描述要素详细分析的基础上,提出了软件维护性设计准则的形式化表示方法,构建了软件维护性设计准则核查系统体系结构,对核查算法进行了设计和分析,并应用Tcl语言定义了具有良好扩展性的度量模型及准则模型.初步的应用表明,该研究成果能够指导软件维护性设计并改善软件质量,具有一定的应用价值.