军械工程学院学报2017,Vol.29Issue(1) :61-66.DOI:10.3969/j.issn.1008-2956.2017.01.012

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

Study on Software Maintainability Design Rules Formal Representation and Checking System Design

张国光 叶飞 朱小冬
军械工程学院学报2017,Vol.29Issue(1) :61-66.DOI:10.3969/j.issn.1008-2956.2017.01.012

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

Study on Software Maintainability Design Rules Formal Representation and Checking System Design

张国光 1叶飞 1朱小冬1
扫码查看

作者信息

  • 1. 军械工程学院装备指挥与管理系,河北 石家庄 050003
  • 折叠

摘要

为提高软件维护性并改善软件质量,需要在软件设计和开发阶段开展软件维护性设计,其中维护性设计准则核查是关键环节之一.在对软件维护性设计准则类型和描述要素详细分析的基础上,提出了软件维护性设计准则的形式化表示方法,构建了软件维护性设计准则核查系统体系结构,对核查算法进行了设计和分析,并应用Tcl语言定义了具有良好扩展性的度量模型及准则模型.初步的应用表明,该研究成果能够指导软件维护性设计并改善软件质量,具有一定的应用价值.

Abstract

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.

关键词

软件维护性/设计准则/准则核查

Key words

software maintainability/design rule/rules checking随着信息化技术的飞速发展/软件已经广泛应

引用本文复制引用

出版年

2017
军械工程学院学报
军械工程学院科研部

军械工程学院学报

影响因子:0.062
ISSN:1008-2956
参考文献量1
段落导航相关论文