系统的实现与测试（摘抄）.pdfVIP

系统的实现与测试（摘抄） ⼀、系统的实现 程序设计可以采⽤结构化程序设计，⾯向对象程序设计，⾯向⽅⾯程序设计，可视化程序设计 可以采⽤测试⾃动化来进⾏测试，⽬前主要的测试⾃动化⼯具有： （1）单元测试⼯具，如JUnit检查内存泄露，代码覆盖率 （2）负载和性能设计 （3）GUI功能测试⼯具，主要⽤于回归测试 （4）基于WEB的测试⼯具，主要⽤于连接检查和安全性⽅⾯的检查 ⼆、系统的测试 软件调试⽅法主要有蛮⼒法，回溯法，原因排除法 蛮⼒法：激活内存映像，输出寄存器内容，凭借现场信息进⾏跟踪 回溯法：从错误征兆开始，⼈⼯进⾏追踪，如果程序很⼤，回溯路径过多，将很难完成 原因排除法：事先找到可能存在的原因，然后利⽤输⼊数据对这些原因进⾏验证。 软件测试⽅法主要有静态测试，⽩盒测试，⿊盒测试。 其中静态测试依赖于认得分析。 （1）⽩盒测试主要包括： 控制流测试：对语句覆盖，判定覆盖，条件覆盖，判定条件覆盖，条件组合覆盖，修正条件/判定覆盖， 路径覆盖 数据流测试 程序变异测试：是⼀种错误驱动测试，将源程序做符合语法的改动形成变异体，然后⽤⼤量的测试数据 集进⾏验证，如果产⽣的输出相同，则变异体存活。否则，则变异体死亡。对存活的变异体，应该检查 其是否和源程序等价，如果不等价则⽆法证明源程序的正确性。 变异测试⾃动化程度⾼，但是成本也