@harmonyos-arkts/d2h 0.1.3 → 0.1.6

package/skills/d2h-hypium-forge/scripts/analyze_results.py

@@ -0,0 +1,156 @@
+#!/usr/bin/env python3
+# -*- coding: utf-8 -*-
+"""失败结果机械分类器（EXPERIENCE-LIB EXEC-011/012 的落地）。
+
+输入 run_direct.py / run_parallel.py 产出的 results*.json，结合 cases.json 与
+runtime_pages.json，把每条失败归入证据明确的簇，并对门禁疑似簇给出 BLOCKED-GATE
+改判建议（最终改判仍需 hilog 路由日志确认，分类器只做候选提名）。
+
+分类规则（按优先级）：
+  DEVICE        设备连接类错误（Fail to get device / connector）——环境问题，非用例问题
+  DESIGN-ERROR  断言文本在 runtime_pages 任何页都找不到——用例引用了采集期不存在的文本
+  NAV-CONTEXT-LOSS 断言文本存在、但只出现在其他页（常见于我的域门禁：执行时入口点击
+                无路由，页面停在母页导致目标文本缺失）；若文本所在页含门禁标记词
+                （关联账户/登录/充值）标 gate_suspect=True
+  ASSERT-FAIL   文本存在于本页上下文，属状态断言失败（数据/时序问题），需人工看截图
+
+用法:
+  python3 analyze_results.py --results results.json --cases cases.json \
+      [--runtime-pages runtime_pages.json] [--out analysis.md] [--reclassify]
+"""
+import argparse
+import json
+import os
+import re
+import sys
+from collections import Counter
+
+GATE_MARKERS = ('关联账户', '登录', '充值', '绑定手机', '实名')
+
+TEXT_NOT_FOUND = re.compile(r'text not found[:：]\s*(.+?)(?:\s*\||$)')
+
+
+def load(path):
+    if not path or not os.path.exists(path):
+        return None
+    with open(path, encoding='utf-8') as f:
+        return json.load(f)
+
+
+def build_text_index(runtime_pages):
+    """文本 → 出现过的页 key 列表；同时返回 页 key → texts 反查表。"""
+    idx, by_page = {}, {}
+    for p in runtime_pages or []:
+        by_page[p['key']] = p.get('texts', [])
+        for t in p.get('texts', []):
+            idx.setdefault(t, []).append(p['key'])
+    return idx, by_page
+
+
+def classify_one(res, case, text_idx, by_page):
+    """返回 (cluster, detail_dict)。"""
+    msg = str(res.get('msg', ''))
+
+    if 'Fail to get device' in msg or 'connector' in msg:
+        return 'DEVICE', {'reason': '设备连接失败', 'device': res.get('device', '')}
+
+    m = TEXT_NOT_FOUND.search(msg)
+    if not m:
+        return 'ASSERT-FAIL', {'reason': msg[:120] or '无消息'}
+
+    text = m.group(1).strip()
+    pages = text_idx.get(text) if text_idx else None
+    if pages is None:
+        return 'UNKNOWN', {'reason': '无 runtime_pages 证据，无法定位文本', 'text': text}
+    if not pages:
+        return 'DESIGN-ERROR', {'reason': '断言文本不在任何采集页中', 'text': text}
+
+    # 门禁疑似：文本所在页含门禁标记词（关联账户/登录/充值等，可按工程扩展）
+    gate = any(any(g in t for g in GATE_MARKERS) for t in by_page.get(pages[0], []))
+    return 'NAV-CONTEXT-LOSS', {
+        'reason': '文本存在于采集页但执行时未出现（导航/门禁上下文丢失）',
+        'text': text,
+        'pages': pages,
+        'gate_suspect': gate,
+    }
+
+
+def main():
+    ap = argparse.ArgumentParser()
+    ap.add_argument('--results', required=True)
+    ap.add_argument('--cases', default=None)
+    ap.add_argument('--runtime-pages', default=None)
+    ap.add_argument('--out', default=None)
+    ap.add_argument('--reclassify', action='store_true',
+                    help='输出改判后的 results 文件（BLOCKED-GATE 候选仍标 FAIL，仅附注）')
+    args = ap.parse_args()
+
+    results = load(args.results) or []
+    cases = {c['id']: c for c in (load(args.cases) or [])}
+    runtime_pages_cache = load(args.runtime_pages) or []
+    text_idx, by_page = build_text_index(runtime_pages_cache)
+
+    rows = []
+    counter = Counter()
+    for res in results:
+        status = res.get('status')
+        if status == 'PASS':
+            continue
+        case = cases.get(res.get('case', '').replace('_case', ''), {})
+        cluster, detail = classify_one(res, case, text_idx, by_page)
+        counter[cluster] += 1
+        rows.append({'case': res.get('case'), 'status': status,
+                     'cluster': cluster, **detail,
+                     'title': case.get('title', ''), 'dur': res.get('dur')})
+
+    total = len(results)
+    passed = sum(1 for r in results if r.get('status') == 'PASS')
+    lines = [
+        f'# 失败分类报告 — {os.path.basename(args.results)}',
+        '',
+        f'总计 {total} 条：PASS {passed} / 失败 {len(rows)}',
+        '',
+        '## 簇分布',
+        '',
+    ]
+    for c, n in counter.most_common():
+        lines.append(f'- **{c}**: {n}')
+    lines += ['', '## 明细', '']
+    for r in rows:
+        gate = ' ⚠️门禁疑似(BLOCKED-GATE 候选，需 hilog 确认)' if r.get('gate_suspect') else ''
+        pages = f"（文本所在页: {', '.join(r['pages'])}）" if r.get('pages') else ''
+        lines.append(f"- `{r['case']}` **{r['cluster']}**{gate} — {r.get('title','')}：{r.get('reason','')}"
+                     + (f" `{r.get('text','')}`{pages}" if r.get('text') else ''))
+    lines += [
+        '',
+        '## 处置建议',
+        '',
+        '- DEVICE：环境问题，重跑即可，不计用例失败',
+        '- DESIGN-ERROR：回 cases.json 修正 target（引用 runtime_pages 中真实存在的文本）',
+        '- NAV-CONTEXT-LOSS：先 hdc hilog 查目标入口点击是否有路由事件——无事件即 EXEC-011 门禁，改判 BLOCKED-GATE；有事件则查 Tab 切换/back 链（EXEC-012）',
+        '- ASSERT-FAIL：看截图核状态，属数据/时序断言失败',
+    ]
+
+    report = '\n'.join(lines)
+    print(report)
+    if args.out:
+        with open(args.out, 'w', encoding='utf-8') as f:
+            f.write(report + '\n')
+        print(f'\n[written] {args.out}')
+    if args.reclassify:
+        out_path = re.sub(r'\.json$', '', args.results) + '.classified.json'
+        merged = []
+        rowmap = {r['case']: r for r in rows}
+        for res in results:
+            r = rowmap.get(res.get('case'))
+            if r:
+                res = dict(res, cluster=r['cluster'],
+                           gate_suspect=bool(r.get('gate_suspect')))
+            merged.append(res)
+        with open(out_path, 'w', encoding='utf-8') as f:
+            json.dump(merged, f, ensure_ascii=False, indent=1)
+        print(f'[written] {out_path}')
+
+
+if __name__ == '__main__':
+    main()

package/skills/d2h-hypium-forge/scripts/assert_audit.py

@@ -0,0 +1,107 @@
+#!/usr/bin/env python3
+# -*- coding: utf-8 -*-
+"""assert_audit.py — 断言强度审计（按场景测试目的选型，EXEC-045 修订）。
+功能交互类场景必须有效果断言（EFFECT_LEVEL）；资源渲染类的 exist 合法——审计标记 vacuous
+的含义是"无任何值级断言"，由评审结合场景类型判断是否无效（非一刀切反 exist）。
+
+扫描 cases.json，按「能否发现问题」给每条用例的断言分级评分：
+
+  0 分（锚点级）  exist          —— 只证"页面活着"，不能证"功能对"
+  1 分（值级）    equals/absent/text/text_contains/count/below/checked/
+                  unchecked/enabled/disabled/toast
+  特殊           无断言步骤（纯点击链）= 0 分
+
+判定：
+  strong   值级断言 >= 2 且覆盖至少 2 个不同维度（如 值+计数）
+  weak     值级断言 >= 1
+  vacuous  全部 exist 或无断言 —— 「断言强度不足」，评审红灯
+
+用法（.hypium_forge 目录）:
+  python3 assert_audit.py [--cases cases.json] [--out assert_audit.md]
+"""
+import argparse
+import json
+import os
+
+VALUE_LEVEL = {'equals', 'absent', 'text', 'text_contains', 'count', 'below',
+               'checked', 'unchecked', 'enabled', 'disabled', 'toast'}
+# 效果断言（2026-09-29 合并强化）：直接证明"功能发生了"的维度
+EFFECT_LEVEL = {'text', 'text_contains', 'count', 'checked', 'unchecked',
+                'absent', 'toast', 'below'}
+DIMS = {
+    'equals': '精确文本', 'absent': '反向', 'text': '值', 'text_contains': '值包含',
+    'count': '计数', 'below': '几何', 'checked': '开关态', 'unchecked': '开关态',
+    'enabled': '可用态', 'disabled': '可用态', 'toast': 'Toast',
+}
+
+
+def audit_case(case):
+    """返回 (score, dims, detail_rows)。"""
+    score, dims, rows = 0, set(), []
+    effect_flags = set()
+    for s in case.get('steps', []):
+        e = s.get('expect')
+        if not e:
+            rows.append((s.get('action', ''), '无断言(动作)', 0))
+            continue
+        if e in VALUE_LEVEL:
+            score += 1
+            dims.add(DIMS[e])
+            if e in EFFECT_LEVEL:
+                effect_flags.add(e)
+            rows.append((s.get('action', ''), e, 1))
+        else:
+            rows.append((s.get('action', ''), e, 0))
+    has_effect = any(e in EFFECT_LEVEL for e in effect_flags)
+    if score == 0:
+        verdict = 'vacuous'
+    elif not has_effect:
+        verdict = 'weak'          # 有值级但无效果断言（纯存在性/可达组合）
+    elif score < 2 or len(dims) < 2:
+        verdict = 'weak'
+    else:
+        verdict = 'strong'
+    return score, dims, verdict, rows
+
+
+def main():
+    ap = argparse.ArgumentParser()
+    ap.add_argument('--cases', default='cases.json')
+    ap.add_argument('--out', default=None)
+    args = ap.parse_args()
+    cases = json.load(open(args.cases, encoding='utf-8'))
+
+    stats = {'strong': [], 'weak': [], 'vacuous': []}
+    for c in cases:
+        score, dims, verdict, _ = audit_case(c)
+        stats[verdict].append((c.get('id'), score, sorted(dims)))
+
+    L = [f'# 断言强度审计 — {os.path.basename(os.getcwd())}', '',
+         '> 目标是发现问题：exist 只证"页面活着"，值级断言才证"功能对"（EXEC-041）', '',
+         f'- strong（值级≥2 且跨≥2 维度）: **{len(stats["strong"])}**',
+         f'- weak（值级=1）: **{len(stats["weak"])}**',
+         f'- **vacuous（仅 exist/无断言——评审红灯）: {len(stats["vacuous"])}**', '']
+
+    if stats['vacuous']:
+        L += ['## 🔴 断言强度不足（须补值级断言后才能过评审）', '']
+        for cid, sc, dm in stats['vacuous']:
+            L.append(f'- `{cid}`：0 个值级断言——全部 exist/纯点击')
+        L.append('')
+    if stats['weak']:
+        L += ['## 🟡 弱断言（单一值级）', '']
+        for cid, sc, dm in stats['weak']:
+            L.append(f'- `{cid}`：{sc} 分（{", ".join(dm) or "无"}）')
+        L.append('')
+    L += ['## ✅ 强断言', '']
+    for cid, sc, dm in stats['strong']:
+        L.append(f'- `{cid}`：{sc} 分（{", ".join(dm)}）')
+
+    out = '\n'.join(L)
+    print(out)
+    if args.out:
+        open(args.out, 'w', encoding='utf-8').write(out + '\n')
+        print(f'\n[written] {args.out}')
+
+
+if __name__ == '__main__':
+    main()

package/skills/d2h-hypium-forge/scripts/collect_runtime_pages.py

@@ -0,0 +1,169 @@
+#!/usr/bin/env python3
+"""
+collect_runtime_pages.py — 运行时页面文本采集器（设计前置，消灭上下文假设错位）。
+
+流程: 启动 App → dump 首页 → 逐个点击底部 Tab → dump →
+      对每个已 dump 页面提取「可点击文本」（clickable 或短文本按钮类）逐个浅层点击 → dump 新页面 → 返回。
+产出 runtime_pages.json: [{"key": "home|tab:我的|click:设置", "texts": [...], "hints": [...], "from": 父页key}]
+
+用法: collect_runtime_pages.py --device 127.0.0.1:5559 --bundle com.x [--max-pages 20] [--out runtime_pages.json]
+"""
+import argparse
+import json
+import re
+import subprocess
+import time
+
+from hypium import BY, MatchPattern
+
+HDC = '/Applications/DevEco-Studio.app/Contents/sdk/default/openharmony/toolchains/hdc'
+
+
+def dump_texts(sn, tag):
+    """hdc dumpLayout → (texts, clickable_texts, hints)。"""
+    dev = f'/data/local/tmp/rp_{tag}.json'
+    subprocess.run(['bash', '-c', f'{HDC} -t {sn} shell uitest dumpLayout -p {dev}'],
+                   capture_output=True, timeout=30)
+    local = f'/tmp/rp_{tag}.json'
+    subprocess.run(['bash', '-c', f'{HDC} -t {sn} file recv {dev} {local}'],
+                   capture_output=True, timeout=30)
+    try:
+        d = json.load(open(local, encoding='utf-8'))
+    except Exception:
+        return [], [], []
+    texts, clickables, hints = [], [], []
+
+    def walk(n):
+        a = n.get('attributes', {})
+        t = a.get('text')
+        if t:
+            ts = str(t).strip()
+            if ts and len(ts) < 20 and not re.match(r'^[\d:,.\s]+$', ts):
+                texts.append(ts)
+                if str(a.get('clickable')) == 'true':
+                    clickables.append(ts)
+        if a.get('hint'):
+            hints.append(str(a['hint'])[:16])
+        for c in n.get('children', []) or []:
+            walk(c)
+
+    walk(d)
+    seen_t, seen_c = [], []
+    for t in texts:
+        if t not in seen_t:
+            seen_t.append(t)
+    for t in clickables:
+        if t not in seen_c:
+            seen_c.append(t)
+    return seen_t, seen_c, hints
+
+
+def main():
+    ap = argparse.ArgumentParser()
+    ap.add_argument('--device', required=True)
+    ap.add_argument('--bundle', required=True)
+    ap.add_argument('--ability', default='EntryAbility')
+    ap.add_argument('--max-pages', type=int, default=18)
+    ap.add_argument('--out', default='runtime_pages.json')
+    args = ap.parse_args()
+
+    from hypium import UiDriver
+    d = UiDriver.connect(device_sn=args.device)
+    # 热启动（冷启动后 UI agent 短暂不可用，实测文本点击会静默失败）
+    d.start_app(args.bundle, args.ability)
+    for _ in range(20):
+        try:
+            if d.find_component(BY.text('首页')):
+                break
+        except Exception:
+            pass
+        time.sleep(1)
+    time.sleep(2)
+
+    pages = []
+    queue = []  # (key, clickable_texts) 待浅探
+
+    def cap(key):
+        texts, clicks, hints = dump_texts(args.device, abs(hash(key)) % 10000)
+        pages.append({'key': key, 'texts': texts[:40], 'clickables': clicks[:15], 'hints': hints[:5]})
+        print(f'[+] {key}: {len(texts)} 文本 / {len(clicks)} 可点', flush=True)
+        return clicks
+
+    clicks = cap('home')
+    queue.append(('home', clicks))
+
+    # 底部 Tab（取 home 可点文本中位于常见 Tab 词表的）
+    TABS = ['首页', '主页', '分类', '购物车', '我的', '预约', '课程', '发现']
+    if not clicks:
+        clicks = [t for t in pages[0]['texts'] if 2 <= len(t) <= 6]
+        pages[0]['clickables'] = clicks
+    tab_hits = [t for t in clicks if any(tw in t for tw in TABS)]
+    for t in tab_hits[:5]:
+        try:
+            click_text(d, t)
+            time.sleep(1.8)
+            key = f'tab:{t}'
+            c2 = cap(key)
+            queue.append((key, c2))
+            # 回 home 供下一个 tab 点击
+            try:
+                click_text(d, '首页')
+            except Exception:
+                d.press_back()
+            time.sleep(1.5)
+        except Exception as e:
+            print(f'  [x] tab {t}: {str(e)[:60]}', flush=True)
+
+    # BFS 浅层：每页最多取 2 个入口点击（限页数）
+    visited_clicks = set()
+    while len(pages) < args.max_pages and queue:
+        pkey, clicks = queue.pop(0)
+        if not clicks:
+            pg = next((p for p in pages if p['key'] == pkey), None)
+            clicks = [t for t in (pg['texts'] if pg else []) if 2 <= len(t) <= 6]
+        n = 0
+        for t in clicks:
+            if len(pages) >= args.max_pages or n >= 2:
+                break
+            if t in visited_clicks or len(t) < 2 or t in ('返回', '确定', '取消'):
+                continue
+            visited_clicks.add(t)
+            try:
+                click_text(d, t)
+                time.sleep(1.8)
+                key = f'{pkey}>{t}'
+                c3 = cap(key)
+                queue.append((key, c3))
+                n += 1
+            except Exception:
+                continue
+            finally:
+                try:
+                    d.press_back(); time.sleep(1.2)
+                except Exception:
+                    pass
+
+    json.dump(pages, open(args.out, 'w', encoding='utf-8'), ensure_ascii=False, indent=1)
+    print(f'采集完成: {len(pages)} 页 → {args.out}')
+
+
+def click_text(d, txt, wait=6):
+    import time as _t
+    deadline = _t.time() + wait
+    while _t.time() < deadline:
+        try:
+            comps = d.find_all_components(BY.text(txt, MatchPattern.CONTAINS))
+            if comps:
+                c = comps[-1]
+                b = c.getBounds()
+                d.touch(((b.left + b.right) // 2, (b.top + b.bottom) // 2))
+                _t.sleep(1.2)
+                return
+        except Exception:
+            pass
+        _t.sleep(0.4)
+    raise AssertionError('not clickable: ' + txt)
+
+
+if __name__ == '__main__':
+    main()