医学评分计算器应用的诊断研究

移动医学评分计算器应用在从业者中广泛使用，以帮助做出关于患者治疗和诊断的决定。评分定义、输入或计算中的错误可能导致严重且可能危及生命的情况。尽管风险很高，但尚无系统或严格的工作来检查和验证评分计算器应用。我们通过一种新颖的基于区间的评分检查方法来解决这些问题。基于我们观察到医学参考表本身可能包含错误（这些错误可能会传播到应用），我们首先引入参考表的自动正确性检查。具体而言，我们将评分正确性检查简化为评分参数范围上的分区检查（覆盖和非重叠）。我们检查了急诊、重症和急性护理中使用的12个评分系统。令人惊讶的是，尽管其中一些评分已使用了数十年，但我们在5个评分规范中发现了错误：8个覆盖违规和3个非重叠违规。其次，我们设计和实现了一种基于自动动态分析的方法，用于验证给定Android应用中的评分正确性；该方法结合了高效的自动GUI提取和应用探索，以及分区/一致性检查，以暴露应用错误。我们将方法应用于实现医学评分计算器的90个Android应用。我们发现11个应用中有23个覆盖违规；12个应用中有32个非重叠违规，以及16个应用中有16个错误的评分计算。我们将所有发现报告给开发者，目前已有6个应用得到修复。