摘要：
一.测试与正确性论证 测试：争对程序构造样例去验证程序的正确性。 正确性论证根据程序的逻辑去判断程序的有效性和正确性。 测试的难度较正确性论证容易，但测试并不能说明测试已经全部覆盖程序。 二.OCL语言和jsf的异同 OCL对象约束语言，用来约束定义，形式化的无二义的语言，说明建模元素的有关细节。 阅读全文
摘要：
规格化设计的大致发展历史和为什么得到了人们 的重视： 规格化设计的发展历史网上资料也不多。规格化的存在使得代码有好的移植性。每个人有各自的写法，规格能告诉使用者关于代码整体上的思路，不去关注代码实现的具体细节。告诉别人如何使用，对于输入我如何处理。使得代码更好去移植使用。在程序发生错误时，能更加有效 阅读全文
摘要：
第五次作业： 此次作业是3个多线程电梯，其中有电梯线程、调度器线程、输入线程。 电梯线程负责线程的运动，调度器线程对输入的指令进行分配，输入线程从界面读取指令并放入请求队列中。 电梯线程在判断捎带情况时会读取其他电梯的状态，而且3个电梯都会同时访问主请求队列，所以需要对电梯状态的访问和请求队列的访问 阅读全文
摘要：
一.分析 第一次作业: 第二次作业： 第三次作业: 分析： 第一次作业全复杂度在check极高，本来第一次要用正则表达式。因为拖延症导致只能使用最简单的if else去判断表达式是否合法o.o，从第二次开始使用正则表达式，圈复杂度下降，为了区分各种错误写了一些各种if else语句，但比之前更加简洁 阅读全文
摘要：
问题： 设有一个算法Median能在O(n)的时间内计算一个数组的中位值(即将数组的元素按大小顺序排列正好位于中间的值)。给定一个有n个元素的数组，能否以Median算法为基础设计一个算法，对任意的整数1≤i≤n，该算法在O(n)的时间内求出数组中第i大小的元素。如果能，请给出一个这样的算法并分析其 阅读全文
摘要：
问题： 令A[1..n]是一个由n个数所组成的数组。序列A[1], A[2], … , A[n]被称为是单模的(unimodal)，当且仅当存在顶点序号1≤p≤n，使得数组的元素从A[1]、A[2]开始到A[p]单调增加，而从A[p]、A[p+1]开始到A[n]则单调下降。对于一个给定的单模序列A[ 阅读全文