非法计算故障的一种静态测试方法

摘要

非法计算是C/C++程序中的常见故障,该类故障极易导致系统崩溃.针对C/C++语言中常见非法计算故障进行了分析,并从面向具体故障的测试思想出发,建立了C/C++语言中非法计算的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法.此方法已实现,并已应用于面向故障的软件测试系统中.