五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。

SL批次后精确step318的Project management菜单

此图是批次后的菜单,不是扫描器启动瞬间截图。归档没有那一瞬间的精确扫描器图,也没有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,不能说完全没地图;地图初始化程度和后续交互不同

Pure step756精确Add image caption

对应完整证据: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和保存调用共同支持“设置提醒”,不证明之后真的到时通知。

SL step155精确提醒表单

Jev step1591精确时间选择器

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 step604精确错误报告页

step603完整原始证据

有明确功能收益的案例: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。不同卡片和重复空地图消耗了输入步骤,但没有按无证据的“实例不同=新功能”计分。逐条截图和观察;卡片及页面输入