DEV Community
·
软件测试：理论与实践（第二部分） - 软件测试与逻辑表达式
💡
原文英文，约1500词，阅读约需6分钟。
📝
内容提要
本文探讨了功能程序测试中逻辑表达式的重要性。逻辑公式清晰描述程序规范，减少自然语言歧义，提高验证准确性。程序的总正确性由终止性和部分正确性构成，测试通过样本输入验证这些条件。
🎯
关键要点
- 功能程序测试中的逻辑表达式能够清晰描述程序规范，减少歧义。
- 程序的总正确性由终止性和部分正确性构成，测试通过样本输入验证这些条件。
- 自然语言存在歧义，逻辑符号使得论证的有效性更易检查。
- 逻辑表达式可以精确描述程序规范，避免实施者和验证者的误解。
- 在高成本领域（如航空、医疗等），使用形式逻辑或专用规范语言是值得的。
- 总正确性定义为程序在每个有效输入上都终止并返回规范中列出的输出。
- 缺陷是使总正确性为假的输入，测试通过有限输入样本来验证。
- 通过阅读逻辑公式，可以更清晰地理解软件测试并构建有效的正确性论证。
❓
延伸问答
逻辑表达式在功能程序测试中有什么重要性？
逻辑表达式能够清晰描述程序规范，减少自然语言的歧义，提高验证的准确性。
什么是程序的总正确性？
程序的总正确性是指程序在每个有效输入上都终止并返回规范中列出的输出。
如何通过样本输入验证程序的正确性？
通过测试有限输入样本，检查这些输入是否使总正确性为假，从而验证程序的正确性。
为什么自然语言在程序规范中存在歧义？
自然语言存在多种解释，可能导致不同的人得出不同的结论，因此使用逻辑符号更为精确。
在高成本领域使用逻辑表达式的好处是什么？
在航空、医疗等高成本领域，使用形式逻辑或专用规范语言可以减少错误和降低成本。
什么是部分正确性？
部分正确性是指在程序终止的前提下，输出与规范匹配。
➡️
