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