题目内容

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

查看答案

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

更多问题

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

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

城市控制测量有哪些特点

黑箱测试(功能测试)不考虑程序内部细节、结构和实现方式，仅考虑程序结果与说明书的一致性。黑箱法分为以下几种：等价分类法、边缘值分析法、______、错误推测法。