Silva S., Caldas R., Pelliccione P., Bertolino A.
Body sensor networks Combinatorial testing Model-based testing Discrete-time Markov chain
Body Sensor Networks (BSNs) offer a cost-effective way to monitor patients’ health and detect potential risks. Despite the growing interest attracted by BSNs, there is a lack of testing approaches for them. Testing a Body Sensor Network (BSN) is challenging due to its evolving nature, the complexity of sensor scenarios and their fusion, the potential necessity of third-party testing for certification, and the need to prioritize critical failures given limited resources. This paper addresses these challenges by proposing three BSN testing approaches: PASTA, ValComb, and TransCov. These approaches share common characteristics, which are described through a general framework called GATE4BSN. PASTA simulates patients with sensors and models sensor trends using a Discrete Time Markov Chain (DTMC). ValComb explores various health conditions by considering all sensor risk level combinations, while TransCov ensures full coverage of DTMC transitions. We empirically evaluate these approaches, comparing them with a baseline approach in terms of failure detection. The results demonstrate that PASTA, ValComb, and TransCov uncover previously undetected failures in an open-source BSN and outperform the baseline approach. Statistical analysis reveals that PASTA is the most effective, while ValComb is 76 times faster than PASTA and nearly as effective.
Source: THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 223 (issue 112336)
@article{oai:iris.cnr.it:20.500.14243/544225, title = {Different approaches for testing body sensor network applications}, author = {Silva S. and Caldas R. and Pelliccione P. and Bertolino A.}, doi = {10.1016/j.jss.2025.112336 and 10.2139/ssrn.4876283}, year = {2025} }
Bibliographic record
Deposited version
10.1016/j.jss.2025.112336
10.2139/ssrn.4876283