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

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:vensen_guo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
非法计算是C/C++程序中的常见故障,该类故障极易导致系统崩溃。针对C/C++语言中常见非法计算故障进行了分析,并从面向具体故障的测试思想出发,建立了C/C++语言中非法计算的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。
其他文献
“8·30”南宁桃源路交通事故中,送货车制动装置早已存在故障,但是企业负责人和司机贪图一时方便,抱着侥幸心理,不顾隐患风险,不把车辆故障当回事,继续让送货车带病出行,最终酿
一、提高学生抽象思维能力对高中物理教学的意义能力是"顺利地完成某种活动的个性心理特征"。而智力是"在各个人身上经常地、稳定地表现出来的认知特点,就是认识能力或认知能力"
我国目前没有颁布《企业合并》会计准则,但是《企业兼并有关会计处理暂行规定》中要求合并业务采用购买法,而对于股权结合法没有涉及。从目前情况看,股权联合法在我国合并实务中
采集资料是体育统计工作的第一步,是分析和评判体育教学并指导实际教学的基础,因此在体育教学研究的过程中一定要强调资料的准确性和完整性,仔细检查全部原始记录表格和卡片,核对
11月17日,自治区副主席陈刚在南宁与南宁市宾阳县、北海市合浦县、钦州市灵山县、玉林市玉州区四个烟花爆竹重点县的县委书记、县长及四个市的政府分管领导谈心对话,强调要按照
随着新课程的实施,阅读教学已成为语文教学的一个重要的部分,而人文精神是阅读教学的基本属性。
MarchingCubes(MC)算法是基于规则体数据抽取等值面的经典算法。分析了该算法中的交点连接问题,解决连接上的二义性问题,从而更好地生成多边形;对于生成的非平面多边形,对三角剖分进行了优化,以此改进了移动立方体算法,通过实验验证了算法的正确性。
利用废铁屑对二硝基氯苯废水进行预处理,可使废水中的二硝基氯苯转化为二氨基氯苯,从而提高废水的可生化性,有效地去除色度,同时COD去除效果也较好,达到了预处理的要求。
本刊讯 2013年8月15日,广西壮族自治区党委常委会召开会议,传达学习习近平总书记关于安全生产工作的重要讲话精神,研究我区贯彻落实意见。自治区党委书记彭清华主持会议并讲话。