题目内容

完全测试又称为穷举测试，它分为完全功能测试和______测试。

查看答案

搜索结果不匹配？点我反馈

更多问题

程序正确性证明最常用的方法是______，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

______是用以描述每个模块之间的操作细节，同时也包括每一个模块对下一个控制模块的操作细节。

软件测试时，发现错误产生的原因依赖于所使用的调试策略，而主要的调试方法包括试探法、回溯法、______和演绎法。

城市控制测量有哪些特点