可重用软件对象定位和理解的认识工具

软件重用是一个利用现存构件生成新程序的过程。在构件被重用之前，它们必须能够被潜在的重用者找到并理解。这里描述支持这种需要的两个原型系统：用来定位软件构件的ＣｏｄｅＦｉｎｄｅｒ和允许用户得到程序实例解释的Ｅｘｐｌａｉｎｅｒ．软件重用的问题远非简单地定位，理解和修改程序，而必须把它看作一个设计过程。当用户解决某个问题时，他们对问题的理解也在加深和改变。通常，这种在设计中固有的提炼和渐进过程，必须与软件     

一种新的软件模型及其开发支撑环境FDPE

提出并介绍了一种新的软件模型──二阶段软件模型（即将软件过程分为：由需求形成规范和由规范变换为程序等两个阶段）。且实现了一个支持这种模型开发的以软件过程自动化为目标的集成化ＣＡＳＥ环境ＦＤＰＥ。利用它可实现计算机系统对软件过程的支持，从而可大大提高软件产品的质量和生产率。文中描述了ＦＤＰＥ的组成、功能及特点。     

软件过程建模语言研究

本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．     

路径复杂性度量研究

软件复杂性度量是对程序静态特性和动态行为的理解难易程度的描述。本文通过分析传统的程序复杂性度量方法的不足之处，提出了一种新的路径复杂性度量方法及计算路径复杂度的算法，并给出了实例。新的度量方法比传统的度量方法更精确和容易实现。     

一种增量式数据流分析方法

数据流分析是编译器中重要部分，而增量式分析在程序开发环境和过程间优化编译器中有着相关实用的价值，当程序发生变化时，它可以增量式地维护数据流信息，而不致因程序的任何小改动都重新进行数据流分析，给出了一种增量式的消去数据流算法，它基于路径简化算法，具有和路径简化算法同样的复杂度，同样的通用性（适用于不可归约流图和流函数不完备的情况），而且能方便地在程序发生变化时维护现有的数据流信息。     

与设备无关的CAD／CAM软件生成环境

程序分级交互绘图系统ＰＨＩＧＳ（Ｐｒｏｇｒａｍｍｅｒ′ｓＨｉｅａｒｃｈｉｃａｌＩｎｔｅｒａｃｔｉｖｅＧｒａｐｈｉｃＳｙｓｔｅｍ）是一种有用的ＣＡＤ／ＣＡＭ软件生成工具。本文叙述一个应用程序设计环境，ＣＡＤＭＡＤＥ（ＣｏｍｐｕｔｅｒＡｉｄｅｄＤｅｓｉｇｎａｎｄＭａｎｕｆａｃｔｕｒｉｎｇＡｐｐｌｉｃａｔｉｏｎｓＤｅｖｅｌｏｐｍｅｎｔＥｎｖｉｒｏｍｍｅｎｔ）它被设计成为一个标准支持软件的框架，帮助ＣＡＤ／ＣＡＭ程序员去产生一个新的用户ＣＡＤ／ＣＡＭ应用软件。ＣＡＤＭＡＤＥ不是对软件的一种描述，而是提出一套生成应用程序设计环境所必需的规则和风格。     

Ada软件SLICE分析器（ASA）

对程序进行分析和测试是提高软件可靠性有效途径，本文介绍的Ａｄａ软件ＳＬＩＣＥ分析器是一种对被测软件进行静态数据流分析的工具，它能缩小用户分析与检查被测程序的范围，帮助用户及时找到所关心的程序段和语句，为保证Ａｄａ软件系统的质量，提高开发与维护大型复杂软件系统的效率提供支持。     

利用.PLT文件和PLOT绘制工程图形

ＰＬＯＴ是ＳＵＲＦＥＲ软件中一个图形输出程序，．ＰＬＴ文件则是由ＴＯＰＯ和ＳＵＲＦ形成的绘图文件。在ＳＵＲＦＥＲ绘图过程中发现，ＰＬＴ文件是由一组绘图命令组合的。根据其结构可以用高级语言编制类型众多的绘图程序，扩展了ＳＵＲＦＥＲ的绘图功能。本文就．ＰＬＴ文件的形成和ＰＬＯＴ绘制图形作了探讨。     

在Unix及Windows下安装Netscape软件

一、WWW软件系统的原理WWW（WorldW饲eWeb）软件系统是由TimBernerLee于1989年在西欧核子研究中心（CERN）发明的，它在Internet的TCP／IP通讯协议的基础上，由各计算机节点上统一的WWW软件和超文本（Hypertext湖式的信息组成。WWW软件采用的是现在流行的客户／服务器（Client／Server）结构，现在全世界已有成千L万台WWW服务器用户可以通过在自己机器上安装的WWW客户程序，去访问这些服务器以获得信息。WWW软件之所以在几年的时间里就被广泛接受是因为它不仅拥有以前Internet网上刻览器（Browser）的优点，同时兼容它们…     

软件温度计的设计

软件温度计的设计新疆电子计算中心瓮正科（乌鲁木齐８３００１１）国外的许多软件，在系统安装，系统生成，文件拷贝等操作过程中，为了形象地描述其进行的过程，都设计了一个叫做温度计的程序，它模拟过程进展情况，象一个温度计一样，在软件执行过程中，不断地提高“温...     

Error detection and diagnosis for fault tolerance in distributed systems

The early error detection and the understanding of the nature and conditions of an error occurrence can be useful to make an effective and efficient recovery in distributed systems. Various distributed system extensions were introduced for the implementation of fault tolerance in distributed software systems. These extensions rely mainly on the exchange of contextual information appended to every transmitted application specific message. Ideally, this information should be used for checkpointing, error detection, diagnosis and recovery should a transient failure occur later during the distributed program execution. In this paper, we present a generalized extension suitable for fault-tolerant distributed systems such as communication software systems and its detection capabilities are shown. Our extension is based on the execution of message validity test prior to the transmission of messages and the piggybacking of contextual information to facilitate the detection and diagnosis of transient faults in the distributed system.     

Setting checkpoints in legacy code to improve fault-tolerance

In this paper we describe the results of a study of the insertion of checkpoints within a legacy software system in the aerospace domain. The purpose of the checkpoints was to improve program fault-tolerance during program execution by rolling back system control to a saved state from which program execution can continue. The study used novice programmers for the determination of where the checkpoints were to be added. The focus was on the programmer’s understanding of the code, since this affected how the checkpoints were placed. The results should provide guidance to those interested in improving the fault-tolerance of legacy software systems, especially those written in older, nearly obsolescent programming languages.     

程序执行时间的静态预估与可视化分析方法

软件时间性能分析与评估技术是实时软件开发中的一个重要课题.提出了一种基于控制流程图的程序执行时间的可视化分析框架,研究了中间代码段与源程序中语句的对应关系的自动分析、源程序语句行的CPU周期数的提取和计算方法、基于控制流程图的点到点最大时间分析算法和CPU周期的绝对时间估计方法.设计并实现了一个实用的基于控制流程图的程序执行时间静态分析与评估工具.最后,对研究工作进行了相关比较和总结.     

一种具有时间多样性的虚拟机软件保护方法

软件核心算法防逆向保护,是软件研发乃至软件产业发展的迫切需求,也是当前软件安全研究领域的热点之一.虚拟机软件保护作为一种保护强度高、商业应用广的技术,已被用于软件核心算法保护,并在很大程度上能够抵御攻击者的逆向分析.但这种保护方法难以抵御累积攻击,无法提供更加持久的保护.时间多样性是指一个软件在不同时间被执行时,执行路径不同,主要用于抵御累积攻击.将时间多样性与虚拟机软件保护相结合,提出了一种具有时间多样性的虚拟机软件保护方法,称为TDVMP.在TDVMP中,通过构造多条相异的执行路径,使得被保护软件在不同次执行时,能够动态选取不同执行路径,从而极大地增加了攻击者进行累积的核心算法逆向分析攻击的难度.同时,对于TDVMP设计中的关键问题,比如多执行路径的构造与选择等进行了详细讨论.此外,提出了时间多样性保护效果的评价指标,并给出了其度量及计算方法.以所实现的原型系统为基础,通过一组具有一定实用价值的实例,对所提出的方法进行了测试、实验.结果表明,TDVMP对于软件核心算法防逆向保护是有效且实用的.     

结合静态分析与动态符号执行的软件漏洞检测方法

动态符号执行是近年来新兴的一种软件漏洞检测方法,它可以为目标程序的不同执行路径自动生成测试用例,从而获得较高的测试代码覆盖率。然而,程序的执行路径很多,且大部分路径都是漏洞无关的,通常那些包含危险函数调用的路径更有可能通向漏洞。提出一种基于静态分析的有导动态符号执行方法,并实现了一个工具原型SAGDSE。该方法通过静态分析识别目标程序中调用危险函数的指令地址,在动态符号执行过程中遇到这些指令地址时收集危险路径约束,再通过约束求解生成走危险路径的测试用例,这些测试用例将更可能触发程序漏洞。实验结果表明了该方法的有效性。     

精确的程序静态分析

程序的静态分析是程序语言和编译领域的一个重要研究方向,已经被研究了很多年.近年来,它也引起形式方法和软件工程领域的重视,被用于程序测试和正确性验证.文中从程序的语法特征、所关心的数据类型和程序性质等方面比较了一些静态分析技术.着重描述基于路径的分析方法,特别是符号执行技术,讨论了程序路径可行性分析问题及其分类、复杂度.针对程序分析精度的一种量化指标,说明了其计算方法.     

基于过程知识的软件项目计划及其控制

为使软件项目计划合理、计划执行控制有效,该文基于小组软件过程TSP(TeamSoftwareProcess),提出了一个软件过程知识支持下的具有决策、建议和预测能力的分布式软件项目计划与控制解决方案,与此同时,讨论了相关支持工具的体系结构实现及其实例应用场景。