15、多设备、健壮且集成的 Android GUI 测试与安全需求形式化测试

多设备、健壮且集成的 Android GUI 测试与安全需求形式化测试

多设备、健壮且集成的 Android GUI 测试

在移动应用开发中，测试是确保应用质量的关键环节。然而，当前的测试实践存在一些问题，如缺乏自动且广泛执行基于图像识别的测试套件的方法，以及测试用例维护成本高等。

1. 测试执行与覆盖率测量
   • 目前基于真实硬件设备的测试主要是纯手动和探索性的测试序列，缺乏自动且广泛执行基于图像识别的测试套件的方法。
   • 在测试执行结束后，期望生成完整的测试报告，包括测试用例结果、发现的缺陷、执行问题的统计和分析，以便改进和增强测试套件。
   • 在执行移动测试用例时，覆盖率测量存在主要研究空白，因为目前还没有被广泛接受的移动应用覆盖率模型。
2. 测试用例的脆弱性跟踪
   • 每个测试环境应跟踪脆弱或不稳定测试用例的数量。可以通过多次执行每个测试用例来标记其状态，如通过（所有执行都通过）、不稳定（部分执行通过）或失败（所有执行都失败）。
   • 失败的测试可进一步分为真阳性（由于被测应用（AUT）中的实际缺陷导致失败）和脆弱测试（由于 AUT 中无关更改导致失败）。
   • 脆弱性跟踪的目标是标记那些在 AUT 演变过程中需要过多干预的测试用例，其他框架模块可利用此标记活动辅助测试优先级排序。

3. 测试维护与修复