PropGen：LLM自动生成属性做移动App测试
Get the story
2026年10月9日，arXiv软件工程方向发布PropGen研究，提出用大语言模型自动化移动应用的基于属性的测试。该方法先从GUI状态推断候选功能假设，执行验证后合成属性，并依据测试反馈修正不精确的属性。在12个真实Android应用上的实验显示，PropGen推断出1,210个有效功能、正确执行977个，基线分别为491和187；共生成985个属性，其中912个有效；在127个不精确属性中修正了118个。这是该事件的首篇报道，尚无更早数据可供对比。
Generated from reports · updated 3 hr ago
Timeline
Follow the coverage from different angles.
- arXiv · Software EngineeringPropGen：用 LLM 自动生成属性以进行移动应用基于属性的测试
PropGen 用 LLM 自动化移动应用基于属性的测试，从 GUI 状态推断候选功能假设，执行验证后合成属性并依据测试反馈修正不精确属性。在 12 个真实 Android 应用上，PropGen 推断出 1,210 个有效功能、正确执行 977 个（基线为 491 和 187），生成 985 个属性中 912 个有效，并修正了 127 个不精确属性中的 118 个。
Heat trend
Current heat 9·Comparable peak 10（Oct 9）·Comparable change over 24 hours –
The trend compares only the same participants observed continuously; its range may be smaller than the current heat count. Move or click on the chart to inspect hourly heat; use the left and right arrow keys to switch.