1单元测试与纯业务逻辑
闭卷重建单元测试与纯业务逻辑的对象、公式、算例、算法与失败边界。
移动计算与安卓系统 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2仪器化测试与设备环境
闭卷重建仪器化测试与设备环境的对象、公式、算例、算法与失败边界。
3UI测试、语义与同步
闭卷重建UI测试、语义与同步的对象、公式、算例、算法与失败边界。
4属性测试与状态机测试
闭卷重建属性测试与状态机测试的对象、公式、算例、算法与失败边界。
5性能、能耗与基准测试
闭卷重建性能、能耗与基准测试的对象、公式、算例、算法与失败边界。
6兼容性、厂商与破坏性测试
闭卷重建兼容性、厂商与破坏性测试的对象、公式、算例、算法与失败边界。
7测试金字塔、契约与端到端
闭卷重建测试金字塔、契约与端到端的对象、公式、算例、算法与失败边界。
第 1 页 · 背面（答案）
对象：仪器化测试运行于设备/模拟器，可验证Context、数据库、IPC和平台行为，但速度和异构性更高。；公式：matrix result indexed by API,ABI,device state,build。；算例：同测试在API26通过、API34失败，不能只报总体一次通过。；边界：只在一个模拟器；测试间不清理权限和数据。。
对象：把Reducer、校验、同步合并等纯逻辑从Android依赖分离，用快速确定测试覆盖边界。；公式：test result=F(input,fixed dependencies)。；算例：Clock注入固定时刻后，过期边界测试不随真实时间波动。；边界：单测启动完整设备环境；mock实现不符合真实契约。。
对象：对序列化、Reducer、同步队列和生命周期写不变量，由生成器探索大量事件序列并缩减反例。；公式：∀sequence, invariant(state after sequence)。；算例：生成Start,Cancel,Retry发现Success后Retry导致重复提交，缩减到最短两事件反例。；边界：只生成合法路径错过防御；随机失败不可复现。。
对象：UI测试通过语义/可访问节点执行用户任务，并与主线程/异步idling正确同步。；公式：assert user-observable state, not implementation timing。；算例：用固定sleep2秒的测试在慢机失败，应等待可观察条件或受控调度。；边界：按像素坐标点击；选择器依赖内部层级。。
对象：系统版本、厂商、电量优化、权限自动重置和后台策略会改变行为，需基于用户分布验证。；公式：risk coverage=sum(user share of tested strata)。；算例：测试设备覆盖用户份额70%、20%两层，风险覆盖90%。；边界：只按API级别不看厂商；实验室设备关闭省电。。
对象：基准需固定构建、设备状态、温度、数据和迭代，报告分布而非一次最好值。；公式：speedup=old/new；regression=(new−old)/old。；算例：启动从800到920ms，回归15%。；边界：debug包测性能；只挑最快一次。。
对象：大量快速纯测试、适量平台/契约测试和少量关键E2E形成反馈与真实性平衡。；公式：suite cost≈Σcount_i×runtime_i。；算例：1000单测0.01s、100仪器测1s、10E2E20s，总约310s串行。；边界：所有逻辑只靠E2E；不稳定测试直接重跑掩盖。。