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

A．形式化

B．迭代式

C．瀑布式

D．交互式

关于睾丸鞘膜，下列描述不正确的是

A．分为壁层和脏层
B．壁层贴于精索内筋膜内面
C．脏层贴于睾丸和附睾的表面
D．脏层与壁层之间形成鞘膜腔
E．脏层与壁层于睾丸前缘相移行