基于接口自动机的列车通信设备测试用例生成

列车通信设备是一种嵌入式系统。有效地测试这类设备是列车运行系统质量保证的重要手段。嵌入式系统测试的重要任务之一是有效地生成测试用例。文中提出基于接口自动机(Interface Automata)技术自动生成列车通信设备的测试用例。现有的接口自动机技术只支持同步消息的发送与接收,而列车通信设备还需要处理异步消息的发送与接收。为此,文中对接口自动机理论进行了扩展,以便支持列车通信设备异步消息通信的需求。依据列车通信网络的规范,文中使用扩展了的接口自动机对列车通信模块及通信模块的组合作了形式化建模,依据测试覆盖准则,自动生成测试序列,并利用模型驱动技术自动生成测试脚本。文中比较了手工生成测试用例方法及所提出的自动生成测试用例技术,展示后者从测试覆盖、时间节约方面的有效性。     

一种基于Web服务的嵌入式系统BSP远程测试框架

在嵌入式BSP测试过程中,为每一个测试产品和每一个开发团队都建立测试环境来进行本地测试,其代价非常昂贵。采用远程测试的方法可以降低测试代价,共享测试环境,有效地重用测试用例。Web服务是一种部署在Web上的对象,建立在以XML为主的、开放的Web规范技术基础上,具有平台无关性、互操作性、功能复用和安全通信特点。提出了一种嵌入式系统BSP远程测试框架,该框架分为测试中心服务和测试门户服务,分别采用了SOAP和REST两种风格的Web服务包装形式,用户可以通过统一的Web接口访问服务实现BSP的远程测试。     

决策表的属性约减算法综述

介绍决策表的基本概念,分析决策表冲突条件以及判定条件组合爆炸的问题,明确决策表冲突检测属性约减的必要性。从本质描述、算法分类、算法效率等几个方面,对决策表冲突检测算法和属性约减算法进行了系统的综述和比较。最后,探讨了决策表的构建、效率、应用规模等6个属性约减研究的热点问题。     

面向服务的软件可靠性探讨

面向服务的体系结构(SOA)具有动态与协同的本质特点,这给软件可靠性研究与实践提出了新的挑战,从而产生了面向服务的软件可靠性(SOSR)这一新的研究领域.本文首先对SOSR的发展背景和研究现状进行了综述;然后从可靠性建模和可靠性评估两个方面归纳出SOSR当前所面临的主要问题;最后,以传统基于体系结构的软件可靠性模型为基础,探讨了由单个服务、服务池和服务组舍三个层次迭加而成的SOSR建模与评估框架,以及服务可靠性建模方法、服务池容错机制和服务在线监测等关键技术.     

Agent技术在Web服务中的应用探讨

Web服务是一组采用面向服务的体系架构的基于标准的Web协议的软件构件,而Agent是一种在某个环境中自主行动以实现其设计目标的智能化软件实体.Web服务与多Agent系统(MAS,Multi-Agent System)在架构、范例和技术方法等方面具有很大的相似性.Web服务的可信性是未来计算机软件发展关键的问题,实现Web服务在分布式环境下的协同式测试具有一定的挑战性.本文在探讨Web服务与Agent技术的共性的基础上,分析并总结了Agent技术在Web服务中的应用.针对Web服务测试的开放性、协同性、动态性和不确定性等特点,结合Agent系统的自主性、反应性、适应性和社会性,本文提出了一种基于MAS的Web服务测试框架(MAST,Multi-Agent-based Service Testing),并对其关键技术进行了探讨.     

企业服务总线研究综述

企业服务总线（Enterprise Service Bus，ESB）结合事件驱动技术，提出了一种新的服务连接架构，以实现服务间基于标准、松散耦合的通信方式，为基于服务的系统集成和扩展提供了更有效的支持。本文首先介绍了ESB的基本概念，然后从消息机制、消息转换、消息路由、服务容器四个方面分析了ESB核心功能组件，讨论和比较了当前主要的ESB软件产品和开源项目。ESB技术尚处在发展初期，本文分析了ESB研究目前存在的主要问题以及今后研究方向。     

使用移动平均线预测云平台服务性能趋势

系统性能预测为有预见性的资源调度提供依据,是云平台管理的重要方面。从数据收集、数据处理和预测方法三个方面总结性能预测方法。提出采用移动平均线方法来预测服务性能的长期发展趋势。针对性能小范围波动时会频繁改变预测信号的问题,进一步改进此方法,引入标准差以有效过滤抖动信号。在亚马逊弹性计算云环境下验证了方法的有效性。     

基于调用链控制流分析的大型微服务系统性能建模与异常定位

大型微服务系统中组件众多、依赖关系复杂,由于故障传播的涟漪效应,一个故障可能引起大规模服务异常,快速识别异常并定位根因是服务质量保证的关键.目前主要采用的调用链分析方法,常常面临调用链结构复杂、实例数量庞大、存在大量小样本等问题,因此提出基于调用链控制流分析,将大量调用链结构聚合为少量方法调用模型;并提出基于方法调用模型的执行时间分解模型及预测方法,将实际值与预测值的相对误差超过设定阈值的待检测数据判定为异常.采用百度凤巢广告业务系统某天超过17亿条调用链日志记录开展实验分析,结果表明:与数据驱动的调用序列分析方法相比,提出的基于模型的方法可以大幅缩减调用链结构数量,并有效分析和检测微服务性能异常及其根因.     

支持变更影响分析的软件测试配置管理系统

介绍了一个新开发的基于WEB的软件测试资产管理系统原型STACMS。STACMS将软件配置管理方法学应用到测试这一特殊的软件生命周期阶段，可跟踪测试工件的版本演化、维护版本之间的关系并支持变更影响分析。     

基于SLA的面向服务的基础设施

SOI/IaaS是指以服务的方式来提供基础设施的供给模型,它是云计算服务的重要基础,而SLA协议成为了SOI发展的助推器。介绍了SLA@SOI小组的研究工作,主要是SLA@SOI小组中SLA协议的基本思想和该小组提出的基于SLA的SOI框架,并总结了在该框架下管理基础设施的基本原理和基本过程。最后分析了该领域的未来发展方向。这项研究对云计算有着极为重要的意义。