yyf小僵尸

摘要： 一、 论述测试与正确性论证 测试是利用测试代码，通过编写测试用例来验证代码是否能正常完成所要求的功能，自动测试相较于正确性论证来说更加的直观，直接测试代码的功能。 • 优点：易于实施，工程广为采用。通过第十四次作业书写正确性论证可以看出来测试相比正确性论证更容易实施，周期更短，对于有时间限制的工程开 阅读全文

摘要： 一.规格化设计对的发展历史 在1968年，荷兰教授E.W.Dijkstra提出了“GOTO语句是有害的”观点，指出程序的质量与程序中所包含的GOTO语句的数量成反比，认为应该在一切高级语言中取消GOTO语句。这一观点在计算机学术界激起了强烈的反响，引发了一场长达数年的广泛的论战，其直接结果是结构化程 阅读全文

摘要： 一.第五次作业 类图： 度量分析图： 时序图： 这次作业是电梯系列作业的终极版，要求是使用多线程实现三部电梯的运行。 这次作业的难点在于第一次运用多线程技术（我之前作业采取的是扫描指令队列预先判断电梯行为，而电梯类无实际作用，导致这次作业要重新设计）。 二.第六次作业 类图： 度量分析图： 时序图： 阅读全文

摘要： 1.第一次作业： 此时初识java，对于面向对象编程并不熟悉。整个程序仅有一个java文件，使用与c语言编程类似的方法实现程序功能。关键在于状态转换，判断某一字符是否正确以及下一字符是否符合规则。程序规模约300行。 在实现程序的过程中，学习了正则表达式的判断和使用。并且为了避免爆栈，将字符串的判断 阅读全文