净室软件工程是软件开发的一种(作答此空 )方法,可以开发出具有较高质量的软件。它使用盒结构 规约进行分析和建模,并将( )作为发现和排除错误的主要机制,采用统计测试来获取验证 软件可靠性所需要的信息。
形式化
迭代式
瀑布式
交互式