HACMony: 自动检测鸿蒙OS中跳跃式音频流冲突问题
软件工程
2025-05-30 v2
摘要
鸿蒙OS正在成为多种移动设备的流行分布式操作系统。其突出特性之一是应用跳跃功能，允许用户在不同鸿蒙OS设备之间无缝切换应用。然而，当播放音频流的应用在设备之间跳跃时，容易触发与跳跃相关的音频流冲突（HAC）场景。由于鸿蒙OS应用跳跃机制语义不清晰，以及缺乏有效的多应用跳跃测试方法，HAC问题的检测难度高于单设备音频流冲突。为填补这一空白，本文引入一种自动化且高效的HAC问题检测方法。首次对鸿蒙OS音频流应用跳跃机制进行形式化语义建模。基于此形式化建模，设计了音频服务转换图（ASTG）以建模音频API相关服务的行为，并提出一种基于模型的自动检测HAC问题的方法。所提出技术实现于HACMony工具，并在20个真实鸿蒙OS应用上进行评估。实验结果表明，11个应用存在HAC问题。此外，本文将检测到的问题归类为两种典型类型，即MoD和MoR，分析其特征，以辅助和指导应用开发者和操作系统开发者。
引用
@article{arxiv.2504.07472,
title = {HACMony: Automatically Detecting Hopping-related Audio-stream Conflict Issues on HarmonyOS},
author = {Jinlong He and Binru Huang and Changwei Xia and Hengqin Yang and Jiwei Yan and Jun Yan},
journal= {arXiv preprint arXiv:2504.07472},
year = {2025}
}