uuuuuzk的博客

原创 HIT软件构造：ADT和OOP中的“等价性”

目录1.等价关系2.不可变类型的等价2.1使用 AF 定义等价2.2使用“观察”定义等价3. == vs .equal()4.实现 equal()5.The contract of equals() in Object5.1 equal()定义一个等价关系5.2 “相等对象"hashCode()的结果一致6.可变类型的等价性7.总结：Rule for equals() and hashCode()7.1对于immutable类型7.2对于mutable类型等价关系：自反、对称、传递。一个等价关系 E ⊆

原创 HIT软件构造：设计规约

规约强度；图示规约；设计好的规约原则；

原创 HIT软件构造：数据类型与类型检验

目录1.在编程语言中的数据类型1.1基本数据类型1.2对象数据类型1.3对象类型形成层次结构 2.Static vs. dynamic data type checking(静态与动态数据类型检查)2.1Static checking2.2Dynamic checking2.3Static vs. Dynamic Checking3.Mutability and Immutability3.1Immutability 不变性3.2Mutability and Immutability3.3Advantage

原创 HIT-ICS大作业论文：程序人生-Hello’s P2P

原创 HIT软件构造：软件测试与测试优先编程

软件测试与面向测试编程黑盒测试与白盒测试等价类划分依据代码覆盖度

原创 HIT软件构造：Lab1实验总结

Lab1主要分为 1.Magic Squares 2.Turtle Graphics 3.Social Network，下面简单记录各个任务中的一些思考总结。