可用性测试平台

阐明了软件可用性测试的重要性及其方法分类,着重说明了用户测试方法的步骤.介绍了所设计的软件可用性测试平台的特点和建设该平台的必要性,通过该平台对鱼眼菜单、单列菜单、级联式菜单进行了可用性测试.在测试用户较少的情况下,实验结果与其它主流实验室的结果相一致,表明了该实验平台的有效性和高效性.最后,对该测试平台可能的改进提出了设想.     

基于模型检查的协议一致性测试套自动生成

提出一种构造完全可执行协议一致性测试套的新方法。该方法分别用Kripke结构和CTL公式来描述协议的EFSM模型和测试套所要满足的控制流和数据流测试覆盖标准,借助模型检查中的例证构造技术生成满足相应覆盖标准的测试套。在此基础上该文给出了测试套优化算法。实验结果表明该方法可行有效。     

一致性测试的静态需求测试研究

针对一致性测试中的静态需求测试通常采用手工方法而产生的效率低问题,提出一种基于统计学习的方法,包括静态需求的关联规则表示,并对采样的协议数据进行关联规则挖掘,如果得到的规则与需求规则一致,静态需求就可以得到统计上的测试检验。该方法在OSPFv3协议测试中取得了较好的效果。     

基于TCL的IPsec协议一致性测试

IPsec协议体系是IETF制定的新一代网络安全协议标准，用于在IP层为IPv4和IPv6提供可交互操作的、高质量的、基于加密的安全．针对协议一致性测试的要求和IPsec协议体系的特点，设计了一种基于Tcl的IPv6协议体系中的IPsec协议一致性测试系统，并给出一个实例说明如何使用该系统进行测试例的开发,实践表明，该系统具有方便、灵活、模块独立性好等优点，基于Tel的一致性测试是一种有效的协议一致性测试技术．     

分布式数据库中一致性与可用性的关系

随着各类应用在数据量和业务量上的扩展,单机数据库系统越发难以应对现实需求。分布式数据库能够根据业务的需求动态地扩容,因此逐步开始受到应用的青睐。近年来,分布式数据库产品层出不穷,并在互联网应用中被大量投入使用。然而,分布式数据库的系统复杂度前所未有。为了让系统可用,设计者需要在多种属性中作合理选择和折中。这造成现有的数据库产品形态各异、优缺点对比分明。至今为止,尚未有人对分布式数据库的设计空间和折中方案进行过深入分析和整理。本文作者在对多个分布式数据库产品进行深入理解之后认识到：分布式数据库系统的设计方案可以通过三个属性进行基本刻画–操作一致性、事务一致性和系统可用性。虽然这三个属性并不新颖,但它们在数据库语境下的含义在文献中尚未得到充分澄清。本文对这三个属性进行澄清,并通过它们对典型数据库产品的格局进行概括、对现有的分布式数据库技术进行综述。此外,本文还对这三个属性之间的相互关系进行深入分析,以期帮助未来的开发者在分布式数据库的设计过程中作出合理选择。     

可用性测试在web界面设计中的应用研究

随着互联网的发展,人们对人机交互界面不在陌生,甚至对界面的视觉效果要求更加个性化、多元化.其中网站的可用性是影响用户浏览体验的关键.用户搜索信息的目地是为了满足某种欲望,而这种欲望是检验网站是否有用的主要指标.     

基于策略分段的防火墙一致性测试

防火墙是设置在被保护网络和外部网络之间的一道屏障.网络通信需要防火墙根据特定安全策略下进行监控和过滤.防火墙是否有效起到防护作用需要通过防火墙实现和安全策略配置的一致性测试.本文提出了一种改进的防火墙一致性测试方法,引入策略分段的思想,对非原子策略规则有选择的产生测试例,缩减了网络地址空间,将指数级测试例数目O(2101rpmn2)降低为多项式级O(Mpmn2),减少了产生的测试例的数量,有效提高了测试效率.     

系统管理的一致性测试

ＯＳＩ系统管理是ＯＳＩ的一个重要组成部分，由于系统管理的特殊性，传统的一致性测试方法并不很适合于系统管理，本文分析了系统管理的各个部分，描述了与各个部分相适应的一致性测试方法。     

海量存储系统可用性静态测试评估方案

本文分析和研究了海量存储系统可用性关键技术和体系结构,设计制定可用性静态测试评估方案,方案分为定性检查和准则评估两个部分。通过可用性静态测试评估,可以对目标系统的可用性做出直观和准确的初步评价。     

一种基于多UIO的一致性测试序列优化方法

在通信协议一致性测试中，设计出测试费用低、检错能力强的测试序列是关键工作之一。文章基于乡间中国邮递员遍历算法，利用网络流技术从一个状态的多UIO序列中选择适当的一个，使有向图G^test的度：△（G^test）＊^n∑i=1｜ξ（vi）｜最小，从而达到减少测试序列的总时间费用的目的。     

SQL标准符合性测试的框架

文章阐述了基于美国国家标准与技术研究所(NIST)的SQL标准符合性测试用例集(SQLTestSuiteVersion6)设计开发的一个调用式SQL标准符合性测试平台框架,并针对实施中的测试用例的生成和管理、由用例之间相关性引起的用例结果错误的处理、测试结果的分析和分析结果的统计等问题进行了剖析。     

RIP一致性测试系统的设计与实现

针对协议一致性测试的要求和特点,提出了一种RIP协议一致性测试系统的设计,并给出了具体的实现。该系统采用虚拟测试法来完成对被测体的测试,利用有限状态机以确保测试套的完备性,并使用TCL语言作为测试例的脚本描述语言。文中给出了一个基于该系统的测试实例。试验结果表明,这一系统具有较好的测试能力及可靠性高、可移植性好等特点,为今后相关协议测试系统的实现提供了有益的借鉴。     

IS-ISv6协议一致性测试系统设计与实现

IPv6协议作为下一代互联网最有竞争力的核心协议已经成为研究热点，它主要解决路由器之间通信的问题。如何保证各网络设备协议实现的一致性，是保证各设备互联，互操作的关键。本文在介绍IS—ISv6协议和协议一致性测试的基础上，设计并实现了IS--ISv6的协议一致性测试系统，并对一基于Linux平台的IS—ISv6一致性测试实现的结果进行了分析。     

一种提高一致性测试错误检测能力的方法

在协议工程中,一致性测试已成为非常活跃的领域,而测试序列的产生是一致性测试非常关键的环节。文章在“Old”方法的基础上,通过补充协议规范的定义,获得了一种提高一致性测试检测能力的“New”方法。两种方法相结合,可以获得具有几乎完美的错误检测能力的测试序列。     

CELTS.10标准一致性测试系统

测试互操作标准(即CELTS．10)是为满足学习系统中试题的互用目的而提出的一项最新技术规范。文章在深入分析该标准的基础上,采用形式化测试方法,提出了针对该标准的一致性测试框架结构和流程,将形式化的理论、方法和技术引入到测试系统的开发工程中,实现了一致性测试的形式化。     

基于OSI参考模型的一致性测试理论和方法

以ＴＰ４运输层协议为例，阐述了ＯＳＩ一致性测试的理论和方法，在对ＯＳＩ一致性测试和ＴＰ４协议进行简介的基础上，给出了在ＴＣＰ／ＩＰ环境中实现ＯＳＩ ＴＰ４协议一致性协同测试的关键技术和方法。     

EPA协议一致性测试方法研究

研究了EPA协议一致性测试原理、静态测试与动态测试方法及其实现技术；参照TFCN的结构框架定义了一种描述EPA抽象测试集的类形式化语言，提出了EPA协议实现一致性说明和协议实施附加信息的生成方法；研发了一种EPA协议一致性测试的方法，并以变量写服务的测试为例，说明了EPA协议一致性测试系统的测试过程。通过EPA一致性测试系统的实际应用，证明这种测试方法能够准确测试出被测协议实现与标准的一致程度。     

基于CFSM的一致性测试序列生成方法

本文采用通信有限状态机模型描述通信协议,基于通信有限状态机模型提出了协议一致性测试的测试序列生成方法,解决了构件化协议的测试序列生成的问题。本文实现了测试序列的生成算法,通过实例说明了采用测试序列生成算法生成了比传统算法更少的测试序列。同时本算法还可以用于多层协议测试。