| 网络协议中的时间约束测试 |
| |
| 引用本文： | 陈东洛,尹霞,吴建平.网络协议中的时间约束测试[J].电子学报,2002,30(Z1):1947-1952. |
| |
| 作者姓名： | 陈东洛 尹霞 吴建平 |
| |
| 作者单位： | 清华大学计算机系, 北京, 100084 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划)，69725003,90104002，2001AA112061，， |
| |
| 摘 要： | 对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.
|
| 关 键 词： | 时间自动机 协议测试 RIP 测试生成Wp方法 TTCN |
| 文章编号： | 0372-2112(2002)12A-1947-06 |
| 收稿时间： | 2002-06-06 |
| 修稿时间： | 2002年6月6日 |
Testing Time Constraints in Network Protocols |
| |
| CHEN Dong-luo,YIN Xia,WU Jian-ping.Testing Time Constraints in Network Protocols[J].Acta Electronica Sinica,2002,30(Z1):1947-1952. |
| |
| Authors: | CHEN Dong-luo YIN Xia WU Jian-ping |
| |
| Affiliation: | Department of Computer Science and Technology, Tsinghua, University, Beijing 100084, China |
| |
| Abstract: | Time constraints are common in network protocols and are important features for real-time requirements.It is necessary to test time constraints in protocol implementations. Approaches in testing realtime are reviewed and the disadvantages are given. Some assumptions in the existing methods are revised to fit the need of our practice on testing routing protocols. We modified the theory of timed automata to convert time constraints to state variables and time events,which result in a nondetenninistic finite state machine. Abstract test suite is generated by Wp method and should be parameterized in execution. Example from RIP protocol is used to demonstrate the procedure to construct TTCN test cases. |
| |
| Keywords: | RIP TTCN |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
|
