A formal approach to protocol interoperability testing

Abstract

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… (More)
DOI: 10.1007/BF02946617

Topics

  • Presentations referencing similar topics