Share Email Print

Proceedings Paper

Incompleteness of Bluetooth protocol conformance test cases
Author(s): Peng Wu; Qiang Gao
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper 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.

Paper Details

Date Published: 18 October 2001
PDF: 8 pages
Proc. SPIE 4586, Wireless and Mobile Communications, (18 October 2001); doi: 10.1117/12.445235
Show Author Affiliations
Peng Wu, Institute of Software (China)
Qiang Gao, Institute of Software (China)

Published in SPIE Proceedings Vol. 4586:
Wireless and Mobile Communications
Hequan Wu; Jari Vaario, Editor(s)

© SPIE. Terms of Use
Back to Top