2018年6月25日
接着继续(OO博客第四弹)
摘要： 、测试与JSF正确性论证 测试和JSF正确性论证是对一个程序进行检验的两种方式。测试是来的最直接的，输入合法的输入给出正确的提示，输入非法的输入给出错误信息反馈，直接就能很容易的了解程序的运行情况。但是，每次测试只是在程序涉及的整个问题空间取一个元素进行测试，一次测试只能确保程序对于测试中的样例和同 阅读全文
posted @ 2018-06-25 13:15 SwainZ 阅读(187) 评论(1) 推荐(0) 编辑