自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(7)
  • 收藏
  • 关注

原创 软件构造-视图

软件构造

2022-06-23 09:27:40 101 1

原创 软件构造质量指标

外部内部质量属性

2022-06-14 17:48:00 84

原创 软件构造lab2

实验目标概述根据实验手册简要撰写。针对给定的应用问题,从问题描述中识别所需的ADT;设计ADT规约(pre-condition、post-condition)并评估规约的质量;根据ADT的规约设计测试用例;ADT的泛型化;根据规约设计ADT的多种不同的实现;针对每种实现,设计其表示(representation)、表示不变性(rep invariant)、抽象过程(abstraction function)使用OOP实现ADT,并判定表示不变性是否违反、各实现是否存在表示泄露(re

2022-05-24 12:54:17 80

原创 软件构造实验一实验过程

实验过程请仔细对照实验手册,针对四个问题中的每一项任务,在下面各节中记录你的实验过程、阐述你的设计思路和问题求解思路,可辅之以示意图或关键源代码加以说明(但无需把你的源代码全部粘贴过来!)。为了条理清晰,可根据需要在各节增加三级标题。 Magic Squares 在这里简要概述你对该任务的理解。Magic Squares即幻方,n阶幻方是一个正方形n×n个数(通常是不同的整数)的排列,使得所有行、所有列和两个对角线中的n个数总和为同一常数。 isLegalMagicSquar

2022-05-15 20:31:49 168

原创 软件构造lab1遇到问题

git报错“Support for password authentication was removed on August 13, 2021”,搜索后发现,需要将密码换成token,否则无法连接仓库,随后按照网上教程设置token,刷新之后再次执行操作,成功连接。

2022-05-07 22:37:33 65

原创 软件构造lab2

实验目标概述根据实验手册简要撰写。针对给定的应用问题,从问题描述中识别所需的ADT;设计ADT规约(pre-condition、post-condition)并评估规约的质量;根据ADT的规约设计测试用例;ADT的泛型化;根据规约设计ADT的多种不同的实现;针对每种实现,设计其表示(representation)、表示不变性(rep invariant)、抽象过程(abstraction function)使用OOP实现ADT,并判定表示不变性是否违反、各实现是否存在表示泄露(re

2021-07-06 20:46:20 106

原创 计算机系统大作业(程序人生)

摘 要摘要是论文内容的高度概括,应具有独立性和自含性,即不阅读论文的全文,就能获得必要的信息。摘要应包括本论文的目的、主要内容、方法、成果及其理论与实际意义。摘要中不宜使用公式、结构式、图表和非公知公用的符号与术语,不标注引用文献编号,同时避免将摘要写成目录式的内容介绍。本文介绍了hello程序在Linux下的生命周期,从被创建到运行,最后被终止等一系列的过程。在结合了书本有关知识的基础上,进一步对hello程序的相关知识进行阐述,并借此来加深对于计算机系统的理解。关键词:关键.

2021-06-29 23:15:43 250

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除