摘要：
提问回顾 "提问博客" 尝试回答 代码设计规范问题： “函数最好有单一的出口，为了达到这一目的，可以使用goto。只要有助于程序逻辑的清晰体现，什么方法都可以使用，包括goto...” + 对于团队合作开发，程序逻辑的清晰体验对于队友来说实在是一件重要的事，与此相比使用goto语句是完 阅读全文
摘要：
[TOC] 1.Github项目地址： "Wordlist" 2.PSP表格及预估开发时间： | PSP2.1 | Personal Software Process Stages | 预估耗时（分钟） | 实际耗时（分钟） | | | | | | | Planning | 计划 | 30 | 20 阅读全文
摘要：
一. 提问 1.第四章 代码设计规范 “ 函数最好有单一的出口，为了达到这一目的，可以使用goto。只要有助于程序逻辑的清晰体现，什么方法都可以使用，包括goto。。。 ” 老生常谈而且也难以定论的东西：goto的简便和难以被完全替代的作用确实受到一部分人喜爱，可也存在容易导致代码可读性下降难以维护 阅读全文
摘要：
测试与正确性论证： 测试的目的是将程序的代码做到全覆盖，从而确保每个分支都运行一遍，进而分析代码中是否有错误，错误出在哪里。这个方法是实用的，但不是完备的。而正确性论证则通过大量的穷举，基于repOK和jsf来论证正确性，是逻辑层次的，可以说绝对正确，但相对复杂。私以为，二者的区别在于，测试可以说明 阅读全文
摘要：
一． 规格设计的发展历程： 在1960年代末至1970年代初期，出现了一次软件危机：一方面需要大量的软件系统，如操作系统、数据库管理系统；另一方面，软件研制周期长，可靠性差，维护困难。人们希望编写出的程序结构清晰、易阅读、易修改、易验证，即产生良好结构的程序。60年代中期，大容量、高速度的计算机出现 阅读全文
摘要：
类图： 本程序主要有出租车线程(taxi)以及调度线程(sche)，请求类(Request)和寻找 最短路径类(即 bfs 类)。 出租车线程掌管着出租车自己的状态以及运行，x，y 代表出租车的坐标，tag 为 出租车派单标识，Num 为出租车编号，state 为出租车状态，credibility 阅读全文