文档介绍：软件测试计划书
1 .测试范围:
本软件为智能红绿灯控制系统,是针对城市交通管理员设计的,城市交通管理员是这个软件的使用者,他通过此软件为各个路口设置参数,使系统能够根据输入的参数通过控制交通灯实时地对各路口的交通进行调度;能够随时掌握现在交通的具体情况。
由于各种活动的相互影响和制约,我们不可能把这个软件设计的完美无缺,可能有许多错误,这些错误甚至会对软件产品以至整个系统产生致命的危害,因此就需要对我们的软件进行测试,主要是对制作的软件产品进行检查,及时的发现程序中逻辑错误,以保证软件产品的正确性和可靠性。
具体结合到我们这个软件,是要做到一下几点。1,通过测试来检验软件是否可以正常运行。2,如果无法正常运行,需要检测出错误处在哪里,并加以纠正3,本软件是否可以一一满足用户的所有要求。4,当用户出现违规操作(例如设定最大绿灯时间大于所给范围等),系统能否发现并提醒用户改正。
在测试阶段我们首先必须明确信息的流向,下图给出了测试阶段信息流向的模型,我们也将根据这个图来指导我们完成测试阶段的工作。
纠错
评价
软件配置纠错纠正错误
可靠性模型
测试
测试结果
错误率
测试配置预期结果
可靠性预测
我们计划将测试分为3个阶段:
首先,将整个程序按功能划分成3个子模块,分别对每个模块进行单元测试,在该阶段我们在每个单独的程序块中,消除块内的逻辑、功能上的缺陷和错误,保证每个块作为一个单元能正确执行,并为上一级测试做准备;
第二步,进行联合测试,将3个模块进行集中和装配,形成一个完整的软件后就可以进行联合测试,联合测试除了进一步检测和排除子系统(或系统)结构或相应程序结构上的错误之外,还应该验证所有的系统单元配合是否合适、整体性能和功能是否完整;
最后,在对整个程序进行有效性测试,在模块测试、联合测试之后,就可以对组装起来的软件进行有效性测试,有效性测试就是根据需求分析规格说明书中规定的有效性标准,通过功能测试验证软件系统是否与用户的要求一致。
:
:静态测试
静态测试是指不执行程序而找出程序存在的错误。这种方法以人工的、非形式化的方法对程序进行分析和测试,不依赖计算机的测试。在静态测试中,主要是找出程序中的语法错误,我们将通过下面检验清单来完成,可以提高检查程序的一般性错误的评审效果。
数据引用错误
引用未赋值的变量;
数组元素下标越界或非整数值;
指针变量访问的内存空间非法;
对具有多个名字的同一内存区中的数据,由于属性(或数据类型)说明不一致而引起的错误;
使用了非法的变量类型和属性说明;
访问了不存在的存储空间;
指针或索引所访问的数据属性不属于编译系统处理的范围;
多个过程或程序引用的数据结构不一致;
变址引用越界;
变址或数组下标运算“差1”;
汇编累加器、位移量、程序定位及空留位值越限;
数据说明错误
对某些变量没有说明,缺省属性使用不正确;
数组或字符串初始化不正确;
变量的长度,类型,存储类别规定不对;
变量初始值与其存储类别说明不一致;
误用相似的变量名,系统保留字、未加说明和前后矛盾的变量名;
定义了未被引用或仅引用了一次的变量;

不同类型的变量混合计算,或用零作除数;
赋值长度大于被赋值变量长度;
表达式中间结果或最后结果出现上溢或下溢;
二进制数的运算精度不够或变量值超出有效范围;
非法运算符和运算符优先顺序不对;
整形变量使用错误或有非法算式;
比较错误
不同类型的变量进行比较,如布尔量和整形的比较;
比较运算符的五接和不正确的布尔表达式;
逻辑操作数和比较数混合在一起;
二进制浮点数进行比较由舍入造成错误;
编译程序不能正确处理的布尔表达式;
控制流程错误
多路分支表示变量值大于可能的分支数;
循环不终止或出现死循环;
入口条件不正确出想多循环一次或少循环一次;
复合语句不配对,或迭代次数不对(过多或过少);
接口错误
调用模块预备调用模块间的参数个数、顺序、类型、范围和单位不匹配;
模块间传送的变量的类型、范围、单位定义不一致;
函数、过程和子程序调用中的实参和形参的个数、类型、范围、单位、顺序不匹配;
子程序调用前后定义的属性不一致;
输入/输出
文件显示说明、属性是否正确;
I/O语句与格式语句失配,I/O缓冲区与纪录大小失配,没有必要的出错处理;
使用未打开的文件;
同时打开的文件数超过系统允许的文件数;
忘记检查输入的有效性;
其他错误
定义未被引用或仅引用了一次的变量;
程序的功能被遗漏;
忘记检查输入的有效性;
经过和以上错误清单的逐一比照,我们会改正源程序中的语法和逻辑错误,逐步完善程序。直到完全消除程