单选题 净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用( )进行分析和建模，并且将( )作为发现和排除错误的主要机制。使用( )测试来获取认证软件可靠性所需要的信息。
   供选择的答案：