论文部分内容阅读
变量定义未使用故障是C／C＋＋程序中的可见故障，该类故障可导致计算结果错误或系统崩溃。针对C／C＋＋语言中变量定义未使用错误类型进行了分析，并从面向具体故障的测试思想出发，给出软件测试系统设计，建立了C/C＋＋语言中变量定义未使用的故障模型，结合静态测试特点，给出了一种静态查找此类故障的方法。该方法已用于面向故障的软件测试系统中。