净室软件工程是软件开发的一种 (1) 方法,可以开发较高质量的软件。它使用盒结构规约
题型:单项选择题
问题:
净室软件工程是软件开发的一种 (1) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (2) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。
1()
A.形式化
B.迭代式
C.瀑布式
D.交互式
净室软件工程是软件开发的一种 (1) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (2) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。
1()
A.形式化
B.迭代式
C.瀑布式
D.交互式