高级软件工程 静态代码的可信性分析概述7/45 动态测试 ●离线运行程序 ●应用最广泛的缺陷查找技术 对功能性最有效 工作量大:微软(半数的测试人员? 自动程度难以提高 ●基本分类 黑盒 白盒 许多缺陷靠运行很难暴露:死琐等高级软件工程 静态代码的可信性分析概述 7/45 动态测试 ⚫ 离线运行程序 ⚫ 应用最广泛的缺陷查找技术 – 对功能性最有效 – 工作量大：微软（半数的测试人员？） – 自动程度难以提高 ⚫ 基本分类 – 黑盒 – 白盒 许多缺陷靠运行很难暴露：死琐等