%0 Journal Article
%T A formal approach to protocol interoperability testing<br>A Formal Approach to Protocol Interoperability Testing
%A Hao Ruibing
%A and Wu Jianping
%A <br>Hao Ruibing
%A Wu Jianping
%J 计算机科学技术学报
%D 1998
%I 
%X Protocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products. In this paper, we proposed a formal approach to protocol interoperability testing based on the operational semantics of Concurrent TTCN. We define Concurrent TTCN's operational semantics by using Labeled transition System, and describe the interoperability test execution and test verdict based on Concurrent TTCN. This approach is very helpful for the formation of formal interoperability testing theory and construction of general interoperability testing system.
%K Interoperability testing
%K concurrent semantics
%K concurrent TTCN
%K FDT-based application<br>计算机网络
%K 通信协议
%K 网络协议
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=823F7DD829603068B4B8F6CAF2DAFE18&yid=8CAA3A429E3EA654&vid=FC0714F8D2EB605D&iid=CA4FD0336C81A37A&sid=9C65ADEB5990B252&eid=869807E2D7BED9EC&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=9