题名 通信协议一致性测试序列自动生成算法研究
被引量：9
1
作者
魏仰苏 孟兆航 舒挺
机构
浙江 水利水电专科学校计算机 系浙江 理工大学 计算机 应用 研究所
出处
《计算机工程与设计》
CSCD
北大核心
2007年第10期2312-2315,共4页
基金
浙江省自然科学基金项目(M603145) 浙江省科技计划基金项目(2005C21027)
文摘
在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题。在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程及优缺点。实验结果表明,将这两种测试序列的生成算法相结合,能够对通信协议的控制流部分进行充分的测试,使生成的测试序列具有比较高的错误覆盖率,从而提高了一致性测试的效率。
关键词
一致性测试 控制流测试 惟一输入输出序列 可达性分析 有限状态机
Keywords
conformance test control flow test UIO reachability analysis FSM
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 Ad Hoc网络QoS路由协议研究
被引量：3
2
作者
孟兆航 魏仰苏 蒋国明
机构
浙江 理工大学 计算机 应用 研究所
出处
《计算机工程与设计》
CSCD
北大核心
2006年第13期2331-2333,共3页
基金
浙江省自然科学基金项目(M603145)
文摘
AdHoc网络自身固有的特点使得AdHoc网络QoS路由协议面临许多新的挑战和机遇。通过对基于标签探测(ticket-based probing,TBP)协议和在TBP协议基础上提出的延时约束最小费用的Ad Hoc网络中的完全分布式QoS路由协议——基于熵的长寿的分布式QoS路由(entropy-based long-life distributed QoS routing,EBLLD)协议进行的详细地分析和比较,可以得出以下结论:EBLLD协议有较高的路由成功率,具有可扩展性,可应用于较大规模的Ad Hoc网络。
关键词
AD HOC网络 路由协议 QOS 基于标签探测协议 基于熵的长寿的分布式QoS路由协议
Keywords
Ad Hoc network routing protocols QoS TBP EBLLD
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 数据流控制流相叠加的可执行测试序列生成研究
被引量：2
3
作者
魏仰苏 孟兆航 舒挺
机构
浙江 水利水电专科学校计算机 系浙江 理工大学 计算机 应用 研究所
出处
《计算机工程与应用》
CSCD
北大核心
2007年第10期121-124,共4页
基金
浙江省自然科学基金(the Natural Science Foundation of Zhejiang Province of China under Grant No.M603145) 浙江省科技公关计划(the Key Technologies R&D Program of Zhejiang Province +2 种基金 China under Grant No.2005C21027) 浙江省教育厅资助科研课题(the re-search Project of Department of Education of Zhejiang Province China under Grant No.20050799)
文摘
提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议中的数据部分进行了充分的测试,从而提高了一致性测试的效率。
关键词
一致性测试 数据流 控制流 TEA树
Keywords
conformance test data flow test control flow test TEA tree
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
