净室软件工程是软件开发的一种()方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将()作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。
它使用盒结构规约进行分析和建模,并将()作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。参考答案:D
答案解析:
净室软件工程是软件开发的一种形式化方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将正确性验证作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。净
我来回答:
最新试题