清华大学计算机系,北京,100084
纸质出版:2002
移动端阅览
陈东洛, 尹霞, 吴建平. 网络协议中的时间约束测试[J]. 电子学报, 2002,30(S1):1947-1952.
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
浏览量
887
下载量
0
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621