![](https://img-blog.csdnimg.cn/20201014180756913.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
软件构造
文章平均质量分 93
Ch1ldK!ng
这个作者很懒,什么都没留下…
展开
-
HITSC——软件构造,到底学啥子咯
本文请配合大纲食用最近很多同学都在吐槽一门课:软件构造。🤬有的同学说这是一门“文科课”:“这么多概念,不是设计理念,就是教我怎么写注释,跟politics一样教条”这位同学说的也没什么错,确实是学了这些东西和概念,什么不变量啊,一揽子设计模式啊,什么测试策略和规约,确实很多概念。但问题在于,它并不教条。原创 2024-05-28 20:44:55 · 2522 阅读 · 0 评论 -
HITSC_6_Abstract Data Type (ADT)
比如,定义一个抽象的Bool类,Bool可以由很多的东西实现,但它的操作决定了它的性质。原创 2024-05-28 09:51:31 · 1814 阅读 · 0 评论 -
HITSC_5_Designing Specification
规约,前置后置条件,欠定规约、非确定规约、陈述式、操作式规约、规约的强度及其比较。原创 2024-05-27 19:52:40 · 758 阅读 · 0 评论 -
HITSC_4_Data Type and Type Checking
静态/动态,可变/不变,Snapshot图,集合类,NULL。原创 2024-05-27 18:21:25 · 1618 阅读 · 0 评论 -
HITSC_3_Software Construction Process and Configuration Management
软件开发流程及模式,敏捷开发,软件配置管理SCM,Git,软件构造过程和构造工具。原创 2024-05-26 21:55:19 · 416 阅读 · 0 评论 -
HITSC 2.Testing and Test-First Programming
🌰例子:左侧为spec,右侧测试用例,包括分区维度:对三个维度进行取值,取了哪几种值,并解释为何这样取值。🌰例子:应该选第三个,选一个对于当前问题最有特点的测试,而其他的都是很普通的满足spec的测试,对于翻转来说,奇偶是一个很容易出错的问题。❓我的理解,根据程序代码运行时可能走过的所有路径进行测试,比如进入或不进入循环/if,是否抛出异常,为每种路径至少覆盖一次。意义:大量的错误发生在输入域的边界而不是中央,在等价类划分时,将边界作为等价类加入。:持续将新功能进行测试,打包,集成到系统中。原创 2024-05-25 23:13:57 · 247 阅读 · 0 评论 -
HITSC Views and Quality Objectives of Software Construction
三维度八视图Code-level:代码逻辑,函数、方法、类等component-level:物理组织,包,库,文件等Moment:某一时刻Period:某一段时间的变化。原创 2024-05-25 15:40:26 · 593 阅读 · 0 评论