18 October 2001 Incompleteness of Bluetooth protocol conformance test cases
Author Affiliations +
Proceedings Volume 4586, Wireless and Mobile Communications; (2001) https://doi.org/10.1117/12.445235
Event: Asia-Pacific Optical and Wireless Communications Conference and Exhibit, 2001, Beijing, China
This paper describes a formal method to verify the completeness of conformance testing, in which not only Implementation Under Test (IUT) is formalized in SDL, but also conformance tester is described in SDL so that conformance testing can be performed in simulator provided with CASE tool. The protocol set considered is Bluetooth, an open wireless communication technology. Our research results show that Bluetooth conformance test specification is not complete in that it has only limited coverage and many important capabilities defined in Bluetooth core specification are not tested. We also give a detail report on the missing test cases against Bluetooth core specification, and provide a guide on further test case generation in the future.
© (2001) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Peng Wu, Peng Wu, Qiang Gao, Qiang Gao, } "Incompleteness of Bluetooth protocol conformance test cases", Proc. SPIE 4586, Wireless and Mobile Communications, (18 October 2001); doi: 10.1117/12.445235; https://doi.org/10.1117/12.445235

Back to Top