净室软件工程是软件开发的一种(  )方法,可以开发出具有较高质量的软件。它使用盒

题库2022-08-02  38

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

选项

答案 AD

解析 净室软件工程是软件开发的一种形式化方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将正确性验证作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。净室软件下程强凋在规约和设计上的严格性,以及使用基于数学的正确性来证明对设计模型的每个元素进行形式化验证。
转载请注明原文地址:https://tihaiku.com/congyezige/2401754.html

最新回复(0)