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