- 博客(5)
- 收藏
- 关注
原创 软件构造笔记(四):Spec、AF和RI
前言 本文将介绍一些关于ADT设计中Spec、AF和RI的细节。由于内容较为细碎,为了加强理解,特将该部分知识点列出来,进行简单归纳总结。一. Spec刚开始接触软件构造时,关于规约Spec的概念便已经有所接触,但真正开始逐步认识还是在实验中设计规约的时候。(一)含义 Spec是程序员在设计ADT时对自己所写方法的规约,它规定了方法应该做什么,不应该做什么。而在接下来的设计中,测试用例的编写就需要依靠Spec的描述,因为程序员所编写的代码必定是...
2021-07-07 23:38:36
446
原创 软件构造笔记(三):关于等价性的个人理解
前言前两篇博客中介绍了自己软件构造的第二次、第三次实验内容及心得体会,本文将介绍一些软件构造学习过程中遇到的一部分知识点难点,剩余的内容将在随后补充。
2021-07-07 20:38:03
434
原创 软件构造lab3心得
前言经过前后两周时间的调试和反复修改,终于完成了lab3实验指导手册中的内容(当然不一定很完善)。简单写一下心得,梳理一下自己实验中的收获,以及实验过程给我带来的新体会。外加临近期末考试,需要对知识点进行整理,对课程布置的实验进行回顾,因此决定写一篇博客,记录一下lab3给我带来的收获。内容一. 实验目标概述该实验的目标是编写具有可复用性和可维护性的软件,主要使用以下软件构造技术:子类型、泛型、多态、重写、重载;继承、代理、组合;语法驱动的编程、正则表达式;...
2021-07-07 01:20:27
217
原创 软件构造lab2回顾
前言 临近期末考试,开始对知识点进行整理,对课程布置的实验进行回顾。经过反复对比,感觉还是动手实验对知识获取的帮助最大,逐步解决问题的过程让自己对课上知识的理解更深入了一些。Lab2这一部分的的主要内容是ADT和OOP,实验目的也是抽象数据型的实现,以及面向对象编程。以下是对Lab2这一实验过程中遇到的一些事物做的简单回顾,课程中涉及到的其他重要知识点将在以后慢慢总结。内容一. 实验目标概述本次实验训练抽象数据类型(ADT)的设计、规约、测试,并使用面向对象编程...
2021-07-06 20:14:31
155
原创 哈尔滨工业大学计算机系统大作业
摘 要本实验主要对hello这一c程序的整个生命周期展开研究。我们从hello.c源程序为起点,从预处理、编译、汇编、链接,到加载、运行,再到终止、回收逐一进行分析综合,并结合对《深入理解计算机系统》一书的内容及计算机系统课上老师的讲授,在Ubuntu系统下对hello程序展开编译、链接、调试、运行等实际操作,顺着hello.c文件在计算机中执行的生命周期,在整个计算机系统中漫游,并把计算机系统的体系整体串联在一起关键词:Linux;hello程序;生命周期;计算机系统; .
2021-07-01 01:30:59
352
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人