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