一种适应行业信息系统的通用管理框架*

提出行业信息系统的概念,并为之设计了一套通用的管理框架,从而减少了管理员的人工劳动,并促进了不同地域管理员的协作.最后评价了系统管理的性能和该框架的开销.     

一种基于TTCN-3的多路并行测试方法

随着全球通信网络的高速发展，对日新月异的通信产品进行协议一致性测试尤为重要。该文介绍了TTCN-3测试执行机并行测试的模块设计方案，阐述了测试适配器的开发方法，重点分析了多路适配器的原理及实现，并以此为基础提出了一种多路并行测试的方法，该方法已成功地应用于802.16d协议的一致性测试。     

TTCN-3测试套开发模式及其应用

在测试系统应用研究的基础上,分析TTCN-3测试系统结构,提出适用于软件测试和协议测试的TTCN-3测试套开发模式。该模式借鉴设计模式和模板库思想,在设计和重用抽象测试套和可执行测试套两方面有所突破,可以显著提高测试系统的可复用性和可扩展性,缩短测试系统的开发周期。结合GSM的移动应用部分(MAP)协议栈测试为例,说明该测试套开发模式的实际应用。     

基于Eclipse平台的TTCN-3测试系统

分析TTCN-3标准规范中的TTCN-3测试系统通用结构,提出一种基于Eclipse平台的TTCN-3测试系统体系架构。使用Eclipse的插件机制,实现TTCN-3测试环境与Eclipse平台的集成。讨论测试系统中各模块的功能及相关实现方法,阐述测试系统的具体测试流程。实际应用表明了该测试系统的有效性。     

基于TTCN-3的LDP一致性测试研究*

为了满足LDP的一致性测试需求,并突破原有LDP一致性测试中测试方式简单、测试程序不易于理解和测试语言描述能力弱的局限,基于TTCN-3测试描述语言研究了LDP一致性测试;在自行研制的分布式并发测试系统PITSv3的基础上设计扩展了针对LDP的测试适配器模块;设计了LDP的测试集并使用TTCN-3语言实现了该测试集,从而完成了PITSv3系统对LDP的功能扩展。最后进行了PITSv3系统对于LDP的一致性测试实践。     

TTCN-3测试系统的设计与实现

TTCN-3是一种新的标准化测试语言,文章提出了基于TTCN-3的协议一致性测试系统的设计方法,它使用可执行对象树表示TTCN-3可执行测试套,提供了灵活的并发测试组件调度方式和解释执行机制,并描述了依据该方法实现的TTCN3Runner的系统结构。     

基于TTCN-3的Web Service测试方法

介绍WebService技术的新特点和TTCN-3的相关知识,针对传统测试方法在测试WebService应用时出现的问题,提出一种基于TTCN-3的WebService测试框架及测试方法,并进一步说明使用TTCN-3测试WebService的测试流程,给出一个WebService的测试实例,证明该测试方法的可行性。     

基于TTCN-3的LDP一致性测试研究

为了满足LDP的一致性测试需求,并突破原有LDP一致性测试中测试方式简单、测试程序不易于理解和测试语言描述能力弱的局限,基于TTCN-3测试描述语言研究了LDP一致性测试;在自行研制的分布式并发测试系统PITSv3的基础上设计扩展了针对LDP的测试适配器模块;设计了LDP的测试集并使用TTCN-3语言实现了该测试集,从而完成了PITSv3系统对LDP的功能扩展。最后进行了PITSv3系统对于LDP的一致性测试实践。     

嵌入式API测试套生成方法和技术

随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.     

TTCN-3测试系统中模板匹配机制的一种实现方法

TTCN-3拥有一个功能强大且易于掌握的模板匹配机制。本文提出一种TTCN-3测试系统开发过程中模板匹配机制通用的、开放的实现方案。通过对模板匹配功能在TTCN-3测试系统中的作用进行深入分析,采用面向对象的程序设计语言C++实现TTCN-3测试系统中带有匹配机制的模板表示和模板匹配操作,并给出一个对于DNS协议实现功能测试的抽象测试套的翻译方案验证本文设计的合理性。     

DSM系统中存储一致性模型的一种新框架——S3C框架

存储一致性模型对共享存储系统的正确性，性能以及程序的复杂性都有重要的影响，该文立足于分布共享存储系统，提出了一种新的存储一致性模型框架－S^3C框架，该框架通过同步点的概念来描述不同模型正确的存储访问事件顺序；通过一致性维护点的概念，对同一模型的不同实现方式也能够进行区别和比较，结合S^3C框架，该文提出一种以操作系统为中心的线程一致性模型，并针对以顺序一致性模为代表的存储一致性模型的正确实现进行了论述。