摘要
非法计算是C/C++程序中的常见故障,该类故障极易导致系统崩溃。针对C/C++语言中常见非法计算故障进行了分析,并从面向具体故障的测试思想出发,建立了C/C++语言中非法计算的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。
Invalid arithmetic operation is a common kind of error in programs written in C/C＋＋, which often causes system collapse. Firstly the classical C/C＋＋ errors of invalid arithmetic operation is analyzed, a defect model of invalid arithmetic operation about C/C＋＋ based on defect-oriented testing strategy is established, then a detecting method of invalid arithmetic operation errors combining the advantage of static analysis is described. This algorithm is implemented and is used in a defect-oriented testing system.
出处
《计算机工程与设计》
CSCD
北大核心
2006年第14期2555-2557,共3页
Computer Engineering and Design
基金
总装备部十五预研基金项目(41315050107)
关键词
软件测试
静态分析
非法计算
区间运算
故障模型
software testing
static analysis
invalid arithmetic operation
interval operation
error model
