五App的具体功能路径差异
所有“新增”均是该Run内首次METHOD观察,除非明确写正式集合净差。普通动作窗口从该输入开始到下一输入;Probe默认从输入完成起算,两者不能不加说明地混用。截图案例JSON保留原始归档路径、METHOD行和executor行;同State代表图不当作精确步骤截图。
<a id="odk-二维码扫描器内部初始化"></a>
ODK:二维码扫描器内部初始化
Run:Pure run_b368aa215d6b41ff935f00898fdcadbc,SL run_4c508e1625894546a49a3ca708ce967b,Jev run_b4871490b9e84bbcb1a9b3464ca596fd。
SL−Jev正式净差2348,但集合结构是SL-only2479、Jev-only131、交集9703。SL-only中AndroidX占2137;这已经表明不宜将净差解读为多完成2348个业务方法的优势。逐方法差;分类
| 条件/时间/step | 实际操作与结果 | 方法证据 |
|---|---|---|
| 三组早期step66 FUZZ及68–74 | 三组均进入过QRCodeTabsActivity壳;后续出现More options、Import QR、Share等输入 | 三组都有该Activity的早期6个方法,不能把“首次打开二维码页”当SL独有行为 |
| SL 7:48.370,step317 | Project management菜单中点击空LinearLayout,0.001秒后同step开始FUZZ批次 | 到下一输入共2262首次:AndroidX2060、主业务15、其他ODK模块42,其余Kotlin/协程/其他库等;2252属于对Jev独有方法 |
| SL 7:51.182,仍在上述批次 | QRCodeTabsActivity$onCreate$1.granted,接着QRCodeScannerFragment、BarCodeScannerFragment、ZXing/Compose方法 |
执行器同批三次允许QRCodeTabsActivity启动;这是扫描器内部初始化的集中证据 |
| Pure约step315–319、Jev约322–326 | 对应阶段仍有二维码壳/Project management操作 | 未见上述grant回调与ScannerFragment初始化集合 |
| SL的4条Probe | 账号/表单管理设置项,如Manual | 没有把2262批次变成Probe;Manual的10秒227也含后续普通动作,B=0 |
关键证据:SL step317完整批次、完整executor、Pure早期66、Jev早期66。

此图是批次后的菜单,不是扫描器启动瞬间截图。归档没有那一瞬间的精确扫描器图,也没有FUZZ每个低层事件的独立时间戳;因此不能定位批次内究竟哪一个触摸/按键造成扫描器初始化,更不能说完成扫码或导入配置。
三组访问过BlankFormList、下载/删除/上传管理及设置,但未见FormEntryActivity、FormEntryFragment、FormFilling执行方法或具体表单问题GUI证据。结论是“没有成功打开并填写具体表单的证据”,而非把管理页面冒充填写。SL这次最主要的覆盖增量,是普通APE/FUZZ碰到了会初始化大量Compose/AndroidX的扫描器内部路径,不能据此说模型更会完成表单任务。
<a id="wikipedia-图片说明与媒体插入"></a>
Wikipedia:图片说明与媒体插入
Run:Pure run_d0565bde10ff469e8313f11bfd92ab9f,SL run_d04ae609a94042e28f3ab00ddb284ca9,Jev run_2f3e76962d00482f8d64ce83ca4d873f。
Pure相对SL有3588独有方法(SL反向872),Jev相对SL有3293(SL反向897)。两组共同缺口包含DescriptionEditActivity/DescriptionEditView、edit.insertmedia、MLKit语言识别及Google数据传输初始化。Pure-only对SL的1372个app-domain、1597个Google方法;Jev-only对SL的1206个app-domain、1665个Google方法,均见分类差表。
| 条件 | 时间/step | 具体操作 | 结果与方法 |
|---|---|---|---|
| Pure | 20:26.613,755 | 在图片页点Edit Image description | 精确756图为Add image caption;1320首次=149业务+1143Google+27AndroidX+1其他,其中1313对SL独有 |
| Jev | 21:33.035,775 | 同控件;紧随FUZZ | 1505首次=167业务+1303Google+34AndroidX+1其他;1331对SL独有。后续DescriptionEditActivity输入支持已进入;该动作的后图是代表图,不能当精确拍摄 |
| Pure | 32:05.836,1228 | TalkReplyActivity讨论回复编辑器点Insert media | 之后出现InsertMediaActivity;不是媒体发布成功 |
| Jev | 27:04.532,1006 | TalkReplyActivity讨论回复编辑器的媒体插入控件 | 后续InsertMediaActivity;不是完成上传 |
| SL | 全Run | 未观察到上述两个Activity输入及其专有方法 | 确实也访问Places,不能说完全没地图;地图初始化程度和后续交互不同 |

对应完整证据:Pure755、Jev775、Pure1228、Jev1006。
覆盖曲线不能只从最终倒推:三条件图的5分钟累计为Pure26434、SL24632、Jev25780,差距已经形成;20分钟分别32103/31130/30565,25分钟34827/31820/33070,30分钟35019/32443/35523,图片说明编辑及媒体路径在这个阶段继续拉开。初始化和前5分钟也有大量方法,不能把全部终差都放在某一次操作上。
SL确实反复使用文章模板:PageActivity的Find in输入86次、Language59次、Contents47次、Save44次;Pure的Find in52、Jev37。它们是同类功能在不同文章/实例上的重复,不是86个新功能。另一方面,版本State最常选择也只有十几次,不能把不同抽象版本的State ID直接合并成一个“重复死循环”。SL2169 Native步,Pure2307,Jev2204,不能仅凭Probe13对6就说Jev把大量节约时间全用于新功能。
SL 13个确认Probe只有其中一个有成功的即时3步导航;另一个目录Probe关联两次早先失败路径,共2步;还有1步导航目标最终没有确认Probe。全Run显式Probe目标6步8.715秒,占2169步约0.277%;503条导航中的其余499条不能计为Probe成本。导航和审核耗时分别保留,不能合成“13次Probe拖垮了覆盖”的因果结论。逐条表与4条目标导航
历史Pure Rep1 37142/80568=46.100%,Rep2 34551/80568=42.884%,均已直接核对原始METHOD与正式集合一致;历史JAR为93c440df…,Rep1还使用另一设备和seed。因此历史支持“Pure在不同运行中结果也不同”的描述,但不是本轮严格配对、也不能用两次结果估计可靠随机波动分布。原始核验与身份
Omni:录音流程没有走完
见历史与本轮四Run时间线。历史11654个严格60分钟方法中,本轮Pure缺1392、SL缺1622、Jev缺1439;历史Glide1047,本轮三组Glide均0。历史净提升不是Probe强制Record或Stop造成,两者都是普通APE;本轮也并非没有录音入口。
已证实:早期权限界面被拒、权限授予记录出现时间不同、后期部分Record仍未出现Stop、全Run没有录音附件及Glide路径。尚未证实:后期MediaRecorder为何没有形成可停止录音、Info点击是否有独立因果作用。缺少精确权限初始快照及完整Android录音错误日志,不能用“seed/模拟器相同”填补。
<a id="scarlet-相同提醒功能probe数量不等于覆盖收益"></a>
Scarlet:相同提醒功能,Probe数量不等于覆盖收益
Run:Pure run_ac2631bdb6dc435784e536e36eeba8be,SL run_90be2cba06ed490eb48e0c51795875ef,Jev run_95f70b23a59843b09110e90e309c467e。
SL对Pure独有654、Pure反向220,净434;Jev对Pure独有574、Pure反向142,净432。SL/Jev虽然只净差2个方法,实际上SL-only325、Jev-only323、交集8005,不能说完全走了同一条路径。
一个主要共同增量是设置并保存提醒。SL在4:10.205 step154打开包含Repeat Frequency、Reminder Time、Reminder Date的提醒表单;4:11.628 step155点DONE,至下一输入247首次,其中128对Pure独有。Jev在57:52.234 step1577打开同模板,58:06.720 step1590点Reminder Time打开精确时间选择器,58:14.032 step1598点DONE,至下一输入126首次,126均对Pure独有。两组均首次执行ReminderBottomSheet的onClick、ReminderJob.scheduleJob、NoteExtensionsKt.setReminderV2等。GUI和保存调用共同支持“设置提醒”,不证明之后真的到时通知。


SL155完整方法;Jev1598。这些是普通APE动作,不是Probe。
SL 4条Probe(焦点、Quote、长按文本、搜索建议)A2/A10/B全部0。因此不能说SL四次Probe直接带来434方法。Jev16条里,多次点击块的move图标后出现同一Block Text Actions的Share/Copy/Delete菜单;不同块文本不构成新功能。step750 Edit Note只打开No PIN set,不是成功解锁;step755 Mark Favourite后有心形,B=3。step143 Add Item的10秒352中,下一普通step146 Back就首次观察348,而B=0,不能把352全归Probe。
SL在MainActivity的输入1205次、CreateNote492次、CreateList354次,Jev分别521/629/269,另有ViewAdvanced125;SL在Main、CreateNote、CreateList的Back分别328/272/145,Jev91/91/45。这说明不同的主界面/编辑器轨迹与返回操作占用预算。较少Probe的SL普通APE仍触及高覆盖提醒路径,Jev更多Probe多数重复功能模板,因此两组终值接近;这是此次记录的解释,不能推广为Probe越少越好。150条中的Scarlet全部20条;Activity输入分布
<a id="activitydiary-统计与设置有收益部分领先来自崩溃报告库"></a>
ActivityDiary:统计与设置有收益,部分领先来自崩溃报告库
Run:Pure run_385c54116e6e40939df7afd04541978c,SL run_200afe1a53af49e489506f56987c30c6,Jev run_2b38f68437b6480c8f26d01cec61b440。
SL净高Jev352,但SL-only409中274个ACRA方法。因此不能把这352个净差全叫业务功能探索优势。 SL在15:59.662、step603点击quickFixButton1,GUI的content-desc为“Reject current edit and open existing activity with same name instead”(放弃当前编辑、改为打开同名已有活动),不是颜色按钮;原生文本#349d1369不能按十六进制颜色解读。源GUI显示名称冲突提示,点击后至下一输入233首次=183 ACRA+50 Kotlin;精确604图是unexpected error /send error data错误报告界面,不能称成功解决同名冲突。此为App错误路径,不因此推翻既有基础设施有效性。step603前图缺失,但保留的Native源GUI与Concrete控件说明完整。控件原始证据

有明确功能收益的案例:SL普通step37、1:35.971点Statistics,至下一输入303首次;Jev Probe step475、12:14.166点Statistics,B=265,精确图进入统计All页。Pure未见StatisticsActivity输入,其与两模型的差集分别包含261/239个MPAndroidChart方法。SL Probe step608、16:22.781在错误恢复后打开Settings,B=308;Jev较早普通step227也已进入Settings,约304首次。因此“SL有设置而Jev没有”同样不成立。
两模型都反复操作活动实例:Main select_card_view的普通click/long-click,SL82/52、Jev99/64、Pure192/127。这是相同卡片选择/编辑模板的执行次数,不是每张卡片独立功能。SL Probe中的Woodworking、Gardening、Cleaning、Cinema切换/终止等多条窗口均0;不同名称不增加功能数。
Jev step649虽然输入目标叫Map,后图仍为主页面和侧栏,不能记成成功进入地图;step1252/1284才看到Map空页、No data to show。不同卡片和重复空地图消耗了输入步骤,但没有按无证据的“实例不同=新功能”计分。逐条截图和观察;卡片及页面输入