摘要： 一． 论述测试与正确性论证的效果差异，比较其优缺点 软件测试是用于保证软件质量的测试。它的作用是检查程序所能完成的功能。测试手段包括等价划分和边界值分析。软件测试不能够保证覆盖面完全。 正确性论证是对代码进行输入的划分，依次对输入与输出进行解释。但是对于大型的程序，也许能保证单元测试内部满足代码要求 阅读全文

摘要： 程序设计规格化的思考 程序设计是从汇编时代开始的，我们的学习过程也同样是从面相过程编程慢慢的转换到面向对象编程。但语言的发展没有止步，就离我们最近的c++而言，几乎每年都在更新它的标准与特性。但我们同时需要认识到两件事：1.虽然标准与特性在改变，但是语言还在极大的兼容着以前的一些特性。2.语言的变化 阅读全文

摘要： 一、综述 在这几次作业中，我们的作业重点由实现任务慢慢转向了面向对象开发的综合性与平衡性。面向对象开发需要每个类的大小（代码行数）接近，代码容易阅读，说明文档清晰可见。但是，即使到了现在，大家仍然存在很多细节方面的问题。例如在正则表达式中我所阅读到的代码仍然有很多“\d*”的存在，或者是有人使用了I 阅读全文

摘要： 面向对象设计与构造课程总结 初次接触java，感觉这门语言跟c++挺接近的。其实历史上这两门语言都是在一个时间发布的。但是写着写着才发现，两门语言的编程思路完全不同。c++的初学者可能还是通过c语言的思路来对内容进行的操作，而java所有操作都是对对象的操作。 在互测别人的代码的时候能看到明显的c语 阅读全文