测试自动机的测试驱动器设计与实现技术

介绍了测试自动机的测试驱动器设计与实现技术,给出了测试驱动器接口的测试用例、测试输出的形式化定义,提出了一种通用的“客户／服务”测试驱动模型及其实现技术。     

基于GIS的国土房屋信息管理系统的设计与实现

该系统实现了国土与房屋信息在市级国土资源和房产管理局各部门的传输处理、存储、查询、审批、发布及管理,并对国土、房屋、矿产资源等信息分析,为今后建立“数字城市”系统创造条件,为省、市等其他部门提供准确的决策支持信息提供科学依据。本文将简要阐述建立在ArcInfo8．1GIS平台的土地与房屋信息管理系统的集成框架和思路。     

元数据在构件软件测试用例生成中的应用研究

首先分析了构件测试的基本过程，在对元数据的基本概念进行概述的基础上，给出了用例元模型、测试用例元模型以及用例到测试用例的转换．构造了元数据的组成元素，以及嵌入该元数据后的测试模型，最后，给出了一个用上述方法实现的一个实例．     

移动对象查询处理技术：研究综述

近年来，随着无线通信技术的迅速发展和个人终端设备功能的逐步完善，移动计算较传统的分布式计算有了更广阔的应用背景和发展空间，特别是针对移动对象的查询处理研究引起了业界和学术界越来越多的兴趣和关注。移动对象相关的查询主要包括：最近邻查询、反最近邻查询、空间连接以及最近对查询等。本文从这些查询的基本定义开始，介绍了这些查询相关的基本处理技术，总结了近年来学者们提出的有效解决方法和研究进展，并在最后探讨了移动对象查询处理技术的未来发展趋势。     

基于网页划分的网站应用程序测试新方法

网站已经成为全球信息发布的重要渠道，确认网站应用程序的质量和可靠性成为软件测试的一项重要任务。现在有关网站应用程序的测试技术大多数是基于模型测试技术，依赖于从网站编码信息中产生模型，这些技术可统称为“白盒测试”。目前没有一种技术应用网页的划分进行测试。本文在“白盒测试”的基础之上，提出了基于网页划分的网站应用程序测试技术和基于网页划分的“白盒测试”技术，并通过实验证明基于网页划分的“白盒测试”技术是测试网站应用程序的较为有效的方法。     

面向对象程序的异常分析与测试方法述评

从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C 程序中异常测试技术改进和工具实现方面所做的工作;探讨了异常分析和测试的若干研究方向.     

基于RTLinux的容错硬实时性的研究与实现

容错已逐渐成为实时系统的一个重要特性,针对RTLinux的实时调度机制尚未考虑容错的需求,对RTLinux进行了容错硬实时性的改造.改造了基于主/副版本容错模型对任务模型,对先前提出的基于最坏响应时间的容错实时任务可调度性分析,通过将改进的最佳容错分配因子搜索算法(improved fault-tolerant priority configuration search algorithm,IFPCS)运用到实时调度算法中,提高了RTLinux的容错实时性能,并给出了容错实时程序的设计框架.     

基于资源状态和角色访问控制的网格授权方法

提出了一种基于资源状态和角色访问控制的授权方案，该方案利用授权服务器信息扩展网格信息服务，将资源站点本地角色作为访问目标资源，加入到授权服务器策略库中，支持对虚拟组织(VO)外用户的授权，并实现了基于资源当前负载状态的细粒度授权。实验表明，在大规模VO中，该方案能够优化授权速度，缓解授权服务器访问的瓶颈问题。     

容错优先级混合式分配搜索算法

在实时系统中,由于任务未能及时产生正确结果将导致灾难性后果,容错对于实时系统的有效性及可靠性至关重要.基于最坏响应时间计算的可调度性分析,提出了一种容错优先级混合式分配搜索算法.这种算法通过允许替代任务既能运行在高优先级别上,又可运行在低优先级别上,有效地提高了系统的容错能力.通过实验测试,与目前所知的同类算法相比,在提高系统容错能力方面更为有效.     

障碍空间里基于密度的快速聚类算法

传统的聚类方法不能直接运用于分布空间内存在障碍物的数据的聚类.提出了一种障碍空间内基于密度的快速聚类算法DBCO来解决此类问题.DBCO中,在基于密度的聚类基础上引入了障碍模型,提出了一种保持数据间可见性的简化障碍的方法.为了使障碍模型不影响聚类质量,定义了障碍顶点距离、连接距离和判断距离来维持聚类的质量.另外,在聚类过程中,选择某一些代表点和拓展点而不是每一个点来对每一个聚类进行扩展,从而大大提高了聚类算法的效率.实验结果表明了DB-CO算法可以快速地得到高质量的聚类结果.