摘要：
特点： 不必运行程序 无需条件，易展开 方法： 代码审查（与设计的一致性、标准、可读性，表达式逻辑、结构合理性） 代码检查（与审查类似，但不如审查检查范围广） 桌面检查（阅读自己程序，效率低） 静态分析（借助于测试工具） 数据流、控制流、接口分析、表达式分析 阅读全文
摘要：
根据覆盖目标的不同，逻辑覆盖又可分为语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖。 语句覆盖：选择足够多的测试用例，使得程序中的每个可执行语句至少执行一次。 判定覆盖：通过执行足够的测试用例，使得程序中的每个判定至少都获得一次“真”值和“假”值， 也就是使程序中的每个取“真”分支 阅读全文
摘要：
需求验证 需求验证概述 需求验证是软件需求的最后一个环节。 目标：尽可能发现存在的错误。 主要手段：需求评审 需求验证是专指在需求规格说明完成之后，对需求规格说明文档进行的验证活动。 需求验证方法 需求验证的主要方法是评审。 阅读全文
摘要：
概念：在测试时，把被测程序视为一个不能打开的黑盒子，在完全不考虑程序内部结构和内部特性的情况下进行。在测试时，把被测程序视为一个不能打开的黑盒子，在完全不考虑程序内部结构和内部特性的情况下进行。 测试用例是为特定的目的而设计的一组测试输入、执行条件和预期的结果。测试用例是执行的最小实体。 测试用例设 阅读全文
摘要：
• 等价类划分法是一种重要的、常用的黑盒测试方法，它将不能穷举的测试过程进行合理分类，从而保证设计出来的测试用例具有完整性和代表性 划分等价类：寻找输入条件、划分为多个等价类、形成互不相交子集 阅读全文
摘要：
定义：列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据他们选择测试用例。 •错误推测法的基本思想：列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据他们选择测试用例。比如设计一些非法的、错误的、不正确和垃圾数据进行输入测试。比如以前测试中曾经发现的错误，例如输入数据和输出数据为0的 阅读全文
摘要：
有情侣一起买BTC，将私钥从中截断，每人保留其中一部分。如果未来两人依旧感情很好，就可以将钱取出；如果分手，这部分钱就会永久锁死，谁也无法取出，通过区块链的不可篡改性作为两人的爱情见证。这样做有什么问题？如此下来，N个人怎么办？如果按照这种方法，将私钥分为N份。但这样会有一系列问题。一. 如果N个人 阅读全文
摘要：
•定义：正交实验设计方法是依据Galois理论,从大量的（实验）数据（测试例）中挑选适量的、有代表性的点（例）,从而合理地安排实验（测试）的一种科学实验设计方法.类似的方法有:聚类分析方法,因子方法方法等。 指标：通常把判断试验结果优劣的标准叫做试验的指标 因子：影响实验指标的条件称为因子 因子的状 阅读全文
摘要：
之前有提及，理论上来说，分布式系统不可能达成共识。但实际中为何变成可能了？严格来说，BTC系统***识随时可能被推翻，例如分叉攻击导致系统回滚。此外，理论和实际存在差异。不可能结论针对特定模型，实际中对模型稍微修改或添加线下方法即可将不可能变为可能。 知识改变命运，这句话本身没有错，但是对知识的一知 阅读全文
摘要：
为什么要挖矿？因为有收益，且收益大于开销。早期BTC难度低且出块奖励高，从而吸引矿工。之前有提到，BTC总量固定，有人认为其是一个精妙的设计。但实际上，总量固定的东西并不适合作为货币，这也就决定了BTC并不能在未来完全颠覆现有货币体系。以太坊中便没有BTC中出块奖励定期减半的做法，此外，某些新型货币 阅读全文