FSM与方法序列在面向对象的测试中的应用

在UML状态图的基础上，利用有限转状态机理论分析类状态，消除UML状态图中的子状态，将UML状态图转化成为一般有限转状态机，然后应用方法序列规范生成测试的方法序列．测试了类的方法与类状态之间的转换关系，保证测试的完整性．     

软件自动化测试的设计与实施

本文首先介绍了软件自动化测试的发展趋势与自动化测试的优点,其次详细论述了自动化测试的脚本技术及其特点,通过对自动化测试脚本的分析与应用,举例脚本设计框架中基于数据驱动的GUI功能测试模型,最后说明了自动化测试实施时所要考虑的几个因素。     

一种实现NGOSS分布式自动化测试的方法

为了测试复杂的新一代运营软件和系统(NGOSS),对NGOSS的体系架构和现有的分布式自动化测试方法进行了研究。针对NGOSS的特点,综合现有的分布式自动化测试方法理论,提出了一种适用于NGOSS的分布式自动化测试方法(DATS),该方法主要利用开源的软件测试自动化框架/执行引擎(STAF/STAX)实现测试用例与测试框架的分离,自动分发并执行测试用例,监控运行过程以及自动收集测试结果和日志,最后由测试代理机发送结果和日志到控制中心,显示给开发和测试人员。该方法解决了测试工具的跨平台性差、可扩展性低、软件缺陷追踪难及日志管理复杂等问题。通过原型系统验证了该方法的有效性。     

一种分布式软件自动化测试工具的设计与实现

随着软件规模的扩大和复杂度的增加,软件测试变得越来越困难。软件自动化测试可以减少测试开销,同时增加在有限时间内的测试。文中就此提出了一种多平台、多语言的、基于分布式计算集群软件的自动化测试工具,并对工具的设计和实现过程进行了详细地描述。     

软件自动化测试浅谈

随着软件测试的研究发展,自动化测试便产生了。本文从软件自动化测试产生的原因、定义、方法等方面进行评述,并介绍了常用的测试工具及其比较,最后讨论了其面临的问题。     

基于成对测试的GUI测试用例生成方案及实现

在软件开发过程中软件测试的成本很高.其中,测试用例是软件测试的主要组成部分,因此产生合适有效的测试用例是减少软件测试成本的一个主要手段.文章对一个基于成对测试GUI测试用例生成方案及实现展开研究;给出了GUI对象描述、GUI测试用例生成、自动执行以及结果比较的过程;以项目CQMIS为例,使用自动化测试工具QTP,依据所提出的方案实施测试用例生成,效果良好.     

基于STAF的自动化测试工具的研究和设计

以软件的回归测试自动化作为研究的重点,首先针对回归测试的特点,选择开源的自动化测试工具STAF,然后基于这个工具,提出一个可适用回归测试的自动化测试工具模型ATT.该自动化测试工具提高了自动化测试的开发和执行效率.同时,该工具也提供了标准、易用的扩展接口,其良好的可扩展性能够让测试人员方便的添加测试组和测试用例.     

基于．NET的软件集成测试研究

软件测试自动化是软件测试的一个趋势,且单元测试在．NET框架下实现了测试脚本的自动生成。作者介绍利用单元测试中产生的测试脚本自动生成真实的基本类对象来完成集成测试,从而降低了测试成本,提高了软件测试效率。     

被动测试中的错误诊断算法

介绍了被动测试的有限状态机模型、错误模型和错误检测算法，给出了单个错误的诊断算法并分析了其时间复杂度，将所提出的算法推广到对多个错误的诊断，以在路由协议OSPF(Open Shortest Path First)的接口有限状态机上做的模拟实验为例来说明算法的有效性．     

基于Web应用系统的GUI测试

软件测试是软件开发的重要环节,Web应用系统的GUI测试是一项复杂而烦琐的工作。本文阐述了GUI测试的概念,提出了Web应用系统的GUI测试的一般流程及测试指南,同时给出了Web应用系统GUI测试的主要方法。     

基于公共对象请求代理结构的负载测试技术研究

提出了基于公共对象请求代理结构(common object request broker architecture,CORBA)的负载测试系统,并对系统的组成结构、模块设计及关键技术进行了分析.结果表明,系统的应用可以提高对分布式计算环境下软件的测试效率,从而保证软件的质量.     

基于插值的二维能量窗同步方法及其硬件实现

提出了能应用于未来移动通信系统的基于插值二维能量窗同步算法及其硬件实现.算法通过对2倍采样信号进行插值,从而以较低的实现复杂度得到较高的同步精度;通过对多个接收通道的同步序列相关值进行非相干合并,充分利用了空间分集,从而大大减轻了衰落的影响;通过对多径分量的能量进行合并,然后在合并后的判决变量上进行判决,充分利用了宽带无线通信系统中的多径信号能量,进一步减轻了衰落的影响.仿真表明,算法具有很好的性能.该算法已应用到B3G实验系统中.实验表明,该算法能提供精确的定时,以保证实验系统的正常工作.     

基于ECC的嵌入式安全方案实现

详细分析了椭圆曲线密码体制上的算法,如大数模加、求逆、点加、点积等运算,并在ARM上实现了基于192-bit 素域上的椭圆曲线密码体制的数字签名方案.     

一种基于VBA平台的OA文档处理方案及其模拟实现

OA系统经常需要分发由Office等软件生成的文档并要求接收者在完成一些编辑操作后传回,在编辑过程中往往会存在不规范甚至错误的操作,从而延长了人工查错纠错的时间并增加了工作量.针对这种情况,提出利用VBA平台对编辑过程加以限制和规范,使用宏(Macro)来编辑和保存文档,减少或避免出错的几率.以Word2003 VBA表格填写应用为例,对运行过程进行了模拟实现.     

IP服务质量及其实现方案

随着IP业务的飞速发展,IP QoS成为实现多业务网络的关键技术。介绍了IP QoS的概念,讨论了IP QoS 的实现方案,并重点列举了国际上主要标准组织IETE在IP QoS方面建议的一些服务模型和机制。     

IP服务质量及其实现方案

随着IP业务的飞速发展，IP QoS成为实现多业务网络的关键技术。介绍了IP QoS的概念，讨论了IP QoS的实现方案，并重点列举了国际上主要标准组织IETF在IP QoS方面建议的一些服务模型和机制。     

计算机集成质量系统模型与实施方案的研究

文章对CIQS的模型进行深入研究,在介绍其结构模型和立体模型的基础上,提出一种面向产品信息流的车间级集成质量系统模型,对该模型及其实施方案的相关问题,包括基于PDM平台的集成方案和车间级集成质量系统的信息流表示以及系统的功能与结构进行了深入讨论。     

数字化企业的信息安全体系及实施方案

分析了数字化企业的总体框架结构、安全需求,构建了数字化企业完整的信息安全体系,包括物理安全、网络安全、支撑层系统安全、应用层系统安全、数据及资料安全;针对数字化企业数据及资料等企业内部信息安全问题,提出了一套包括身份鉴别、设备集中控制、文档权限管理、文档加密、安全审计等功能系统的综合解决方案;基于所构建的信息安全体系,提出了一种典型数字化企业的信息安全实施方案。     

互联网商品匹配算法

实体解析是指识别同一实体的不同描述形式的过程, 旨在保障数据质量, 是数据清理、数据集成及数据挖掘中的关键技术. 随着电子商务的不断发展和成熟, 商品的多样性和消费者灵活的购买方式, 使得对网络商品的精确识别和匹配成为大数据时代亟待解决的问题. 与传统实体解析主要针对结构化数据不同, 网络数据具有非结构化、异构和海量的特性, 为此设计了综合相似度算法(synthesized similarity method, SSM)来计算网络商品数据间的相似度, 同时引入凝聚的层次聚类框架, 以匹配来自不同数据源的异构商品. 此外, 为了解决大数据环境下对执行效率的要求, 从字符串相似度缓存、约束知识库和分块策略三个方面对SSM进行优化, 基于真实数据集的实验结果验证了SSM的执行效率和有效性.