软工视频5-7章

第五章：
好程序标准：1.易于测试和调试
            2.易于维护
            3.易于修改
            4.设计简单
            5.高效率
复杂结构用基本控制结构组合嵌套。
输入和输出信息是与用户的使用直接相关的。

McCabe是一种基于程序控制流的复杂性度量方法。

第六章：
黑盒测试：这种方法是把测试对象看做一个黑盒子，检查程序的功能是否符合它的功能说明。
白盒测试：这种方法把测试对象看做一个透明的盒子，对程序所有逻辑路径进行测试。
逻辑覆盖：以程序内部的逻辑结构为基础的设计测试用例的技术。它属于白盒测试。
条件测试路径选择：嵌套型分支结构，连锁型分支结构。
循环测试路径选择：简单循环，嵌套循环，连锁循环，非结构循环。
调试是进一步诊断和改正程序中潜在的错误。
测试方法：静态分析和动态测试。

第七章：
软件维护：在软件运行/维护阶段对软件产品进行的修改就是维护。