自定义博客皮肤VIP专享

*博客头图:

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

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

博客底图:

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

栏目图:

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

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

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

原创 HITSC——软件构造,到底学啥子咯

本文请配合大纲食用最近很多同学都在吐槽一门课:软件构造。🤬有的同学说这是一门“文科课”:“这么多概念,不是设计理念,就是教我怎么写注释,跟politics一样教条”这位同学说的也没什么错,确实是学了这些东西和概念,什么不变量啊,一揽子设计模式啊,什么测试策略和规约,确实很多概念。但问题在于,它并不教条。

2024-05-28 20:44:55 2508

原创 HITSC_6_Abstract Data Type (ADT)

比如,定义一个抽象的Bool类,Bool可以由很多的东西实现,但它的操作决定了它的性质。

2024-05-28 09:51:31 1804

原创 HITSC_5_Designing Specification

规约,前置后置条件,欠定规约、非确定规约、陈述式、操作式规约、规约的强度及其比较。

2024-05-27 19:52:40 749

原创 HITSC_4_Data Type and Type Checking

静态/动态,可变/不变,Snapshot图,集合类,NULL。

2024-05-27 18:21:25 1608

原创 HITSC_3_Software Construction Process and Configuration Management

软件开发流程及模式,敏捷开发,软件配置管理SCM,Git,软件构造过程和构造工具。

2024-05-26 21:55:19 411

原创 HITSC 2.Testing and Test-First Programming

🌰例子:左侧为spec,右侧测试用例,包括分区维度:对三个维度进行取值,取了哪几种值,并解释为何这样取值。🌰例子:应该选第三个,选一个对于当前问题最有特点的测试,而其他的都是很普通的满足spec的测试,对于翻转来说,奇偶是一个很容易出错的问题。❓我的理解,根据程序代码运行时可能走过的所有路径进行测试,比如进入或不进入循环/if,是否抛出异常,为每种路径至少覆盖一次。意义:大量的错误发生在输入域的边界而不是中央,在等价类划分时,将边界作为等价类加入。:持续将新功能进行测试,打包,集成到系统中。

2024-05-25 23:13:57 242

原创 HITSC Views and Quality Objectives of Software Construction

三维度八视图Code-level:代码逻辑,函数、方法、类等component-level:物理组织,包,库,文件等Moment:某一时刻Period:某一段时间的变化。

2024-05-25 15:40:26 581

原创 OPEN-MBEE源代码配置

Open-MBEE开源工业建模软件配置

2024-03-20 22:30:35 837 3

空空如也

空空如也

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

TA关注的人

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