摘要: 测试与正确性论证    测试是用通过构造数据, 让程序在某种特定情况下运行, 观察程序的运行结果和预期结果比较, 来判断在这种情况下程序的正确性。 我们每次作业OO的互测, 以及第13次作业中的JUnit测试, 都是测试的例子。 测试像是把程序, 看成一个黑盒, 不关注其内部具体 阅读全文
posted @ 2018-06-24 01:15 zhysora 阅读(167) 评论(2) 推荐(1) 编辑