软件维护中程序理解的应用与研究

程序理解是软件维护中的一项重要活动。从软件维护和认知学的角度分析了程序理解的任务，描述了几种主流的程序理解的模型。最后针对影响程序理解的因素提出了相应的对策，为提高维护效率提供帮助。     

软件维护中程序理解的应用与研究

程序理解是软件维护中的一项重要活动。从软件维护和认知学的角度分析了程序理解的任务,描述了几种主流的程序理解的模型。最后针对影响程序理解的因素提出了相应的对策,为提高维护效率提供帮助。     

关于软件维护的几个问题

软件维护是软件生存期中时间最长的一个阶段。也是消耗人力最多的一个时期。原因除其问题本身的复杂性外,主要是未引起人们的重视,致使后果严重。软件维护根本问题在哪里?决定因素是什么?相互间有何关系?如何提高软件维护性?有那些维护支援工具?维护问题能否定量研究?本文试图回答这些问题。第一节介绍一些国外调查和统计资料,用事实充分说明这个问题的重要性。第二节主要从维护问题事项出发,通过因子分析,找出问题因素,研究其与决定要素的相关性。为建立软件维护理论奠定基础。第三节讨论软件维护性与软件开发各阶段技术的紧密关系。强调指出,从开发阶段想到将来的维护从而采取必要的措施,是提高维护性的根本途径。并列举了一些维护支援工具。第四节讨论定量问题,这是近年来才开始的较新的研究课题,也是软件维护问题深入研究的重要标志。其出发点是认为软件维护最重要的质量属性之一是程序稳定性,而程序稳定性是指修改程序时克服可能的波及影响的能力,文中介绍了一种计算程序稳定性的公式,并举出程序实例,进行具体计算,验证了这个公式的有效性,同时也指出这项工作才刚开始,尚有很大局限性。     

软件工程的演进（六）

- 软件的维护 由于程序复杂且庞大,维护遗留程序的开销是巨大的。各种软件维护研究项目,如ESPRIT ⅡREDO,都试图解决软件维护和二次工程化问题。研究人员将这些技术标识为:易发故障代码段标识、预防性维护技术、配置控制、可跟踪性、程序分片及扩展、变量分类、相关性分析、图形调用生成、实体—联系图(E—R图)生成、涟波效应分析以及路径分析。然而,软件维护不可能完全自动     

用于软件维护的Oracle数据库移植工具

作为现代计算机信息系统和计算机应用系统的基础与核心——数据库，在软件维护中充当着重要的角色，因为只有在数据库移植工作完成舌，才具备应用程序的测试环境。因此做好软件维护中的数据库移植成为首要的工作。针对极具前瞻性和发展性的Oracle数据库。提出了一套用于软件维护的Oracle数据库移植方案。利用这一方案能有效地实现数据库移植，提高软件维护效率。     

理解软件的一种工具:MAP

软件维护是数据处理工业今天所面临的一个最重要的问题。本文阐述了一种工具 MAP,它帮助程序员理解他们的程序从而解决软件维护问题。     

基于C/S架构的系统监控软件计与实现

软件维护占据了软件生命周期的绝大部分时间,其中软件维护的一项基础性工作是对软件系统运行状态进行监控.设计并实现了基于C/S架构的系统监控软件,服务端程序采用WPF界面开发框架提升用户界面的友好性,客户端程序采用QT开发框架实现跨平台部署,服务端与客户端通过UDP报文进行消息交互.     

用于软件维护阶段的实现方案

用户工作要求的改变，会对所使用的软件提出新需求，因此软件维护不仅仅是纠正原设计中的错误，还要对用户提出的新功能和性能进行修改或再开发，本文提供了几种用于软件维护的实现方案。     

一种简易的FoxBASE+通用菜单程序

在FoxBASE＋中，将菜单及其相关信息存放于一菜单库文件里，通过执行一通用菜单程序，完成整个应用系统功能的挂接，达到简化对每一个菜单的设计及方便软件维护。     

程序变量的相关性分析

本文提出了程序变量的相关性概念和求相关变量的算法。为软件维护增添了一个新内容。     

Experience with logical code analysis in software maintenance

Formal program specification and logical analysis are often used for program derivation and proofs of correctness. The basic tools include the logic of predicate calculus and Dijkstra's weakest precondition calculations. Recent work has shown that these tools are also very useful in the maintenance phase of the software life-cycle. This paper reports experience working with software maintenance teams to apply formal methods. Formal logical analysis is invaluable for isolating defects, determining code corrections, eliminating side-effects, and code re-engineering. Logical analysis works well in software maintenance because many defects can be isolated to small segments of code. These small segments can then be analyzed manually or with code analysis tools. The result is lowered software maintenance costs due to the benefits of defect prevention, reduction of code complexity metrics, productivity improvements, and better specifications and documentation. It would be beneficial to use logical code analysis in the earlier phases of the software life-cycle, such as quality assurance and inspection.     

基于反射植入的面向对象程序动态分析机制

随着软件系统的日益复杂，软件开发、维护以及进化的大部分工作和主要成本集中在对现有系统的理解上。逆向工程以支持程序理解为目标，通过分析目标系统，产生系统不同形式和不同层次的抽象表示，帮助用户从多个层面和角度理解目标系统。为了开发一种实用的逆向工程工具，文中在深入分析了反射、开放编译、植入等技术的基础上，提出了一种基于反射植入的面向对象程序动态分析机制，其主要思想是通过反射植入软件触发器获取目标系统的动态信息，这些信息由信息收集机制收集整理并保存到Cau-Graph，最后从Cau-Graph抽象出符合UML标准的动态模型图。通过项目实践发现，这种机制是可行的。     

ANSYS二次开发功能及其在双层高架桥墩地震倒塌仿真分析中的应用

文章基于ANSYS二次开发,研究地震作用下城市双层高架桥墩的倒塌仿真分析。介绍了该文所用到的相关ANSYS二次开发功能、研究内容、方法及项目设计思想。研究表明,这一思想方法充分利用了已有的大型有限元软件的强大功能,降低了开发周期,减少了重复工作。程序的后期维护工作也得到极大的简化,从而保证了程序的稳定性和可靠性。     

Some Stability Measures for Software Maintenance

Software maintenance is the dominant factor contributing to the high cost of software. In this paper, the software maintenance process and the important software quality attributes that affect the maintenance effort are discussed. One of the most important quality attributes of software maintainability is the stability of a program, which indicates the resistance to the potential ripple effect that the program would have when it is modified. Measures for estimating the stability of a program and the modules of which the program is composed are presented, and an algorithm for computing these stability measures is given. An algorithm for normalizing these measures is also given. Applications of these measures during the maintenance phase are discussed along with an example. An indirect validation of these stability measures is also given. Future research efforts involving application of these measures during the design phase, program restructuring based on these measures, and the development of an overall maintainability measure are also discussed.     

基于GRASP的软件维护过程仿真研究

软件维护问题已经日益成为人们关注的焦点,除软件产品本身固有因素(如软件维护性)影响软件维护工作量外,软件维护过程也对它有着重要的影响,一个资源配置合理的维护过程能够提高维护效率,并降低维护费用.文中提出了一个用于对软件维护过程运行进行建模和评估的方法,它能够提高一个维护组织的过程成熟度和效率.该方法建立了基于排队网络软件维护过程模型,并通过GRASP仿真来确定它的运行情况,可以对多种过程方案选择进行仿真,从而避免了实际系统运行实验的风险,仿真结果表明,该方法切实有效,它为软件维护过程的分析及过程改进提供了一个可行的方法.     

Comparing uniform and flexible policies for software maintenance and replacement

The importance of software maintenance in managing the life-cycle costs of a system cannot be overemphasized. Beyond a point, however, it is better to replace a system rather than maintain it. We derive model and operating policy that reduces the sum of maintenance and replacement costs in the useful life of a software system. The main goal is to compare uniform (occurring at fixed time intervals) versus flexible (occurring at varying, planned time intervals) polices for maintenance and replacement. The model draws from the empirical works of earlier researchers to consider 1) inclusion of user requests for maintenance, 2) scale economies in software maintenance, 3) efficiencies derived from replacing old software technology with new software technology, and 4) the impact of software reuse on replacement and maintenance. Results from our model show that the traditional practice of maintaining or replacing a software system at uniform time intervals may not be optimal. We also find that an increase in software reuse leads to more frequent replacement, but the number of maintenance activities is not significantly impacted.     

基于PLC的加速器高频D电路频率自动调谐系统

特运动型PLC成功的应用于加速器高频D电路自动调谐系统中，实现系统自动调谐。达到了在强电磁干扰环境下系统稳定运行的要求。根据鉴相器的输出的大小，用相应的编程软件对PLC两路输出脉冲进行编程，控制输出脉冲的频率，结合使用三相混合式步进驱动器、步进电机及机械传动系统，从而控制步进电机实现D电路的精确调谐。使用PLC降低系统调试和布线难度，缩短了开发周期，并为系统调试和维护提供了灵活性。     

一种源程序到控制流图的自动生成方法

将源程序转换为控制流图是软件工程领域中逆向工程的研究内容之一。本文给出了一种由源程序生成其对应的控制流图的方法和实现技术。该方法和技术也可应用于程序分析及软件纵等方面。