

浏览全部资源
扫码关注微信
清华大学计算机系,北京,100084
Published:2002
移动端阅览
CHEN Dong-luo, YIN Xia, WU Jian-ping. Testing Time Constraints in Network Protocols[J]. Acta Electronica Sinica, 2002, 30(S1): 1947-1952.
对协议实现的时间约束进行测试
是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展
结合路由协议测试的实践
修正了现有方法几个不符合实际情况的假设
扩展了时间自动机的理论和思路
将时间约束下的状态机转换成非确定性有限状态自动机
运用Wp方法生成抽象测试集
讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.
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.
0
Views
887
下载量
0
CSCD
Publicity Resources
Related Articles
Related Author
Related Institution
京公网安备11010802024621