Paper
18 October 2001 Incompleteness of Bluetooth protocol conformance test cases
Peng Wu, Qiang Gao
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
Abstract
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 and Qiang Gao "Incompleteness of Bluetooth protocol conformance test cases", Proc. SPIE 4586, Wireless and Mobile Communications, (18 October 2001); https://doi.org/10.1117/12.445235
Advertisement
Advertisement
RIGHTS & PERMISSIONS
Get copyright permission  Get copyright permission on Copyright Marketplace
KEYWORDS
Wireless communications

Standards development

Bismuth

Computer architecture

Mobile communications

Switches

Back to Top