培养方向：研究软件在实现既定目标的过程中，行为及结果的正确性、可靠性、安全性、时效性、完整性、可用性、可预测性、生存性和可控性的基础理论与技术。培养学生掌握软件的形式化建模方法，开发方法，验证技术，测试理论与方法。