Testing protocols in Internet of Things by a formal passive technique
Protocol conformance and performance testing are two branches of testing designed to determine compliance and performance of protocol implementations to their standard. Dr. CHE Xiaoping and Dr. MAAG Stephane from Laboratory UMR 5157 of French Centre national de la recherché scientifique (CNRS) focus on converging these two kinds of testing in a same formal approach. After several years of innovative research, they eventually created a formal approach to formally specify conformance and performance requirements. They successfully applied their approach on Extensible Messaging ...




