文档介绍：2
阜阳师范学院
本科毕业设计
题目：班级管理系统的测试
学 号：姓 名：
年 级：
系 别：
专 业：完成日期：
指导老师：
班级管理系统试来检测产品内部动作是否按照规格说明书的规定正常进行，按照程序内部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能，白盒测试的主要方法有逻辑驱动、基路测试等，主要用于软件验证。
“白盒”法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。“白盒”法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有错误。第一，穷举路径测试决不能查出程序违反了设计标准，即程序本身是个错误的程序。第二，穷举路径测试不可能查出程序中因遗漏路径而出错。第三，穷举路径测试可能发现不了一些与数据相关的错误。
4
ALAC(Act-like-a-customer)测试
软件有好多错误
图ALAC测试
客户通常会遇到错误只占很小比例
改良测试的有效性，使测试针对哪些客户最容易遇到的错误
图〔1〕
ALAC测试是一种基于客户使用产品的知识开发出来的测试方法。ALAC测试是基于复杂的软件产品有许多错误的原则。最大的受益者是用户，缺陷查找和改正将针对哪些客户最容易遇到的错误。
单元测试的基本方法
单元测试的对象是软件设计的最小单位——模块。单元测试的依据是详细设计描述，单元测试应对模块内所有重要的控制路径设计测试用例，以便发现模块内部的错误。单元测试多采用白盒测试技术，系统内多个模块可以并行地进行测试。
单元测试任务
单元测试任务包括：1 模块接口测试；2 模块局部数据结构测试；3 模块边界条件测试；4 模块中所有独立执行通路测试；5 模块的各条错误处理通路测试。
模块接口测试是单元测试的基础。只有在数据能正确流入、流出模块的前提下，其他测试才有意义。测试接口正确与否应该考虑以下因素：
1. 输入的实际参数与形式参数的个数是否相同和属性是否匹配；
2. 输入的实际参数与形式参数的量纲是否一致；
3. 调用其他模块时所给实际参数的个数是否与被调模块的形参个数相同；
4. 调用其他模块时所给实际参数的属性是否与被调模块的形参的属性是否匹配；
5. 调用其他模块时所给实际参数的量纲是否与被调模块的形参量纲一致；
6. 调用预定义函数时所用参数的个数、属性和次序是否正确；
7. 是否存在与当前入口点无关的参数引用；
8. 是否修改了只读型参数；
6
9. 对全程变量的定义各模块是否一致；
。
如果模块内包括外部输入输出，还应该考虑以下因素：
1. 文件属性是否正确；
2. OPEN/CLOSE语句是否正确；
3. 格式说明与输入输出语句是否匹配；
4. 缓冲区大小与记录长度是否匹配；
5. 文件使用前是否已经打开；
6. 是否处理了文件尾；
7. 是否处理了输入/输出错误；
8. 输出信息中是否有文字性错误；
检查局部数据结构是为了保证临时存储在模块内的数据在程序执行过程中完整、正确。局部数据结构往往是错误的根源，应仔细设计测试用例，力求发现下面几类错误：
1. 不合适或不相容的类型说明；
2. 变量无初值；
3. 变量初始化或缺省值有错；
4. 不正确的变量名〔拼错或不正确地截断〕；
5. 出现上溢、下溢和地址异常。
除了局部数据结构外，如果可能，单元测试时还应该查清全局数据对模块的影响。
在模块中应对每一条独立执行路径进行测试，单元测试的基本任务是保证模块中每条语句至少执行一次。此时设计测试用例是为了发现因错误计算、不正确的比较和不适当的控制流造成的错误。此时基本路径测试和循环测试是最常用且最有效的测试技术。计算中常见的错误包括：
1. 误解或用错了算符优先级；
2. 混合类型运算；
3. 变量初值错；
4. 精度不够；
5. 表达式符号错。
比较判断与控制流常常紧密相关，测试用例还应致力于发现以下错误：
1. 不同数据类型的对象之间进行比较；
2. 错误地使用逻辑运算符或优先级；
3. 因电脑表示的局限性，期望理论上相等而实际