随笔分类 -  24-Spring:Software Construction

2024年春季学期软件构造课程
摘要:ADT & OOP 等价性 所以对可变类型来说,无需重写这两个函数,直接继承Object的两个方法即可。 如果一定要判断两个可变对象看起来是否一致,最好定义一个新的方法。 JDK中不同mutable等价性标准不同(行为等价性 观察等价性) So immutable types must overri 阅读全文
posted @ 2024-05-29 08:46 2022113415-罗昊然 阅读(40) 评论(0) 推荐(0)
摘要:抽象数据类型ADT 抽象数据类型与表示独立性: 如何设计良好的抽象数据结构,通过封装来避免客户端获取数据的内部表示(即“表示泄露”),避免潜在的bug——在client和implementer之间建立“防火墙” ADT特性:表示泄露、抽象函数、表示不变量Representation Invarian 阅读全文
posted @ 2024-05-28 21:26 2022113415-罗昊然 阅读(70) 评论(0) 推荐(0)
摘要:数据类型与类型检验 对应 04-Data Type and Type Checking内容 不过度展开记录,仅作“写意”用 数据类型 type:(抽象上的)值的集合,及可以运作于这些值的一系列运算 特定数据类型定义,存储满足类型约束之值的结构空间——变量 基本数据类型(java提供)&对象数据类型( 阅读全文
posted @ 2024-05-28 17:44 2022113415-罗昊然 阅读(44) 评论(0) 推荐(0)
摘要:24复习,快速整理回顾 阅读全文
posted @ 2024-05-28 15:18 2022113415-罗昊然 阅读(55) 评论(0) 推荐(0)
摘要:对应讲义第一节内容:软件构造的多维视图、不同视图间的转换、软件系统的质量评估与软件构造中的五个关键质量目标 阅读全文
posted @ 2024-05-26 22:04 2022113415-罗昊然 阅读(42) 评论(0) 推荐(0)
摘要:正则表达式是一种用于描述字符串模式的强大工具,在Java中,通过内置的java.util.regex包可以轻松地进行字符串匹配和替换操作。在排班系统实现的最后涉及到了java下正则表达式的使用,为加深理解,查找资料,进行简单整理。 阅读全文
posted @ 2024-05-24 00:14 2022113415-罗昊然 阅读(20) 评论(0) 推荐(0)
摘要:对应讲义第二节内容,内容记录策略偏写意,回顾: - 测试优先“的思想与意义 - 用等价划分与边界值分析方法为模块设计测试用例 - “覆盖度” - 测试用例对代码测试全面程度的度量 - 对各种测试的初步了解 阅读全文
posted @ 2024-05-16 13:25 2022113415-罗昊然 阅读(32) 评论(0) 推荐(0)
摘要:设计规约 个人复习用 Skimming 目录设计规约规约:编码与沟通文档化的必要性规约与协定行为等价性规约结构(重):前置条件与后置条件*测试&验证规约:略进行规约的设计规约分类规约的图表化优秀规约的判定标准 规约:编码与沟通 文档化的必要性 Java API文档给出了详尽的对类内方法的描述,如实现 阅读全文
posted @ 2024-05-13 22:09 2022113415-罗昊然 阅读(49) 评论(0) 推荐(0)
摘要:对git的基本指令及较复杂版本管理指令做出回顾整理,一方面用作考试复习参考,一方面方便之后项目过程中回顾参照。包括库的初始化,提交,推送,分支管理等。 阅读全文
posted @ 2024-05-11 23:54 2022113415-罗昊然 阅读(42) 评论(0) 推荐(0)
摘要:对Lab2-ADT&OOP的回顾——Static与非Static区别 及 equals和hashcode方法重写相关 阅读全文
posted @ 2024-05-08 12:29 2022113415-罗昊然 阅读(28) 评论(0) 推荐(0)
摘要:浅浅写完了Lab1,然后惨遭gradle背刺熬大夜,深夜EMO有感想起博客还没更新过,故随笔( 写了写JAVA项目,拿Java与C++对比,整体来说优势是要多得多的,个人比较直观的感受有: -语法比较简单易懂; -内存自动回收,不必过多考虑内存浪费的问题; -安全性大大增强,指针被禁用,使用指针实现 阅读全文
posted @ 2024-04-04 02:27 2022113415-罗昊然 阅读(15) 评论(0) 推荐(0)