筛选

卡片视图

//

CSAPP · Bomblab

符号执行 是一种测试技术,在软件质量保障与测试(董震老师)的课程上有所讲解。其思想是,我们可以在有分支时把输入数据视作一个“符号”而不是一个具体的值,收集符号所满足的条件,最后根据约束条件反过来求解这个符号值的范围或具体值。 例如: 我们对上述条件收集得到的是 solve(2α == 10) → α = 5 。 接下来我们尝试解决…
/

为什么神乐光很萌?

by. 看少女歌剧看魔怔了的十派 如何界定神乐光的萌点? 首先可以盖棺定论地说,神乐光绝对不是“傲娇”一词就能概括的。 事实上,对比于“傲娇”一词的起源明日香,神乐光无论傲和娇都是“不称职”的。假定傲娇一词针对的对象是其在意的人,eva对应男主,神乐光对应华恋,神乐光从来没有对华恋冷言相向,也没有在突破特定阈值时突然展现出“娇”的姿态。 神乐光平日里始终是冷冷、捉摸不透的表情,虽然这种情况下更可能是在发呆。或许用“谜语人”一词更好形容她——带有电波感又内心坚定的无口天然少女,这是我想到的不吝用词的界…
//

CS61A · Disc 03 · 递归

依旧遵从disc01的案例-过程-抽象-实现的思路。 为了简化本blog及之后的blog,对于部分题目,首先会省略写出实现后、代入案例检验的过程;也可能会只取一个案例做分析,其他案例请自行思考;还可能会省略从案例抽象出某些符号的观察思考过程,直接给出实现。 在分析案例时可能会尽量将案例拆分开、遵照由简单到复杂的思考过程。如果某些步骤整合后一次性给出不易理解,可以尝试自行拆分。 还请读者自行对比思考,尽量完整理解,注意掌握分析思想。如果对理解上述思路有疑惑,可以看看本blog中讲解比较详细的题目,或者之…