【摘 要】
：
程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些
【机 构】
：
北京化工大学计算机科学与技术系,北京,100029中国科学院自动化研究所国家专用集成电路工程中心,北京,100080;
论文部分内容阅读
程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入变量的取值分析.为此,采用动态模拟的方法,对有特殊取值限制要求的表达式,进行输入变量的取值分析.实验表明,该方法是行之有效的.
其他文献
中国造纸产业资深门户网站始建于1999年的中华纸业网,刊网结合,汇集微博、微信等新媒介,为行业提供资讯、咨询、商务等于一体的综合平台——中华纸业传媒。中华纸业网以行业
采用反应直流磁控溅射法制备了掺钨氧化铟(In2O3:W,IWO)透明导电氧化物薄膜。薄膜中掺杂的钨离子与被替代的铟离子之间存在高价态差。与相同电阻率的ITO(In2O3:Sn)相比,IWO薄
回顾了人工架设接触网线索和进口小张力架线车架设接触网存在的弊端,阐述了随着我国电气化铁路的发展,研制和应用国产化接触网全张力架线车组的必要性,以及在电气化铁路接触
随着郑州市汽车保有量逐年递增，停车难的问题越来越凸显，随便走到哪条路上两边停的都是汽车，这也使居民出行变得困难，道路变得拥堵，停车场的规划与建设滞后成为制约城市发展的短板
介绍了大棚冬枣(Ziziphus jujuba cv.‘Dongzao’)的扣棚时间以及大棚枣树的树种选择、树形的控制等一系列的技术措施和实践经验,详述了棚内温度控制和通风要领、棚内温度控
介绍液体淀粉酶替代过硫酸铵在箱纸板表面施胶中的应用。结果表明:使用液体淀粉酶作为降黏剂不仅可以提高成纸的物理指标,而且能降低生产成本。
Application of liquid amyl
2016年6月是第15个全国“安全生产月”。上海市将按照《国务院安委会办公室关于开展2016年全国“安全生产月”活动和“安全生产万里行”的通知》(安委办〔2016〕1号)要求,全
The article describes the culture character and others major features of a pathogenic bacteria obtained from the larvae of Saperda populnea. The bacteria wa
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥