静态方法是指不运行被测程序本身,仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析,找出欠缺和可疑之处,例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错,并为测试用例选取提供指导。
静态测试(Static Testing)是对被测软件进行特性分析的方法的总称,主要特点是不利用计算机运行被测试的软件,而针对需求说明、设计文件等文档和源程序进行...
基于790个网页-相关网页
...(2)白盒测试(white-box testing):去研究里面的源代码和程序结构 2、按是否运行程序分为: (1)静态测试(static testing):是指不实际运行被测软件,而只是静态地检查程序代码、界面或文档可能存在的错误的过程。
基于24个网页-相关网页
Null pointer dereference faults are popular in C++ program,fault-oriented static testing method should detect these faults well.
空指针引用的错误在C++程序中普遍存在,面向故障的静态测试方法应该很好地针对这种故障模式。
参考来源 - 过程间的空指针引用故障静态检测方法Based on path analysis and symbolic execution, we describe two methods, static analysis and dynamic analysis, for detecting data dependence of array variables in loops of sequential programs.
进而提出了基于路径分析和符号执行的静态测试和动态测试方法,来研究串行程序中循环内部数组变量的数据相关性,该方法对于下标表达式为线性表达式时有很好的效果,而且能够处理一些复杂的数组下标表达式,比如数组下标表达式含有输入变量和非线性下标表达式的情况。
参考来源 - 基于路径符号执行的数据相关性分析·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐