论文部分内容阅读
不可达代码是C/C++程序中的可见故障,该类故障可以导致计算结果错误或系统崩溃.本文首先分析了C/C++语言中不可代代码错误类型,从面向具体故障的测试思想出发,给出一种错误类型检查的算法设计,建立了不可达代码故障模型,其在软件测试中具有通用性.
不可达代码的一种静态测试方法
【摘 要】
：
不可达代码是C/C++程序中的可见故障,该类故障可以导致计算结果错误或系统崩溃.本文首先分析了C/C++语言中不可代代码错误类型,从面向具体故障的测试思想出发,给出一种错误类
【机 构】
：
装甲兵工程学院信息工程系,北京,100072
【出 处】
：
第四届中国测试学术会议
【发表日期】
：
2006年期
其他文献
2005年9月26日,第一颗GPS ⅡR-M卫星的入轨运行,标志着GPS现代化迈出了里程碑式的一步,在GPS第二导航定位信号上增设的L2-C码开始在轨服务.本文主要论述GPS现代化的下述作用
1例56岁男性患者,因“阵发性心房颤动”,口服普罗帕酮过量(累计1 000 mg)后表现为神志淡漠,乏力伴室性心动过速,QRS波时限增宽,房室传导阻滞.及时停用药物,给予辅助通气,纠正
期刊
钙/钙调素依赖性蛋白激酶Ⅱ(CaMKⅡ)δ可以调控短暂外向钾通道(Ito),参与心力衰竭(简称心衰)合并心律失常的形成.CaMKⅡδ不仅可以调控Ito的门控特性,还可以引起Kv4.2、Kv1.4
期刊
在酸性土壤(pH＜5.0)中铝毒是影响植物生长的重要因素.根际环境中活性铝浓度升高可增加植物对铝胁迫的风险.植物可以通过根系分泌有机酸、生物酶等物质来解除或减轻铝毒.本文重
随着Web2.0的如日中天，各种基于Web2.0的应用层出不穷，通用搜索引擎发展已经渐渐地不能满足更加细致和准确的要求，随之而来的本地搜索，垂直搜索等多种搜索引擎应运而生，本文针对本
会议
高层建筑的设计理念往往风格各异，且形状不一，立面流畅，互为独立.此时，如采用传统的房产测量方法对高层建筑进行房产测量，尤其是进行建筑面积的测量，则会有事倍功半的感觉，其测量精
作为20世纪最重要的化工产品发明,全氟辛基磺酸(PFOS)、全氟辛酸(PFOA)和全氟辛基磺酰铵(PFOSA)等氟化有机物在生产领域广泛应用.随着科学研究工作的不断深入和公众环境意识
一引言物理通报曾经先后刊载过张民石先生和孙以翱先生交换关于普通物理教学问题的意见,但这一问题的讨论却至今还没有广泛地展开。这也许是由于大家都忙于工作和学习,没有
以复用嵌入式核测试为目标的测试策略是现今解决SOC测试问题的基础,IEEEP1500嵌入式核测试组织已经在SOC测试壳,测试壳与测试存取通道之间接口和测试接口语言方面取得了一定
会议
本文提出一种产生高质量的片内多谐信号的新方法.该信号源采用了无失真离散积分振荡、噪声整形和时分复用三种技术,避免了采用占用大量资源的多位高精度乘法器,用一位D/A转换
会议