关于静态白盒测试??检验代码的一些问题
作者:网络转载 发布时间:[ 2011/5/31 16:41:40 ] 推荐标签:
* 循环可能从不执行吗?如果是这样,可能接受吗?
* 对于多分支语句,索引变量能超出可能的分支数目吗?如果超出,该情况能正确处理吗?
* 是否存在“丢掉一个”错误,导致意外进入循环?
(6)子程序参数错误
子程序参数错误的来源是软件子程序不正确地传递数据。
* 子程序接收的参数类型和大小与调用代码发送的匹配吗?次序正确吗?
* 如果子程序有多个入口点,引用的参数是否与当前入口点没有关系?
* 常量是否当作形参传递,意外在子程序中改动?
* 子程序是更改了仅作为输入值的参数?
* 每一个参数的单位是否与相应的形参匹配?
* 如果存在全局变量,在所有引用子程序中是否有相似的定义和属性?
(7)输入/输出错误
输入/输出错误包括文件读取、接受键盘或鼠标输入以及向输出设备写入错误等。
* 软件是否严格遵守外设读写数据的专用格式?
* 文件或者外设不存在或者未准备好的错误情况有处理吗?
* 软件是否处理外设未连接、不可用、或者读写过程中存储空间占满等情况?
* 软件以预期的方式处理预计的错误吗?
* 检查错误提示信息的准确性、正确性、语法和拼写了吗?
(8)其他错误
* 软件是否使用其他外语?是否处理扩展ASCII字符?是否需用统一编码取代ASCII?
* 软件是否需要移植到其他编译器?
* 是否考虑了兼容性,以使软件能够运行于不同数量的可用内存、不同的内部硬件、不同的外设等?
* 程序编译是否产生“警告”或者“提示”信息?这些信息通常指示语句有疑问。
但在项目小组验证代码时,并不能简单地以这些代码审查清单未标准,因为这只是用做一个通用的示例。其中虽然有谢好的测试用例应该在测试代码时考虑,但是,英爱研读其他公开的标准之后再采用自己的标准。

sales@spasvo.com