TTworkbench在Web测试中的初步研究

为了更好地应用TTCN-3对Web应用系统进行测试,本文介绍了TTCN-3测试系统的基本原理和Web应用程序的特点,同时介绍了应用testing-tech公司的产品TTworkbench对Web应用系统进行测试的原理和步骤,最后以某网上书店的查询功能为例,给出了TTworkbench在Web测试中的初步研究,结果证明本文的方法对其他Web应用系统的测试提供了依据。     

基于服务质量的Web内容变换方法研究

结合网络和Web服务器提出了一种基于服务质量的Web内容变换方法：针对网络资源与Web资源负载不均衡问题建立一个基于服务质量的Web内容调整组件。通过监测用户网络状况，利用Web调整网络传输内容，实现端到端的服务质量保证．并在网络教学中进行该方法的实际应用，验证了其可行性和实用性．     

基于C++语言转换的TTCN-3执行器的设计与实现

在TTCN-3标准与执行语义研究的基础上,提出一种将TTCN-3语言翻译成C 语言的转换方案.首先将TTCN-3书写的抽象测试套翻译为C 语言,在翻译语言中添加执行要素,从而生成可执行的测试套,然后执行器调度该测试套完成测试套的执行.这种方案已经应用在新设计的TTCN-3测试系统中.运行结果表明,基于C 语言转换的TTCN-3测试系统在总体性能上比编译成内存对象并执行的方式有一定的提高.     

一种基于TTCN-3的TD-LTE终端协议一致性测试系统的构建

TD-LTE是中国提出的具有自主知识产权的4G移动通信标准,随着该技术的日益成熟和应用研究的迅速发展,越发的凸显出终端的协议一致性测试的重要性。文中首先介绍了协议一致性测试和TTCN-3的基本理论知识,然后简单分析了基于TTCN-3的TD-LTE协议一致性测试平台的设计及实现方案。     

多小区一致性测试平台的研究与验证

TD-LTE(time division-long term evolution)无线资源管理一致性测试是检验TD-LTE终端是否符合协议标准的重要手段.鉴于传统一致性测试平台存在不足之处,无线资源管理一致性测试搭建了基于TTCN-3(testing and test control notation version 3)的一致性测试平台,并分析了该测试平台相对于传统测试平台的优越性.利用TTCN-3软件编写测试例并进行测试.通过分析测试流程图可以得出,一致性测试平台的可行性,并验证了该平台相对于传统平台的优越性.     

分析基于WebLogic的集群Web服务器的实现方案

为了提高Web访问的实时性和吞吐量,本文提出了一种基于WebLogic的负载均衡集群系统的构建方案,应用于我们的In-ternet网络服务器上,将负载分给多个服务器分担,能够解决Internet服务器面临的大量并发访问造成的CPU或I/O的高负载问题。本文对该系统进行了压力测试,实验结果表明该系统能够适应大型商业网站的需求。     

基于Session的Web应用测试数据收集

测试是保证Web应用质量的重要手段,收集测试数据是测试中至关重要的一步。本文提出一套基于Session的测试数据收集方法。当用户打开待测试页面时,我们检测请求中是否存在我们分配的Session;否,则为该用户分配一个特殊的Session。随后,我们把用户操作相关的数据关联到该Session并存储。测试时,我们可根据需要抽取数据生成测试用例。本文用一个原型工具实现了该方法,并应用在大型的Web应用中。实验结果表明该方法收集的测试数据能给测试用例生成带来很大便利。     

一种基于网页元数据的用户访问行为建模方法

针对现有行为建模方法难以描述行为语义的问题,提出了一种分层次的用户行为元模型以及一种基于页面元数据的Web用户行为建模方法.该方法从URL的访问、活动、事务3个层次建立Web用户的行为模型,并对页面元数据获取以及在URL的访问、行为、事务之间转化等问题进行了说明.方法及模型不仅描述了用户访问序列信息,还增加了访问内容的局部主题和关键词等信息,为进一步获取Web用户的行为语义特征奠定了很好的基础.通过西安交通大学的Web教学系统验证表明,利用所提方法获得的序列划分准确率达86%以上.     

基于响应式设计的Web App界面布局研究

为了解决Web App运行于多种设备屏幕和浏览器上的显示问题,提出Web App跨平台应用技术方案,以解决设备屏幕的自适应问题和浏览器兼容性问题;并提出基于响应式设计的界面布局方案,用以解决当设备屏幕和用户行为变化时,Web App界面元素的定位和显示问题。其关键技术为基于弹性盒的缩放模型以及界面元素的定位方法,通过设计实践和发布测试实验验证了这一方法的有效性。基于此方案设计开发的Web App能够实现不同设备环境和用户使用行为下的合理布局与正确显示,始终带给用户良好的视觉体验。     

基于属性的协议互操作性测试的TTCN-3实现

目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.     

基于LTE-A系统邻近业务(ProSe)直接通信的设计与实现

3GPP在LTE-A系统中引入了邻近业务(proximity-based services,Pro Se)来提高频谱利用率和降低基站负荷。终端通过基站分配的频谱资源进行直接通信,从而提高无线频谱资源的利用率,而UE间邻近业务成功建立后,基站的负荷得以降低。提供了邻近业务直接通信场景,提出了2种邻近业务直接发现方式,并基于第二种发现方式设计了直接通信建立的流程,搭建了基于TTCN-3(Testing and Test Control Notation version 3,测试与测试控制描述第三版)测试系统的多终端一致性测试平台,而后将设计流程抽象化,在搭建的平台上进行一致性测试,最终验证了邻近业务(Pro Se)直接通信的流程设计与协议的一致性,为该业务的开发奠定了基础。     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

基于反馈的可信网络软件验证与测试集成框架研究

形式化方法被认为是高可信软件工程必不可少的工具,但是软件测试依然是提高软件质量最有效的方法.为此基于TTCN-3的测试集成环境,提出一种基于反馈的框架,可扩展地集成形式化规约和形式化证明方法,并把形式化方法和测试工程有效地结合起来,提高了测试的充分性和必要性.     

负载分担下可修的并联系统模型

提出了一个负载分担可修的并联系统模型，在系统中，n个并联部件是可修的，一个部件失效，将会导致剩余部件有更高的负载，从而引起更高的失效率，假定每个部件仅有2种状态；工作或失效，那么系统的状态过程是一个时齐的离散的马尔可夫链，它可以产生1列微分方程，借助于拉普拉斯逆变换可计算出该模型的主要可靠性指标－系统的可用度及可靠度，最后，以一个特例证明了本文的模型是并联系统的推广，同时也说明用本文的方法来计算负载分担可修的并联系统可靠性是切实可行的。     

一种实现TTCN-3测试系统TCI-CH接口的方法

通过深入研究TTCN-3测试系统TC I-CH接口的功能与特性,提出了一种使用CORBA技术实现TC I-CH接口的方法,并利用模拟环境对实现作了验证.     

一种TTCN测试套自动生成方法研究

简要介绍了TTCN3标准的第三部分GFT(Graphical presentation Format,图形表示形式)，并且根据GFT与TTCN3核心语言的内在关联以及标准中的语法规定设计开发了一套由图形表示格式自动生成用核心语言描述的测试套的转换工具，从而可以减少测试相关人员在测试套开发过程中的工作量。     

基于体系结构描述的软件测试技术

在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.