A HYBRID DYNAMIC PROGRAM SLICING

来源 :电子科学学刊：英文版 | 被引量 : 0次 | 上传用户：iswhat

【摘要】

：

This letter proposes a hybrid method for computing dynamic program slicing. The key element is to construct a Coverage-Testing-based Dynamic Dependence Graph (C

【作者】

：

YiTong WuFangjun

【机构】

：

LaboratoryofComputerCenter

【出处】

：

电子科学学刊：英文版

【发表日期】

：

2005年2期

【关键词】

：

程序分片程序分析动力学软件测试 Program analysis Program slicing Dynamic slicing Software tes

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

This letter proposes a hybrid method for computing dynamic program slicing. The key element is to construct a Coverage-Testing-based Dynamic Dependence Graph (CTDDG),which makes use of both dynamic and static information to get execution status. The appro

其他文献

基层林业站建设中存在的问题及其对策

本文主要介绍了基层林业站的职能以及当前基层林业站建设中存在的各种问题,并在此基础上提出了相应的改进措施,希望能够为相关工作人员提供参考,保证我国基层林业站更好的发

期刊

基层林业站问题对策

A NEW HYBRID WAVELET-KALMAN FILTER METHOD FOR THE ESTIMATION OF DYNAMIC SYSTEM

<正>A new hybrid wavelet-Kalman filter method for the estimation of dynamic system is developed, Using this method, the real-time multiscale estimation of the d

期刊

实时系统多标度估计动态系统微波转换KALMAN滤波Real-time Multiscale estimation Dynamic system Wav

服药未必都一日三次

供内服的药物,无论药瓶签上或医师处方上,大都可见以一日三次为宜。随着近年来生物学、药效学等学科的进展,提示这种给药法,对不少药物来说未必合理。其理由主要是:1.机体内

期刊

血药浓度皮质激素药物作用昼夜规律药效学机体内环境医师处方高峰浓度苯妥英钠影响疗效

大黄酸联合高压氧对大鼠CCL4致肝纤维化的影响

目的观察大黄酸联合高压氧对CCL4中毒致大鼠肝纤维化转化生长因子β1(TGF-β1)和α-平滑肌肌动蛋白(α-SMA)表达的影响。方法:腹腔注射CCL 4制备大鼠肝纤维化(Hepatic Fibros

期刊

大黄酸高压氧肝纤维化转化生长因子Β1Α-平滑肌肌动蛋白

PROBABILISTIC CLONE-RESEND ATTACK STRATEGY IN QUANTUM KEY DISTRIBUTION

A kind of attack strategy based on a probabilistic cloning machine is proposed in this letter. The security of BB84 and the six-state quantum key distribution p

期刊

量子密钥分布复制概率QKD攻击策略网络安全Attack strategy Quantum Key Distribution(QKD) Probabil

我国外资准入壁垒的政策效应研究——兼议上海自由贸易区改革的政策红利

我国的《指导外商投资方向规定》和《外商投资产业指导目录》等行政审批制度对外资企业的FDI作出了严格规制。2013年的中共十八届三中全会提出要改革上述外资准入壁垒制度,并

会议

外资准入壁垒上海自由贸易区外商直接投资关税政策负面清单

2-D IMAGE-BASED VOLUMETRIC MODELING FOR PARTICLE OF RANDOM SHAPE

期刊

量估计量模型随机形状微粒物体数字图像Volume estimate Volume modeling Random shape Particles

基于EVA模型的小水电价值管理研究——以四川省某42MW水电融资租赁方案为例

将EVA模型(Economic Value Added,,企业价值增加值)作为小水电价值管理的量化分析模型,通过分析EVA模型中的价值驱动因素及小水电融资困境,总结出以金融途径提升小水电价值管

期刊

小水电融资租赁价值管理现金流股东投资负债结构税务筹划

THE FAST FIXED-POINT ALGORITHM FOR SPECKLE REDUCTION OF POLARIMETRIC SAR IMAGE

In this letter, a simple and efficient method of image speckle reduction for polarimetric SAR is put forward. It is based on the fast fixed-point ICA (Independe

期刊

SAR图像处理ICA独立成分分析图像噪声合成孔径雷达SARFast fixed-pointIndependent Component Analysi

面瘫的辨治

面瘫是颜面神经肌肉瘫痪的简称,又称为颜面神经麻痹症,为颅神经病变中最常见的一种疾患。任何年龄都可以发病,但以青壮年较为多见。运用中医中药辨证施治有良好效果。兹将辨

期刊

口眼歪斜颜面神经面神经瘫痪面肌痉挛辨证施治气血两虚颅神经病变中医中药眼睑下垂逍遥散

A HYBRID DYNAMIC PROGRAM SLICING

其他学术论文