- 博客(8)
- 收藏
- 关注
RSS订阅原创 HITSC——软件构造，到底学啥子咯
本文请配合大纲食用最近很多同学都在吐槽一门课：软件构造。🤬有的同学说这是一门“文科课”：“这么多概念，不是设计理念，就是教我怎么写注释，跟politics一样教条”这位同学说的也没什么错，确实是学了这些东西和概念，什么不变量啊，一揽子设计模式啊，什么测试策略和规约，确实很多概念。但问题在于，它并不教条。
2024-05-28 20:44:55
2511
原创 HITSC_6_Abstract Data Type (ADT)
比如，定义一个抽象的Bool类，Bool可以由很多的东西实现，但它的操作决定了它的性质。
2024-05-28 09:51:31
1806
原创 HITSC_5_Designing Specification
规约，前置后置条件，欠定规约、非确定规约、陈述式、操作式规约、规约的强度及其比较。
2024-05-27 19:52:40
751
原创 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
585
3
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人