![](https://img-blog.csdnimg.cn/20201014180756922.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
课程学习
文章平均质量分 89
qq_45687477
这个作者很懒,什么都没留下…
展开
-
HIT-软件构造知识点概要五-设计规约
Designing Specification设计规约Objective of this lecture§ Understand preconditions and postconditions in method specifications, and be able to write correct specifications (方法的规约)§ What preconditions and postconditions are, and what they mean for t原创 2021-07-06 09:01:22 · 150 阅读 · 0 评论 -
HIT-软件构造知识点概要四-数据类型与类型检验
Data Type and Type Checking数据类型与类型检验Objective of this lecture1. Get to know basic knowledge about data type, and static and dynamic type checking in programming language, especially Java.——静态/动态类型检查2. Understand mutability and mutable objects ——可原创 2021-07-04 20:53:22 · 204 阅读 · 0 评论 -
HIT-软件构造知识点概要三-软件构造过程与配置管理
Objectives of this lecture§ To know the general process of software development 软件开发的基本过程§ To understand the philosophy of traditional software process models including linear and iterative models (waterfall,incremental, prototyping, spiral, and V-mo原创 2021-07-04 20:50:16 · 176 阅读 · 0 评论 -
HIT-软件构造知识点概要二-软件测试与测试优先的编程
Testing and Test-First Programming软件测试与测试优先的编程Objective of this lectureUnderstand the value of testing, and know the process of test-firstprogramming 认可“测试”的价值,搞清楚“测试优先”的哲理Be able to design a test suite for a method by partitioning its input原创 2021-07-02 10:07:19 · 194 阅读 · 1 评论