状态及其转换正常。失效性状态测试：竞争条件、重复检查内存泄漏、压迫在不够理想条件下运行：内存小，磁盘空间少尽量限制软件的必要条件、重负提供条件任其发挥。3、静态白盒测试：在不执行软件的条件下有条理地仔细审查软件设计、体系结构和代码，从而找出软件缺陷的过程1编码标准和规范：可靠性、可读性可维护性、可移植性2通用代码审查清单：a数据引用错误b数据声明错误c计算错误d比较错误e控制流程错误接引起边界条件问题循环等控制结构未按预期方式工作，由计算或比较错误间缓存区溢出不正确地声明和使用变量和常量
f子程序参数错误g输入输出错误h其他检查
子程序不正确地传递数据
编码、可移植、兼容
4、动态白盒测试：结构化测试，检查代码并观察运行状况，利用查找代码功能和实现方式得到的信息来确定哪些需要测试，哪些不需要，如何开展测试，包括如下内容：1直接测试底层函数过程，子程序和库API2以完整程序的方式从顶层测试软件，根据对软件运行的了解调整测试用例3从软件获得读取变量和状态信息的访问权，确定测试与预期结果是否相符，强制软件以正常测试难以实现的方式运行4估算执行测试时命中的代码量和具体代码，调整测试，去掉多余的测试用例，补充遗漏的用例动态白盒测试与调试的区别：都包括处理软件缺陷和查看代码的过程，但是它们的目标不同：测试的目标是寻找软件缺陷调试的目标是修复缺陷测试方法：分段测试单元测试和集成测试、数据覆盖、代码覆盖
f数据覆盖：数据流覆盖，在软件中完全跟踪一批数据。次边界：与动态黑盒测试类似。公式和等式：类似除法运算中，考虑除数为0的情况。错误强制：迫使软件中的所有错误提示信息显示出来。代码覆盖：测试程序的状态以及程序的流程，设法进入和退出每一个模块，执行每一行代码，进入软件每一条逻辑和决策分支代码覆盖包括：程序语句和代码行覆盖、分支覆盖比如判断语句中if分支和else分支、条件覆盖一个条件中可能包含几个子条件，要覆盖每一个子条件及它们的组合。软件测试其实就是在用户之前使用和运行软件，尽早找出软件中存在缺陷。我们不可能对软件进行完全测试，只可能在测试有限的用例后使得软件仍然存在bug的概率尽可能小。以上所述仅仅只是一点皮毛，软件测试覆盖的知识面很广，需要学习的还有很多资料来源：厚学网
fr