论文部分内容阅读
在简单介绍了传统的不可达路径的排除方法后,主要介绍能有效改善其缺陷的可达路径选择方法.基于最少谓词思想的路径生成方法得到广泛的认可,但其实现方法的不同同样会影响路径的可达效果,文中介绍的综合利用控制流信息和数据流信息的方法较之单纯地利用控制流或数据流信息会生成更好的路径.
结构测试中的可达路径选择方法
【摘 要】
：
在简单介绍了传统的不可达路径的排除方法后,主要介绍能有效改善其缺陷的可达路径选择方法.基于最少谓词思想的路径生成方法得到广泛的认可,但其实现方法的不同同样会影响路
【机 构】
：
装甲兵工程学院计算机应用室
【出 处】
：
计算机工程
【发表日期】
：
2003年2期
其他文献
湿地在生态系统中的功能和价值已得到公认 ,但对湿地的破坏却因种种原因仍在继续。根据国际上对湿地的不同定义 ,讨论了湿地定义对湿地保护的重要性 ,同时结合我国一些地区的
小浪底水利枢纽主要由拦河大坝、泄洪系统及发电系统组成。拟建大坝为粘土斜墙堆石坝,水库正常蓄水位275m。设计洪水流量40000m~3/s,总库容126.5亿m,其中有效库容51亿m~3,淤
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
文运与国运相牵，文脉同国脉相连。作为世界公认的“瓷器之都”，拥有两干多年陶瓷发展史的中国江西景德镇，因其得天独厚的陶瓷文化底蕴，成为弘扬我国传统文化的桥头堡、先行军。
慢性贫困是贫困的"癌症"。慢性贫困何以产生和维持成为目前世界贫困研究领域的前沿问题。当前,有关慢性贫困的理论分析逐渐分化成资源视角和关系视角。资源视角基于传统的贫
针对DSMC并行仿真中的负载变化特点,提出了DSMC并行仿真数据迁移的动态负载平衡技术.测试结果证明该技术能有效提高DSMC并行仿真的计算效率.
Missouri is a state with rich karst terrain. Geotechnical evaluation of foundation design for bridges and dams requires an understanding of the characteristics
前言 目前铅和乙醇对人类生殖功能的危害受到广泛的重视，国内外对其进行了一些研究，结果表明，铅和乙醇均能引起人和实验动物精子总数减少，精子畸变率升高，精子活动无力，雄性激素
果胶在食品加工行业中运用广泛,提取苹果皮中果胶的传统方法是采用酸萃取法、草酸铵提取法等,而单一的提取法不能使苹果皮中果胶最大量地溶出来,且果胶纯度不高。研究了盐析
将聚散技术应用于磁盘阵列中,解决由命令合并引起的数据移动问题,提高阵列性能.在实时操作系统环境下实现算法,并进行测试,其效果显著.