摘要： 一、测试与正确性论证的比较 测试是通过输入特定数据等方式，检查程序是否和预期相同来衡量程序性能的方法，这是一种高效直观的检查程序是否正确的方法，但是由于测试不可能完全覆盖所有情况，所以测试不可能验证程序是完全正确的。 正确性论证通过自然语言配合公式来实现的，其能够保证程序的正确性，但却需要耗费许多的 阅读全文

摘要： 规格设计的发展历史 软件工程发展始于1950年左右，目的在于使用工程化的方法来组织，管理软件的开发。而所谓规格，正式一种形式， 工程化的设计方式。包括：需求分析，功能描述，算法设计，编程，测试和维护。软件的规格化是提高软件可靠性的重要方式之一，当软件的规模随着软件行业的成熟与发展，软件系统的复杂性使 阅读全文

摘要： 第五次作业 第六次作业 第七次作业 总结：这三次作业比之前的作业难度更大，也更加繁琐，需要花费更大的精力在其上面。通过这三次作业， 让我更好地体会到了多线程的魅力，让我更加清楚地了解到多线程的运行机制以及对于多线程之间的数据 处理。并让我对线程安全以及信息共享等部分有了更深的了解。 阅读全文

摘要： 由于我是在第二周才选的课，导致第一次作业没有来的及写。 第二次作业 大约快一年没有用eclipse来写java了，感觉有点生疏，导致包括正则呀输入呀还有抛出异常之类的还需要重新温故一下。 第二次作业是实现一个傻瓜电梯，由于其功能简单，所以在逻辑设计上并不是很难，主要是要解决一些语法上的错误。之前 只 阅读全文