核心。测试。豫
yuyan · 117 行 · 8459 字节 · UTF-8
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117
「:
文言:验全树测试之纯术;有违则告事故而退。
汉语:全树测试纯函数的单元测试;任一检查不成立即报事故退出(退出码非零)。
:」
寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「全树测试」之「核心」之书。
「验」乃化「爻」而化「字符串」而「有」也。
「验」者会「成立」而会「说明」而
若「成立」则
「元」
否则
「发生事故」授以「有」于(『全树测试核心自测失败:』附「说明」)
也。
「可有文」乃化(「或可有」于「字符串」)而「字符串」也。
「可有文」者会「可选」而
鉴「可选」而
有(「可有」于「所有值」)则「所有值」
或有「可无」则『〈无〉』
也。
「验文」乃化「字符串」而化「字符串」而化「字符串」而「有」也。
「验文」者会「期望」而会「实际」而会「说明」而
「验」于(「串相等」于「期望」于「实际」)于(「说明」附『:期望“』附「期望」附『”,实际“』附「实际」附『”』)
也。
「:文言:去首尾之空白。汉语:去首尾空白。:」
「验文」于『甲乙』于(「去首尾空白」于『 甲乙「:换行:」「:制表:」 』)于『去首尾空白』。
「验文」于『』于(「去首尾空白」于『 「:换行:」 』)于『全为空白』。
「:文言:断单元测试之报。汉语:判定单元测试库的计数输出。:」
「验」于(「汇报有失败」于『当前成功数:3 当前失败数:12』)于『失败计数非零』。
「验」于(「非」于(「汇报有失败」于『当前成功数:3 当前失败数:0』))于『失败计数为零』。
「:文言:辨试之类。汉语:按路径辨认测试类别。:」
「验文」于『单元测试』于(「测试类别」于『库/标准库/测试/数据结构/字节串。测试。豫』)于『单元测试类别』。
「验文」于『JS测试』于(「测试类别」于『豫言操作系统/宿主/浏览器/同步值桥。测试.mjs』)于『JS 测试类别』。
「验文」于『JS测试』于(「测试类别」于『豫言操作系统/适配/日志/一致性验证/日志.test.mjs』)于『点号 JS 测试类别』。
「验文」于『测试页』于(「测试类别」于『豫言操作系统/宿主/浏览器/中断。测试页.html』)于『测试页类别』。
「验文」于『』于(「测试类别」于『豫言操作系统/裸机/外部模块夹具.c』)于『C 测试类别』。
「验文」于『』于(「测试类别」于『库/标准库/数据结构/字节串。豫』)于『普通源码不是测试』。
「验文」于『』于(「测试类别」于『某库_v0/某。测试。豫』)于『忽略 _v0 目录』。
「:文言:识样例之组基。汉语:识别黄金样例的组基路径。:」
「验文」
于『应用/豫言编译器/测试/语法/通用序列/通用序列』
于(「可有文」于(「样例组基」于『应用/豫言编译器/测试/语法/通用序列/通用序列-1。豫』))
于『单份样例组基』。
「验文」
于『库/标准库/测试/字符串/模式』
于(「可有文」于(「样例组基」于『库/标准库/测试/字符串/模式-10。豫』))于『两位编号组基』。
「验文」于『〈无〉』于(「可有文」于(「样例组基」于『库/标准库/数据结构/字节串。豫』))于『无编号不是样例』。
「验文」于『〈无〉』于(「可有文」于(「样例组基」于『库/甲-。豫』))于『无数字不是样例』。
「:文言:断同组之引。汉语:判断同组文件之间的导入。:」
「验」
于(「被引用」于『循环导入-2』于(「列」【『寻测试之语法之类型检查之循环导入-2之书。』】))于
『旧写法导入视为被引用』。
「验」于(「被引用」于『名-3』于(「列」【『甲』,『寻观「测试」之「名-3」之书。』】))于『新写法导入视为被引用』。
「验」于(「非」于(「被引用」于『模式-1』于(「列」【『「打印行」于『三「:』:」。』】)))于『未导入不算被引用』。
「:文言:析规则而查之。汉语:解析规则表并查找。:」
「样规则文」者
『# 注释「:换行:」跳过「:制表:」库/甲/「:制表:」须浏览器「:换行:」「:换行:」参数「:制表:」库/乙。测试。豫「:制表:」./yy豫构 ./yy4_bs「:换行:」已知失败「:制表:」库/丙。测试。豫』
也。
「样规则」乃「列」于「规则项」也。
「样规则」者「解析规则」于「样规则文」也。
「验」于(「等」于(「长度」授以「规则项」于「样规则」)于「三」)于『规则条数』。
「验文」于『须浏览器』于(「可有文」于(「查规则」于「样规则」于『跳过』于『库/甲/子。测试。豫』))于『前缀规则』。
「验文」于『〈无〉』于(「可有文」于(「查规则」于「样规则」于『跳过』于『库/甲乙。测试。豫』))于『前缀须到斜线』。
「验文」于『〈无〉』于(「可有文」于(「查规则」于「样规则」于『只检查』于『库/甲/子。测试。豫』))于『类别须相同』。
「验文」于『./yy豫构 ./yy4_bs』于(「可有文」于(「查规则」于「样规则」于『参数』于『库/乙。测试。豫』))于
『参数规则』。
「验文」于『』于(「可有文」于(「查规则」于「样规则」于『已知失败』于『库/丙。测试。豫』))于『两栏规则的说明为空』。
「:文言:分片无重无漏。汉语:分片按顺序切段,不重不漏。:」
「十项」乃「列」于「测试项」也。
「十项」者
「列」【
(「项」于『单元测试』于『零』于『』),
(「项」于『单元测试』于『一』于『』),
(「项」于『单元测试』于『二』于『』),
(「项」于『单元测试』于『三』于『』),
(「项」于『单元测试』于『四』于『』),
(「项」于『单元测试』于『五』于『』),
(「项」于『单元测试』于『六』于『』),
(「项」于『单元测试』于『七』于『』),
(「项」于『单元测试』于『八』于『』),
(「项」于『单元测试』于『九』于『』)
】
也。
「径串」乃化(「列」于「测试项」)而「字符串」也。
「径串」者会「项们」而
「间合」于『,』于((「态射」授以「测试项」授以「字符串」)于「项们」于「项路径」)
也。
「验文」于『零,一,二』于(「径串」于(「取分片」于「十项」于「一」于「三」))于『第一片』。
「验文」于『三,四,五』于(「径串」于(「取分片」于「十项」于「二」于「三」))于『第二片』。
「验文」于『六,七,八,九』于(「径串」于(「取分片」于「十项」于「三」于「三」))于『第三片』。
「验文」于『』于(「径串」于(「取分片」于「十项」于「一」于「一六」))于『片多于项时可为空』。
「验文」于『三』于(「径串」于(「按前缀筛」于(「取分片」于「十项」于「二」于「三」)于『三』))于『先分片后筛选』。
「样分片」乃「整数」合「整数」也。
「样分片」者「解析分片」于『3/16』也。
「验」于(「等」于(「样分片」中「零」)于「三」)于『分片序号』。
「验」于(「等」于(「样分片」中「一」)于「一六」)于『分片总数』。
「验文」于『二「:换行:」三』于(「末若干行」于「二」于『一「:换行:」二「:换行:」三』)于『末若干行』。
「打印行」于『全树测试核心自测通过』。