摘要
自主卫星移动通信系统需要管理大量的信道资源和业务流程,其网络协议层具有很高的复杂度。为了对其进行工程实现,对协议的形式化技术进行研究,给出一种基于有限状态机的网络协议实现和一致性测试方法,并通过自主卫星移动通信网络协议中移动性管理子层的开发和测试进行验证。一致性测试的结果表明,上述方法能够有效保证协议层实现的正确性和完备性。
Satellite mobile communication system administrates substantial channel resources and traffic procedures, which leads to the high complexity of system network protocol. By studying the protocol＇s formal methods, presents engineering schemes of network protocols＇ development and the conformance test based on FSM. Furthermore, puts the schemes into practice by realizing the mobility-management layer in satellite mobile communication protocol stack. Results of conformance test indicate that the above solution can guarantee the validity and completeness of protocol realization.
出处
《现代计算机》
2016年第12期50-54,共5页
Modern Computer
