摘要:
HIT-SC-Chapter Twelve Construction for Robustness and Correctness 面向正确性与健壮性的软件构造 进入软件构造最关键的质量特性——健壮性和正确性。 1 What are Robustness and Correctness? Robus 阅读全文
摘要:
HIT-SC-Chapter Ten Construction for Change 1 Software Maintenance and Evolution steps: 处理来自用户报告的故障/问题 测试所做的修改 回归测试 记录变化 除了修复问题,修改中不能引入新的故障 最大的问题:修改后没有 阅读全文
摘要:
HIT-SC-Chapter Nine 9 Construction for Reuse 1 What is Software Reuse? Why ? 降低成本和开发时间 经过充分测试,可靠、稳定 标准化,在不同应用中保持一致 cost 应以明确定义、开放的方式设计和构建可重用组件,使用简洁的接口 阅读全文
摘要:
HIT-SC-Chapter Six Abstract Data Type (ADT) 1 Abstract Data Type (ADT) User-Defined Types 除了编程语言自带的基本数据类型和对象数据类型 Data Abstraction 由一组操作所刻画的数据类型 number 阅读全文
摘要:
HIT-SC-Chapter Four Data Type and Type Checking 数据类型与类型检验 1 Data type in programming languages (1)Types and Variables for general computer language 通用 阅读全文