Cross-fertilizing formal approaches for Protocol Conformance and

While today’s communications are essential and a huge set of services is available online, computer networks continue to grow and novel communication protocols are continu-ously being defined and developed. De facto, protocol standards are required to allow different systems to interwork. Though these standards can be formally verified, the de-velopers may produce some errors leading to faulty implementations. That is the reason why their implementations must be strictly tested. However, most current testing approaches require a stimulation of the implementation under tests (IUT). If the system cannot be accessed or interrupted, the IUT will not be able to be tested. Besides, most of the existing works are based on formal models and quite few works study formalizing performance requirements. To solve these issues, we proposed a novel logic-based testing approach to test the protocol conformance and performance passively. In our approach, conformance and performance requirements can be accurately formal-ized using the Horn-Logic based syntax and semantics. These formalized requirements are also tested through millions of messages collected from real communicating environ