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

A．形式化
B．迭代式
C．瀑布式
D．交互式

某患者，临床诊断为先天性主动脉口狭窄。

关于先天性主动脉瓣狭窄，叙述错误的是（）。

A.是先天性主动脉口狭窄中最常见的畸形

B.多为三叶瓣畸形

C.经食管超声有助于确诊瓣叶数

D.在主动脉瓣口及升主动脉内CDFI呈五彩镶嵌状

E.频谱多普勒记录到高速收缩期射流