摘要： 1.测试与论证 测试是通过尽可能多而全的构建样例，让程序运行，并且通过观察程序的运行结果与期望对比，得出大概率正确的结果。 初步的样例选择简单，随着覆盖比例上升而变得越来越困难，就好像0分考到60和90考到100的感觉。 正确性论证是根据代码规格，逐步论证代码的正确性。如果代码的规格正确，同时代码的 阅读全文

摘要： 1.规格化设计的发展历程 看到这个问题，先是去原题目搜索，结果发现全是同学们自己写的博客或者是提问。便思考一下，觉得这个问题的另一种问法应该是软件工程的发展过程？果然，通过软件工程的发展历程自然可以看出其中的重要一部分，也就是规格化设计的发展历程。从第一次软件危机开始至今，大概有四个时期： ①软件危 阅读全文

摘要： Part-1 如何设计 这次就直接分析程序如何设计的好了，从第四次作业开始，就和多线程打上了交道。第一次的多线程电梯，第二次的简单文件监控，第三次的简单出租车调度，每一次都得用心系统规划总体框架，假如一开始规划的好，实现思路并不算难，但是细节还是繁琐。 一、多线程电梯 因为这次要求的是三部电梯，与之 阅读全文

摘要： Part-0.3 对于博客 万事开头难，虽然说博客只是作业的一小Part，但是确实是自己第一次写一些关于编程方面思考的文章，之前从来都是写一个感性的小文章，思考思考人生啥的。而且我相信写好博客是很重要的一个环节，毕竟态度最重要嘛哈哈。俗话说七分看三分写，好的作品总是要一遍一遍推敲，所以这周二一整天的 阅读全文