- 博客(5)
- 收藏
- 关注
RSS订阅原创 软件构造笔记（四）：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关注的人