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

作     者：王璇 刘涛 宫云战 WANG Xuan;LIU Tao;GONG Yun-zhan

作者机构：装甲兵工程学院信息工程系北京100072 装甲兵工程学院训练部北京100072 

基　　金：总装备部十五预研基金项目(41315050107) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2006年第27卷第14期

页      码：2555-2557页

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

主 题 词：软件测试 静态分析 非法计算 区间运算 故障模型 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7024.2006.14.014

馆 藏 号：203634303...