< OO_ Unit 3_ 总结 >

70066003_ 洪成旭

一. 单元测试过程：

1. 黑箱测试、白箱测试：

• 黑箱测试：

  • 是一种软件测试方法，在这种方法中，测试人员在不考虑内部实现，也不需要了解软件内部的代码结构和实现细节，只关注输入数据和输出结果。
  • 测试基础是软件的需求文档和规格说明。测试人员可通过这些文档设计测试用例。
  • 主要关注人间的功能是否正确，是否满足用户需求。

• 白箱测试：

  • 与黑箱测试不同，测试人员需要对程序的源代码和内部逻辑有详细的了解 (需要检查代码的路径和结构)。
  • 测试用例是基于源代码的结构、分支、循环等编写的 (目的是验证每个代码路径是否都能正确执行)。
  • 从开发人员或者维护人员的视角进行测试，关注的是代码的正确性和效率。

2. 单元测试 (J-unit) :

• J-unit是 Java 编程语言中的单元测试框架。它提供了一种测试代码的方法，用于编写和运行可重复自动化的测试。J-unit 主要用于验证代码是否按预期方式工作，通常用于测试驱动开发(TDD) 和持续编程。

3. 功能测试 :

• 是一种测试方法，旨在验证软件的各个功能是否按照规格说明书或用户需求的期望方式工作。功能测试是黑盒测试 的一种形式，他关注于测试软件的功能性，而不考虑内部实现细节或者代码逻辑。功能测试旨在确保软件的功能复合预期且能够满足用户需求。

4. 集成测试 :

• 集成测试是JUnit 中的一种测试方法，用于验证多个组件(or 模块) 在一起工作时是否正常协同。集成测试通常用于测试不同单元之间的交互，以确保整个系统的各个组件能够正确地集成在一起，协同工作达到预期的效果。

5. 压力测试 :

• 用于测试系统在一定负载下的性能和稳定性。压力测试旨在模拟系统在高负载环境下的运行情况，检查系统在处理大量并发出请求or 持续高负载下的表现是否符合预期，以确定系统的性能极限和潜在的问题。

6. 回归测试 :

• 用于确认系统在进行更改后仍然按预期工作，不会因为修复错误或者添加新功能而导致现有功能出现问题。在JUnit 中，回归测试是通过重新运行已有的测试用例来确保新的代码更改没有破坏现有的功能。

二. 单元总结：

• 本单元主要学习了JML - Java Modeling Language。是一种基于Java 的建模语言，有助于提高软件开发的质量和可靠性。
  JML的强大在于它提供了形式化建模、注释规范、验证设计、自动化测试等功能，可以帮助开发人员更加高效地设计、编写和验证软件代码，提高软件开发过程中的质量以及可靠性。

1. 形式化规格： JML允许开发人员在Java 代码中以形式化的方式描述、定义软件的规格及约束条件。
2. 支持设计： JML提供了丰富的注释语法，能够帮助开发人员更加清晰地描述代码行为和设计意图。
3. 自动化验证： JML工具和插件可以自动化地验证JML 规格是否符合代码实现，有助于提前发现问题和错误。
4. 增强测试： 通过JML 描述规格，可以生成更加完善和全面的测试用例，提高测试覆盖率和质量。
5. 形式化验证： JML支持形式化验证方法，可以使用模型检查和定理证明来验证规格，确保系统符合规范。
6. 验证设计一致性： JML 可以用于验证代码实现是否符合设计规格，帮助提高软件设计的一致性、准确性。
7. 提高软件质量： JML能够帮助开发团队确保软件的质量、减少错误、提高可靠性和可维护性。