-
题名基于TTCN的测试执行方法及其应用
- 1
-
-
作者
郝瑞兵
吴建平
史美林
-
机构
清华大学
-
出处
《通信学报》
EI
CSCD
北大核心
1996年第5期9-14,共6页
-
文摘
测试执行是协议一致性测试系统中的主要部分，本文提出了一种基于测试描述语言ＴＴＣＮ的操作语义对标准测试集进行解释执行的测试执行方法。利用这种方法所实现的一致性测试系统具有很强的灵活性和独立性，同时大大提高了测试的效率。另外，我们还介绍了基于这种测试方法所完成的协议一致性测试系统（ＰＣＴＳ）的总体结构、设计思想以及测试配置。
-
关键词
一致性测试
测试执行
ttcn
网络协议
计算机网络
-
Keywords
protocol conformance test, test execution, tree and tabular combined notation(ttcn)
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名基于扩展有限状态机的协议测试集生成研究
被引量：24
- 2
-
-
作者
王建国
吴建平
-
机构
清华大学计算机科学与技术系
-
出处
《软件学报》
EI
CSCD
北大核心
2001年第8期1197-1204,共8页
-
基金
国家自然科学基金资助项目 (6 96 82 0 0 2
6 972 5 0 0 3)&&
-
文摘
与其他测试方法相比 ,主要解决了自动生成可执行测试序列的问题 .首先介绍现有的基于扩展有限状态机的测试生成算法 ,这些算法虽然结合了控制流和数据流的测试 ,但是并没有解决测试序列的可执行问题 .重点解决了包含有影响循环测试序列的可执行性问题 ,并通过预先发现循环的中断条件而减少不可用的测试路径的产生 .另外 。
-
关键词
一致性测试
有限状态机
测试集生成
通信协议
-
Keywords
conformance testing
test case generation
tree and tabular combined notation
-
分类号
TN915.04
[电子电信—通信与信息系统]
-
-
题名基于随机Petri网模型的网络协议性能测试
被引量：5
- 3
-
-
作者
徐明伟
林闯
吴建平
-
机构
清华大学计算机科学与技术系
国家信息中心经济与技术研究所
-
出处
《软件学报》
EI
CSCD
北大核心
1999年第3期248-252,共5页
-
基金
国家自然科学基金
-
文摘
分析了协议性能测试需要解决的主要问题，并以随机Ｐｅｔｒｉ网为形式化工具，描述了网络协议的服务质量．提出从随机Ｐｅｔｒｉ网模型到ＴＴＣＮ（ｔｒｅｅａｎｄｔａｂｕｌａｒｃｏｍｂｉｎｅｄｎｏｔａｔｉｏｎ）测试集的转换规则。
-
关键词
性能测试
随机PETRI网
网络协议
计算机网络
-
Keywords
Protocol performance testing, stochastic Petri nets (SPN), quality of service (QoS), tree and tabular combined notation (ttcn).
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名基于协议集成测试系统的IPv4协议一致性测试
被引量：9
- 4
-
-
作者
王建国
吴建平
陈修环
冯晓东
-
机构
清华大学计算机科学与技术系
-
出处
《软件学报》
EI
CSCD
北大核心
2000年第2期207-212,共6页
-
基金
国家自然科学基金! (No.6 972 5 0 0 3
6 96 82 0 0 2
6 94730 11)资助
-
文摘
TCP/IP协议实现的一致性测试是保证 Internet网络设备之间互连与互操作的基础 .该文基于协议集成测试环境进行了 IP(Internet protocol)协议一致性测试研究和实际测试 ,并针对 IP端系统和中继系统分别采用了分布式和远程横断式测试法 ,设计生成了 IP一致性测试集 .并且已将 IP协议的一致性测试应用到路由器的开发和研制过程中 .
-
关键词
协议测试系统
TCP/IP协议
INTERNET网
IPV4协议
-
Keywords
Conformance testing, protocol test system, test method, IP (Internet protocol), ttcn (tree and table combined notation).
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名手机游戏软件一致性测试方法研究
被引量：3
- 5
-
-
作者
赵会群
孙晶
金季春
-
机构
北方工业大学信息工程学院
北京体育大学运动科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2007年第14期98-101,共4页
-
基金
北京市自然科学基金(No.4062012)~~
-
文摘
在概述手机游戏开发和测试方法之后,重点讨论手机游戏采用的WAP(Wireless Application Protocol,简称WAP)协议。结合WAE(Wireless Application Environment,简称WAE),WAP协议的应用层,一个用MSC图(Message Sequence Chart,简称MSC)描述的游戏协议模型被提出;为了辅助游戏测试,给出了一个基于TTCN的手机游戏测试套框架。为了指导上述模型的应用,介绍一个由Nokia公司开发的苹果机游戏的测试工作。
-
关键词
手机游戏软件
软件测试
树表描述语言
-
Keywords
mobile game
software test
Test and tree Combine notation（ttcn）
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名远程IP/ICMP协议一致性测试研究
- 6
-
-
作者
李中杰
吴建平
等
-
机构
清华大学计算机科学与技术系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第1期25-28,共4页
-
基金
国家自然科学基金 (No.69682 0 0 2
No.6972 5 0 0 3 )项目资助
-
文摘
在 INTERNET迅速发展的今天 ,作为 INTERNET的核心的 IP协议的地位已日趋重要 ,IP协议的一致性测试已成为协议工程学的研究重点 .ICMP协议作为 IP模块的差错报告和控制报文 ,与 IP协议的一致性测试具有十分密切的关系 .测试实践向 IP/ ICMP的测试活动提出了新的要求——远程测试 .在 PITS系统 〔1〕基础上 ,清华大学 CNPT实验室进一步开发了 IP/ ICMP远程测试模块 .本文分析了 IP/ ICMP一致性测试远程化的可行性 。
-
关键词
远程测试
一致性测试
IP/ICMP协议
通信协议
INTERNET
-
Keywords
remote testing
IP(Internet protocol)
ICMP
test method
distributed testing
PITS
conformance testing
ttcn(tree and tabular combined notation)
-
分类号
TN915.04
[电子电信—通信与信息系统]
TP393.4
[自动化与计算机技术—计算机应用技术]
-
-
题名跨越Internet的远程异地协议一致性测试研究
- 7
-
-
作者
李中杰
吴建平
-
机构
清华大学计算机科学与技术系
-
出处
《计算机工程与应用》
CSCD
北大核心
2002年第10期17-20,38,共5页
-
基金
国家自然科学基金支持(编号:69682002
69725003)
-
文摘
在Internet迅速发展的今天,TCP/IP协议族的一致性测试具有重要意义。协议一致性测试研究工作主要集中于两方面:测试组织,测试方法的研究和测试系统的建立;测试集,如何生成高质量的测试集。文章针对跨越Internet的远程异地测试需求,研究了时间透明性问题、测试组织、测试方法和测试系统构成。作者已将这种方法用于PITS系统TCP/IP协议族的远程异地测试子系统的设计。原来为各种本地测试方法所编写的TTCN抽象测试集只需小的修改即可使用。
-
关键词
INTERNET
远程异地协议
一致性测试
研究
TCP/IP协议
-
Keywords
remote-site testing,test method,PITS,ttcn(tree and table combined notation)
-
分类号
TP393.4
[自动化与计算机技术—计算机应用技术]
TN915.04
[电子电信—通信与信息系统]
-
