Software Testing and Quality Assurance

课程简介

• 软件质量概念：软件质量问题。质量定义。质量成本。质量模型。 • 代码测试技术：控制流测试和数据流测试。变异测试。符号评估。领域测试。 • 规格测试技术：等价类划分。边界值分析。原因-效应图。随机测试。状态机测试。形式化程序验证。 • 检查技术：过程、角色、模板。 • 软件质量管理：责任。测试周期（单元测试、集成测试、系统测试、alpha 测试和 beta 测试阶段）。设计和代码审查。测试计划。测试工具。质量度量。质量预测。过程中的质量跟踪。

学习目标

1. 介绍有效的测试技术（包括黑盒和白盒测试），以确保高质量的软件； 2. 学习质量保证的度量方法，理解测试工具的功能。

先修要求

先修课程/排除课程 无

教学模式

课堂活动包括 - 讲座、辅导、实验室、工作坊和研讨会（如适用）