检验验证规范.doc

单元测试规范
测试对象
可独立编译或汇编的程序模块
测试目的
检查每个软件单元能否正确地实现设计说明中的功能、性能、接口和其他设计约束等要求,发现单元内可能存在的各种差错。
3、测试的项目、内容、测试方法及频次
项目
内容
测试方法
频次
备注
接口
调用被测单元的实际参数与该单元的形式参数的个数、属性、量纲、顺序是否一致
被测单元调用子模块时,传递给子模块的实际参数与子模块的形式参数的个数、属性、量纲、顺序是否一致
是否修改了只作为输入值的形式参数
4、调用内部函数的参数个数、属性、量纲、顺序是否正确
5、被测单元在使用全局变量时是否与全局变量的定义一致
6、在单元有多个入口的情况下,是否引用了与当前入口无关的参数
7、常数是否当作变量来传递
8、输入/输出文件属性的正确性
9、OPEN语句的正确性
10、CLOSE语句的正确性
11、元宝的输入/输出格式说明与输入/输出语句是否匹配
12、缓冲区容量与记录长度是否匹配
13、文件是否先打开后使用
14、文件结束条件的判断和处理的正确性
15、对输入/输出错误是否进行了检查并做了处理以及处理的正确性
静态测试方法和动态测试方法
全部
局部数据结构
1、不正确或不一致的数据类型说明
2、错误的变量名,如变量名拼写错或缩写错等
3、使用尚未赋值或尚未初始化的变量;
4、差错的初始值或差错的缺省值;
5、不一致的数据类型
6、下溢、上溢或是地址差错;
7、全局数据对软件单元的影响
独立路径
应设计适当的测试用例,对软件单元中的独立路径进行测试,特别是对独立路径中的基本路径进行测试
边界
条件
应测试软件单元在边界处能否正常工作,如,测试处理数组的第一下和最后一个元素;测试循环执行到最后一次;测试取最大值或最小值;测试数据流、控制流中刚好等于、大于或小于确定的比较值等等
差错
处理
测试软件单元在运行过程中发生差错时,其出错处理措施是否有效
静态测试方法和动态测试方法
全部
功能
应对软件设计文档规定的软件单元的功能按项进行测试
性能
按软件设计文档的要求,对软件单元的性能(如精度、时间、容量等)进行测试
内存
使用
检查内存的使用情况,特别是动态申请的内存在使用上的错误(如指针越界、内存泄露等)
测试
环境
测试环境包括测试的运行环境和测试工具环境。测试的运行环境一般应符合软件测试合同(或项目计划)的要求,通常是开发环境或仿真环境。测试工具一般要求是经过认可的工具
4、测试的技术要求
a、计文档规定的软件单元的功能、性能、接口等按项进行测试
b、件特性应至少被一下正常测试用例和一个被认可的异常测试用例覆盖
c、试用例的输入应至少包括有效价类值、无效等价类值和边界数据值;
d、对软件单元进行动态测试之前,一般应对软件单元的源代码进行静态测试;
e、覆盖率达到100%
f、覆盖率要达到100%
g、出数据及其格式进行测试
对具体的软件单元,可根据软件测试合同(或项目计划)及软件单元的重要性、完整性级别等要求对上述内容进行裁剪
集成测试规范
1、测试对象
a、任意一个软件单元集成到计算机软件系统的组装过程
b、任意一个组装得到的软件系统
2、测试目的
软件集成测试的