单项选择题

软件工程环境按软件生命周期的不同阶段可分为4类,( )包括程序正确性证明、验证及软件测试等功能。

A) 软件开发环境
B) 软件维护环境
C) 软件项目管理环境
D) 软件质量保证环境