软件质量保证与测试：次日问题与三角形问题分析

"软件质量保证与测试实验报告，由刘永伦完成，涉及三角形问题和次日问题的实现、黑盒测试、白盒测试以及使用Eclipse和Junit进行单元测试。" 在本实验报告中，刘永伦探讨了两个经典测试问题：三角形问题和次日问题。这两个问题分别被用于理解和实践软件测试的不同方法，包括黑盒测试和白盒测试。 1. **三角形问题** - **问题描述**：用户输入三个整数，代表三角形的三边长度。程序需判断这三个边长是否能构成一个合法的三角形，并进一步分类为不规则三角形、等腰三角形或等边三角形。 - **分析与设计**：分析流程图展示了如何检查边长是否满足三角形不等式（任意两边之和大于第三边），并根据边长关系进行分类。 - **实现**：使用Go语言编写，通过`fmt`、`regexp`、`strconv`和`strings`库处理输入和逻辑判断。 2. **次日问题（Nextday函数）** - **问题描述**：输入日期，判断输入日期之后的第二天是哪一天。此问题涉及到日期处理和异常情况的处理。 - **分析与设计**：分析可能的输入情况，包括合理和不合理的日期范围，以及非月头月尾的日期。 - **实现**：未给出具体实现代码，但通常会涉及到日期库的使用，例如处理闰年、月份天数等。 3. **黑盒测试** - 对三角形问题和次日问题分别进行了等价类划分测试、决策表划分测试和边界值测试，确保涵盖了各种可能的输入情况。 - 等价类划分测试将输入数据划分为有效和无效的类别，设计测试用例来覆盖这些类别。 - 决策表划分测试针对逻辑决策过程设计测试用例，确保所有可能的决策路径都被测试到。 - 边界值测试关注在边界条件附近的输入，因为这些地方更容易出现错误。 4. **白盒测试** - 白盒测试关注代码的内部结构，包括条件覆盖和路径覆盖。 - 条件覆盖确保每个逻辑条件至少被测试一次，而路径覆盖则确保程序中的每条执行路径至少被执行一次。 5. **Eclipse与Junit单元测试** - 在Eclipse环境中配置Junit进行单元测试，对三角形问题和次日问题的实现进行了验证。 - Junit测试脚本设计了针对每个问题的测试用例，执行后得到了测试结果。 6. **测试结果分析** - 分析了测试用例的执行结果，识别出导致缺陷的用例和设计方法。 - 总结了测试过程，评估了测试的有效性，为后续的软件改进提供了依据。 实验报告全面地展示了软件测试的过程，从需求理解、设计测试用例到执行测试和结果分析，为软件质量保证提供了坚实的基础。通过这两个问题的实践，不仅检验了代码的正确性，还加深了对软件测试理论和方法的理解。