单项选择题
软件工程环境按软件生命周期的不同阶段可分为4类，( )包括程序正确性证明、验证及软件测试等功能。
单项选择题 Cobol语言是( )。
单项选择题 结构化程序设计方法主要是为( )服务的。
单项选择题 软件复审是保证软件质量的重要技术手段，复审的主要目的是( )。
