a15146486123的博客

数据类型与类型检验软件构造的理论基础——ADT 软件构造的技术基础——OOP变量：用特定数据类型定义，可存储满足类型约束的值基本数据类型对象数据类型根据Java约定，基本数据类型为小写，而对象类型以大写字母开头重载：同样的操作名可用于不同的数据类型Java是一种静态类型的语言在像Python这样的动态类型语言中，这种检查会被推迟到运行时（当程序运行时）。静态检查：在程序运行之前就会自动发现这个错误。动态检查：执行代码时自动发现错误不

传统的软件流程模型两种基本类型：线性过程迭代过程 现有的模型：瀑布过程： 线性推进 阶段划分清楚 整体推进 无迭代 管理简单 无法适应需求增加/变化增量过程： 线性推进 增量式（多个瀑布的串行） 无迭代 比较容易适应需求的增加V字模型v模型表示一个开发过程，可以被认为是瀑布模型的扩展过程。（验证与确认）水平轴和垂直轴分别表示时间或项目完整性（从左到右）和抽象级别（最粗粒度抽象）。原型过程 迭代：开发出来之后由用户.

软构实验要求编写注释，但是不知道具体该写些什么，查阅后的一个小总结javadoc注释标签语法@author 对类的说明 标明开发该类模块的作者@version 对类的说明 标明该类模块的版本@see 对类、属性、方法的说明 参考转向，也就是相关主题@param 对方法的说明 对方法中某参数的说明@return 对方法的说明 对方法返回值的说明@exception 对方法的说明 对方法可能抛出的异常进行说明AF全称Abstraction f...

即使是最好的测试，也无法达到100%的无错误残留缺陷率每kloc（1000行代码）：1-10个缺陷：典型的行业软件。0.1-1个缺陷：高质量的验证。Java库可能会实现这一级别的正确性。0.01-0.1缺陷/kloc：最好的安全关键性验证。NASA和像实践者这样的公司都可以达到这一水平再好的测试也无法证明系统里不存在错误单元测试：指验证特定代码部分功能的测试，通常在功能级别。集成测试：由多个程序员或编程团队创建的两个或多个类、包、组件、子系统的组合执行。系统测试：测试完

多维软件视图按阶段划分：构造时/运行时视图按动态性划分：时刻/阶段视图按构造对象的层次划分：代码/构件视图软件建设的五大关键质量目标可理解性可维护性和适应性可重用性健壮性高效性“软件”一词最初是由艾伦·图灵提出的软件=程序+Data+文档软件=模块（组件）+数据/控制流通常来说源代码被组织为基本的程序结构，如：函数、类、方法、接口等等。需要注意的是，这种视图下共三种相互关联形式：词汇层面 ： 简单来说就是程序中使用的字符串、语句、变量