计算程序的测试.doc

对数值计算程序的测试方法１）确定程序求解的控制方程；２）确定离散方法的理论收敛阶；３）确定数学模型的所有分支程序；４）确定虚构解；５）将虚构解输入控制方程的右端形成源项；６）将源项加入原控制方程的右端，得到控制方程的数值解；７）判断数值解和虚构解的值是否一致；８）进行网格细化获得不同网格上的误差，并用数值解计算实际收敛阶；９）若实际收敛阶与理论收敛阶一致，则完成当前测试。1.书写是否符合规范（国家软件标准或规范），至少应符合本公司的标准。 2.注解是否充分，其他人员能够很容易的看懂所写的程序。 3.数组的上下界是否规定清楚。 4.程序的输入输出参数的定义是否准确。 5.所开发的程序是否方便客户的使用。 6. 程序是否完全实现了软件的规定 7.数字转换为其字符串表示形式的数值格式化方法， 是否完全地实现了软件所规定的内容，没有错误； 8.检查以参数的形式传递对象的接口，是否完全地实现了软件所规定的内容，没有错误； 9.检查参数以合法的方式提供格式化服务， 是否完全地实现了软件所规定的内容，没有错误； 10. 检查数据库自动生成数值序列功能， 是否完全地实现了软件所规定的内容，没有错误； 11. 检查布尔型对象转换值：NULL、未定义、0、或FALSE均转换成布尔对象的方法，是否完全地实现了软件所规定的内容，没有错误； 12. 检查数值函数对象是否完全地实现了软件所规定的内容，没有错误； 13. 检查将非字母、数字字符转换成ASCII码编码函数， 是否完全地实现了软件所规定的内容，没有错误； 14. 检查将ASCII码转换成字母、数字字符译码函数，是否完全地实现了软件所规定的内容，没有错误； 15. 检查不同进制（二、八、十六）的数值转换成十进制整数的转换函数，是否完全地实现了软件所规定的内容，没有错误； 16. 检查将数值字串转换成浮点数转换函数，是否完全地实现了软件所规定的内容，没有错误； 17. 检查??/除号、 小于　、 = 小于等于、 　不等于、??= 等于　、 　大于　、 =　大于等于、and　逻辑与　、 not　逻辑非 、or　逻辑或， 是否完全地实现了软件所规定的内容，没有错误。 18. Null转化，在设置值对象VO时，在VO内部是否将空串 转化为null，数值型数据(整数、浮点数等)null转为0 19. 检查控件数据类型的转换，编辑控件数据类型是否与表中对应字段数据类型一致 20. 检查单精度实型ffloat(8位)、双精度实型double(16位)控件的范围控制是否正确 21. 检查小数位数的设置是否符合规范 22. 检查禁止输入字符的设置是否符合相应要求 21. 检查变量的交叉引用表：检查未说明的变量和违反了类型规定的变量，变量的引用和使用情况。 22. 检查标号的交叉引用表：验证所有标号的正确性。 23. 检查子程序、宏、函数：验证每次调用与所调用位置是否正确，调用的子程序、宏、函数是否存在，参数是否一致。 24. 等价性检查：检查全部等价变量类型的一致性。 25. 常量检查：确认常量的取值和数制、数据类型。 26. 比较控制流：比较设计控制流图与实际程序生成的控制流图的差异。 27. 选择、激活路径：在设计控制流图中选择某条路径，到实际的程序中激活这条路径，如果不能激活，则程序可能有错。 28. 补充文档：根据各检查项目，可以编制代码规则、规范和检查表等作为测试用例。 29. 对照程序的规格说明，详细阅读源代码，并与实际的代码进行比较，从差异中发现程序的问题和错误。