采用形式化技术的软件再工程

形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法。     

软件的可测试性设计

软件产品开发规模的扩大和数量的增长迫切需要找到一种方法来增加软件测试的有效性。可测试性设计可以增强软件的可测试性,降低测试的强度。该文讨论了软件可测试性的特征和影响软件测试的因素,以及改进软件可测试性设计的几种方法。建议在软件开发的整个周期中融入软件的可测试性的设计。     

基于SCORE结构的QoS模型实现算法

根据在核心路由器不保留每一个流的状态的SCORE(可扩展核心式)网络结构的特点,在文中,提出了两个分布式算法来实现QoS列表和接纳控制。它显著地提高了在数据平面和控制平面的可扩展性,在灵活性、利用率和服务保证的水平方面提供了可保证的服务,接近提供每一个流的状态的保证型服务。     

基于Agent的自组织服务查找模型

该文介绍了一个工作在基于Agent的分布计算环境下的服务查找模型。该模型通过一个或多个服务Agent来查找用户所需要的服务(service)。这些Agent和其他起支持作用的Agent为用户提供统一的、简明的接口以方便应用程序查找和使用分布在网域内各个节点上的服务。服务Agent封装了客户和服务器两个模块,在其内部实现了客户、服务器结构,并自动地根据环境和内部状态决定自身所充当的角色。这些Agent相互协作,对上层使用者提供透明服务查找功能。     

基于Linux的代理服务器的研究和实现

文章通过对代理服务器原理和TELNET、HTTP协议的分析,在Linux下开发了一个代理服务器系统,具有代理TELNET、HTTP服务的功能。并介绍了TELNET代理服务器实现中的一些关键技术。     

计算机软件质量综合评价的灰色聚类模型及其应用

根据灰色系统理论,建立了计算机软件质量综合评价的灰色聚类模型,为定量确评价软件质量提供了有效的方法。     

移动智能代理系统中主机的安全性研究

移动智能代理系统提供了一个新的计算方式,程序以软件代理的形式出现,它能在一台主机上停止它的执行,通过移动到另一台主机上来恢复执行。随着移动软件混合性的增加,也伴随着对安全的威胁,该文论述了agent主机面临的安全问题,同时提出了对agent主机的保护方法。     

一种实时系统软件体系结构风格:NewRob

该文分析了现有的软件体系结构风格描述语言的特点,并结合嵌入式实时系统的领域特征,提出了一个面向嵌入式实时系统的软件体系结构风格:NewRob。NewRob所生成的一个基本说明书,由一个同步控制任务组成,它负责将系统作为包含各类异步组件的集合,进行动态重构。控制任务通过对各组成元件逐级细化、分解,得到进化后的低级控制任务,每个低级任务也都管理一个新的组件集合。采用时序逻辑描述和验证不同抽象级别的软件体系结构的一致性。     

一种新颖的宽带IPv6接入路由器的研究

论文提出了一种基于“业务流”的宽带IPv6接入路由器的设计。为了克服传统接入技术用户管理难、认证计费不准确、综合业务提供能力差的缺点,提出了以业务流为管理对象的接入路由器的设计,实现用户认证和授权、双向流量统计、双向速率限制、预付费流量限制、访问控制列表和断线检测等功能,集接入汇聚、边缘路由和业务策略功能于一体,并提供QoS保证。     

软件构件技术的现状与未来

软件构件技术的蓬勃兴起揭开了软件开发由作坊式生产向工业化生产转变的革命序幕。该文对软件构件技术进行了综述。首先通过对面向对象技术的回顾分析,说明了软件构件技术发展的技术背景与动机。接下来,对软件构件技术进行了阐述,并对当前主流的软件构件技术进行了技术描述和分析,包括:EnterpriseJavaBeans、CORBAComponentModel、微软的COM/DCOM/COM+和.NETAssembly、目前正处于热点的Web服务技术,以及面向构件的语言。最后,分析并指出了软件构件技术的发展未来是业务构件技术,它是最终实现软件工业化生产的希望。