- 博客(6)
- 收藏
- 关注
RSS订阅原创 HIT软件构造--规约
设计规约规约确定性规约陈述性（只描述输出）规约的强度用于判断哪个规约更好比较两个规约，是否能被替换S1 >= S2：S1前置条件不强于后者S1后置条件不弱于后者即更少的更少的要求，更多的承诺（比较的同一个事）规约强度有传递性看后置条件强弱时要满足前置条件S1前置后置都小于S2，此时称作不可判断更强的规约表达为更小的区域。规约要求spec描述的功能应单一、简单、易理解一个规约做了两件事，那就要分成两个方法实现spec信息需要是丰富的，不能产生歧义太弱的
2024-06-24 16:58:56
159
原创 HIT软件构造第四章总结
可变性对于性能和方便性很有用，但它也会导致使用对象的代码在全局级别上表现良好的风险，这使得我们对其正确性所做的推理和测试复杂化了，关键的设计原则是不变性：尽可能多地使用不可变对象和不可变引用。学会了通过快照图可以迅速知道可变性、不可变性对象和引用之间的关系和区别。
2024-06-24 01:21:09
1008
原创 HIT软件构造第三章总结
这一章主要学习了软件构造的生命周期和过程以及软件配置管理工具git，学会了使用git管理代码版本，简化了回退和多人项目合并代码的复杂度，让开发效率大大增加。
2024-06-23 23:13:18
866
原创 HIT 软件构造第二章总结
能发现错误不冗余（不会重复去测试一些已经测试过的数据或者同类的数据）重点关注软件的最佳特性别太复杂也别太简单学习内容：测试优先编程。在编写代码之前，请先编写测试。为系统地选择测试用例的划分和边界。白盒测试和声明覆盖范围，以填写一个测试套件。单元-尽可能地测试每个模块，进行隔离。自动回归测试，以防止bug返回。防止错误。测试是在代码中查找bug，测试优先编程是在引入它们之后尽早找到它们。
2024-06-15 21:38:26
638
原创 HIT 软件构造第一章总结
这一章学习了软件构造的相关概念，了解了多维度视角的软件构造以及软件构造的关键目标，为之后的学习建立基础框架，提醒我们编写代码时注意这些关键的要素。
2024-06-14 20:26:56
775
原创 HIT计算机系统CSAPP期末大作业
即。指从hello.cProgram）变为运行时进程（Process要让hello.c这个C语言程序运行起来，需要先把它变成可执行文件，这个变化过程有四个阶段：预处理，编译，汇编，链接，完成后就得到了可执行文件，然后就可以在shell中执行它，shell会给它分配进程空间。020：即。指最初内存并无hello文件的相关内容，
2024-06-10 23:54:59
901
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人