摘要：
软件工程提高回顾与个人总结 | 项目 | 内容 | | : : | : : | | 这个作业属于哪个课程 | https://edu.cnblogs.com/campus/buaa/BUAA_SE_2019_LJ | | 这个作业的要求在哪里 |https://edu.cnblogs.com/cam 阅读全文
摘要：
"博客项目地址" | | | | | | | | | | | PSP2.1 | Personal Software Process Stages | 预估耗时（分钟） | 实际耗时（分钟） | | Planning | 计划 | 70 | 30 | | · Analysis | · 需求分析 (包括 阅读全文
摘要：
| 项目 | 内容 | | : : | : : | | 这个作业属于哪个课程 | https://edu.cnblogs.com/campus/buaa/BUAA_SE_2019_LJ | | 这个作业的要求在哪里 | https://edu.cnblogs.com/campus/buaa/BUAA 阅读全文
摘要：
| 项目 | 内容 | | : : | : : | | 这个作业属于哪个课程 | https://edu.cnblogs.com/campus/buaa/BUAA_SE_2019_LJ | | 这个作业的要求在哪里 | https://edu.cnblogs.com/campus/buaa/BUAA 阅读全文
摘要：
测试与正确性论证的效果差异 测试就是利用正确的数据集去对比自己程序的输出，我们写程序，大部分时间都是用测试来验证自己程序的正确性，测试简单方便，直接就能很快地构造出一两组测试数据来进行相应地测试。一般能够直接找到程序中存在的低级错误，但是测试需要用大量的数据来达到覆盖率等保证程序不出错。 正确性论证 阅读全文
摘要：
软件形式化方法历史 形式化方法的研究高潮始于20世纪60年代后期，针对当时所谓“软件危机”,人们提出种种解决方法,归纳起来有两类：一是采用工程方法来组织、管理软件的开发过程；二是深入探讨程 序和程序开发过程的规律，建立严密的理论，以其用来指导软件开发实践。前者导致“软件工程”的出现和发展，后者则推动 阅读全文
摘要：
oo第8次作业 oo第5次作业 第五次作业多线程分析： 第五次作业是第一次多线程作业，对于此次作业的多线程关键在于对于输入指令的分配过程中出现的问题，不能把相同的指令分配给不同的电梯等问题。我采取的设计是利用java自带的线程安全类ConcurrentLinkedQueue来对指令进行存储，避免了线 阅读全文
摘要：
第一次作业 分析自己程序的bug： 1，我自己程序中有正则表达式逻辑不够严密，造成了左括号并没有完全匹配得问题 2，同时我的程序中逻辑表达式判断也有问题，造成了系数为1000000时改程序不会进行报错 3，readme并没有定义完全，造成空多项式输入误解 分析别人程序的bug： 别人程序中Integ 阅读全文
摘要：
经过两个星期四节课的java学习，我也对java这门语言有了一定的认识。刚开始上课的时候，我认为java把C语言中老师所说的模块化编程进行了强调，进行一个类，一个类的编程，在类中构造相应的方法，使用的时候再调用。这样能够减少重复的代码，同时能让代码整体看上去比较整洁。这样写起程序来，调试比较容易，e 阅读全文
摘要：
一，java的接口跟C语言所能做到的相比确实是让人眼前一亮的东西。利用接口可以将多种东西放到一起，在编程过程中就能省略掉相同类的很多重复代码，将代码进行分类别的，统一的处理。 二，java中的字符串处理，java中的字符串并不像C语言那样利用二维数组来进行操作，而是对应了String这个对象，可以用 阅读全文