摘要： 第八章第一节 软件构造性能的度量原理 本章是课程覆盖的第5个质量指标：时空性能 这是大家最熟悉的指标，虽然很重要，但并非软件构造中最重要的指标，当其他指标得以优化之后，再去考虑性能问题。 Outline 性能度量指标 存储性能 内存管理： 对象管理模型：静态、堆、栈 内存管理模型： Java垃圾回收 阅读全文

摘要： 求解递归式的方法 【代入法】 代入法求解分为两步： 猜测解的形式 用数学归纳法求出解的常数C，并证明正确性，关键步骤是用猜测的解代入到递归式中。 做出好的猜测（没有一般方法，只能凭经验） 与见过的解类似，则猜测之。 先证较宽松的上、下界，减小猜测范围。我们可以从下界Ω(n)开始，上界O(n^2)，然 阅读全文

摘要： 第七章第五节 测试与测试优先编程 确保程序正确性/健壮性的最普遍的手段：测试 设计测试用例 用JUnit写测试程序 自动化测试过程 设计测试用例 用JUnit写测试程序 自动化测试过程 Outline 测试和测试优先编程 黑盒测试 等价类划分 边界值分析 代码覆盖度 用注释形式撰写测试策略 JUni 阅读全文