TEST AMPLIFICATION FOR MEDICAL APPS IMPLEMENTING LINEARLY-APPROXIMATABLE FUNCTIONS

Document Type

Conference Proceeding

Publication Date

1-1-2024

Abstract

Mobile (smartphone) apps are increasingly used in medical, health, and fitness settings, but their reliability can be poor, which has negative healthcare consequences. Researchers have started to scrutinize the correctness and reliability of such apps, but the techniques used are unsatisfactory. For example, prior work has used ad-hoc techniques to discover some errors and incorrect calculations, but we still lack automated procedures that systematically look for errors. We introduce a novel approach that provides test “amplification”: given a few test cases for an app, we use a linear approximation to model app behavior, compute an error function, and then look for its maxima. The error function maxima are further test cases that exhibit higher errors. Our approach can generally be applied to any calculations based on linearly-approximatable functions. We have applied our approach to 54 Android apps. We have primarily focused on apps computing the Basal Metabolic Rate (BMR). While manual testing discovered errors of at most 0.3%, amplification found errors as large as 5.4%. We also show how our approach can perform effective test amplification, from 2.4% to 8%, for recently-found issues in Android apps that calculate the Body-Surface Area.

Identifier

85207060622 (Scopus)

ISBN

[9789898704597]

Publication Title

Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2024, BigDaCI 2024; Connected Smart Cities 2024, CSC 2024; and e-Health 2024, EH 2024

First Page

157

Last Page

164

Grant

CCF-2106710

Fund Ref

National Science Foundation

This document is currently not available here.

Share

COinS