摘要：软件系统开发中频繁面对局部更新和部分缺陷修改,此时需要选择性回归测试;为降低其测试工作量需要解决部分覆盖用例集约简问题.文中基于选择性回归测试形式化定义多目标用例集约简,并设计HATS算法解决该问题.HATS算法遵循启发式贪婪搜索框架,定义权重因子α平衡两方面目标:其一是减少用例集规模;其二是避免对无关需求的覆盖.实验结果表明:同现有约简技术和算法相比较,通过适当设置因子,αHATS算法能够降低用例集规模、减少对无关需求的覆盖、同时缓解对缺陷检测能力的影响.文中的创新贡献在两方面:其一根据选择性回归测试定义多目标用例集约简问题;其二是设计HATS算法以更少的测试用例数量维持缺陷检测效果.

摘要：提出了一个基于工作站网 ( network of workstations,简称 NOW)的分布式程序设计语言 NC++( NOWC++) .它是 DC++语言的扩充 .NC++提供了一个完备的编程环境 ,包括 NC++预编译器、图视编程界面、多目通信机制和测试系统 .它完善了组管理机制和进程通信机制 ,提出了一个基于信度推理网络的分布共享内存( distributed shared memory,简称 DSM)机制以管理 C++公共变量 .实践证明 ,NC++语言在确保编程方便性的前提下保证了分布式程序的性能 .

摘要：分布式系统的动态配置问题近年来引起了各国研究者的广泛关注．该文对面向图结构的分布式程序设计模型ＧＯＭ（ｇｒａｐｈ－ｏｒｉｅｎｔｅｄ ｍ ｏｄｅｌ）进行了扩充和改进，提出了支持动态配置的程序设计模型ＥｘＧＯＭ（ｅｘｔｅｎｄｅｄ ｇｒａｐｈ－ｏｒｉｅｎｔｅｄ ｍ ｏｄｅｌ）．ＥｘＧＯＭ提供了多种基于图结构的配置操作．用户可在配置文件中描述系统结构的动态变化，也可在程序中利用配置操作进行动态配置．这一特性使得系统可支持不可预计的动态配置．文章还给出了以多Ａｇｅｎｔ机制实现ＥｘＧＯＭ

摘要：扩充的面向图结构的分布式程序设计模型 (extended graph- oriented model,简称 Ex GOM)提供了一个支持动态配置的系统框架 .系统的动态配置包括系统运行时的伸缩、运行时的升级以及出现故障后的重配置 .故障后的重配置所涉及的问题之一是如何恢复系统原状态 ,该文着重就此问题进行了讨论 ,给出了基于故障敏感图的异步检查点回卷算法和故障恢复策略 .该算法和策略考虑了在暂时性主机故障中单个主机上有多个故障进程的情况 .与其他异步回卷及故障恢复算法相比 ,该算法将故障区域局部化 ,仅对故障敏感节点进行回卷 ,从而有效地降低了系统开销 .

摘要：提出了一个面向分布式程序的测试系统框架 TFDS(test system framework for distributed softwaresystem) ,并介绍了它在异构网络中的一个实现原型 PSET* (distributed program structure and event trace,revised version) .框架的主要功能是对分布式程序进行单元测试和集成测试 .包括面向规约设计和源码分析的静态部分和面向程序执行和事件序列分析的动态部分 .在构件的基础上 ,PSET* 的功能可以较容易地得以改进和增强 .

摘要：基于最佳并行度的任务依赖图调度策略充分利用编译时刻所得到的全局信息，采用横向和纵向任务合并，处理节点预分配，静态调度和动态调度相结合、集中式调度和分层调度相结合等措施，是一种简单的、具有较高效率的实用化调度方案．该调度方案能够在尽量压缩调度长度的情况下节约系统资源．

摘要：本文介绍了一个面向分布式语言ＮＣ＋＋的测试系统原型ＰＳＥＴ。该系统由两部分组成：静态测试部分ＰＳ用于分析和显示程序的静态控制流程；动态测试部分ＥＴ用于显示程序执行过程中所产生的各类事件，从中分析各进程间的调用关系。

摘要：在构建大规模视频服务系统时，视频服务器的性能如何非常关键，而接入控制(Admission Control)功能作为系统直接面对用户的前端，设计得如何对视频服务器的吞吐率、资源的利用率、客户感知的QoS水平等都有着极大的影响。在分布式视频服务系统中，通过采用有效的接入控制策略及对用户请求的调度，还可以实现多服务器间的负载平衡，从而提升整个系统的效率。该文针对分布式视频服务器系统，对接入控制问题进行了研究，分析了影响接入控制问题的一些因素，提出了一种确定型的分布式接入控制策略，它基于整个系统中的资源状况信息，最终实现确保用户的QoS和负载平衡等目标。

摘要：在构建大规模视频服务系统时,视频服务器的性能如何非常关键,而接入控制(AdmissionControl)功能作为服务器系统直接面对用户的前端,设计得如何对视频服务器的性能、吞吐率、资源的利用率、客户感知的QoS水平等都有着极大的影响。该文围绕多媒体视频服务器中接入控制的作用与目标,对接入控制问题进行了研究,分析了影响接入控制问题和策略的一些因素,如磁盘带宽等系统资源、服务周期时长与接入控制的关系。由于统计型的接入控制策略与确定型策略相比,在提高系统的资源利用率、提高可接入的并发用户数方面,都有相当的优势。因此,该文对统计型的接入控制算法也做了较为深入的分析。

摘要：测试用例集扩充问题(Test Suite Augmentation)是回归测试研究的一个最新研究热点。在完成代码修改影响分析后,对已有测试用例集的充分性进行评估,若不充分则设计新的测试用例,以确保对代码修改的充分测试。但到目前为止,国内外学者并未对该研究问题的已有研究成果进行系统总结和展望。首先介绍了测试用例集扩充问题的研究背景和问题描述,然后总结出研究框架并对已有研究工作进行分类和系统比较,接着对常用评测数据集和评测指标进行了分析,最后对该问题值得关注的未来研究方向进行展望。