2018年6月25日
oo第四阶段总结
摘要： oo第四阶段总结 一、关于测试与正确性论证 测试是根据代码功能构造相应的数据，通过结果的正确性来判断代码中是否有bug。 正确性论证是根据代码的规格，以自然语言的形式对代码是否能够实现相应功能、是否能够对相应异常进行处理进行论证。 总的来看，正确性论证更为宏观，适合于大型系统的宏观正确性控制，即对大 阅读全文
posted @ 2018-06-25 16:48 qys1711 阅读(304) 评论(0) 推荐(0) 编辑