【电子科技大学软件测试实验报告】
本实验报告主要围绕软件测试中的单元测试展开，特别是使用Junit工具进行自动售货机程序的测试。Junit是一款广泛应用于Java编程语言的单元测试框架，它允许开发者编写和执行可重复的测试，确保代码的正确性。
一、实验背景与目标
软件测试是保证软件质量的重要环节，而单元测试是测试中的基础部分，旨在验证软件的最小可测试单元——通常是函数或方法——是否按预期工作。在电子科技大学的软件测试与质量保证课程中，学生需要掌握Junit工具的使用，以此提升单元测试的能力。实验要求学生在Eclipse环境中配置Junit，编写桩函数和驱动函数，对自动售货机程序SaleMachine进行白盒测试和黑盒测试，寻找并修复程序中的缺陷。
二、Junit基础
Junit提供了丰富的注解，用于标记和控制测试行为：
- `@Test`：标识测试方法。
- `@BeforeClass`：静态方法，在测试类的所有测试方法之前执行，常用于初始化资源。
- `@AfterClass`：静态方法，测试类的所有测试方法执行后执行，常用于资源清理。
- `@Before`：每个测试方法之前执行，常用于设置测试场景。
- `@After`：每个测试方法之后执行，常用于清理测试场景。
- `@Ignore`：忽略某个测试方法。
- `@Deprecated`：标记过时的方法，通常有新的替代方法。
- `@Override`：表示重写父类方法。
- `@SuppressWarning`：抑制特定类型的编译警告，如未使用变量、未检查的类型警告等。
三、实验内容与步骤
1. 在Eclipse中安装并配置Junit插件，创建测试项目。
2. 对SaleMachine程序进行白盒测试，这涉及分析程序的内部逻辑，设计覆盖各种执行路径的测试用例，例如输入不同的硬币金额和选择不同商品，检查程序的处理结果是否符合预期。
3. 进行黑盒测试，即不考虑程序内部结构，仅根据其功能需求设计测试用例，如检查在无零钱时是否正确显示"缺零钱"提示，以及在投入无效硬币或选择不存在商品时的错误处理。
4. 编写桩函数模拟自动售货机的外部依赖，如模拟硬币投入和取出的行为；编写驱动函数来触发程序的主要逻辑并验证结果。
5. 执行测试，记录测试结果，分析程序可能存在的缺陷，并尝试修复。
四、自动售货机程序测试实例
自动售货机程序SaleMachine应能接受不同面额的硬币，根据用户选择的商品计算找零，并正确出货。测试用例包括但不限于：
- 输入单一或混合面额的硬币，选择商品，检查出货和找零是否正确。
- 输入无效硬币，检查错误提示。
- 在无零钱时选择商品，验证"缺零钱"提示是否出现。
- 输入超过商品价格的硬币，检查多余硬币是否退回。
通过这些测试，学生可以深入理解单元测试的原理和实践，提高软件开发过程中的质量保证能力。
总结，本实验旨在通过实际操作使学生熟练掌握Junit的使用，通过单元测试确保自动售货机程序的正确性，同时培养其软件质量保证的意识和技能。在后续的学习和工作中，这样的测试实践将对编写高质量、可靠的软件起到关键作用。
