论文部分内容阅读
程序切片是一种有效的程序分析技术，它能根据给定的切片准则从源程序中提取出所需部分进行分析，如进行程序调试、测试、程序重构分析等。本文主要研究程序切片的准则以及相关算法。
程序切片常用算法研究
【摘 要】
：
程序切片是一种有效的程序分析技术，它能根据给定的切片准则从源程序中提取出所需部分进行分析，如进行程序调试、测试、程序重构分析等。本文主要研究程序切片的准则以及相关算
【机 构】
：
铁岭师范高等专科学校理工学院计算机专业教研室
【出 处】
：
科技信息
【发表日期】
：
2012年33期
其他文献
目的对飞艇囊体材料的渗漏特性进行研究,以预测飞艇设计是否满足需求。方法采用细观力学有限元方法,通过微裂纹密度以及平均裂纹开口大小求解氦气渗漏路径的横截面积,进而预
目的分析平流层飞艇蒙皮在不同空速下的热特性,为平流层飞艇蒙皮材料的选择以及其驻空性能的分析提供参考和指导。方法基于CFD数值分析方法,建立外部热源模型,囊体内部自然对
家庭环境因素对青少年成长过程的影响是极其重要的，本研究采用了问卷的方法，调查了保定职业中学学生的家庭环境以及总体幸福感状况，并针对职业中学学生对家庭环境的知觉及其与总
目的设计一种新型热流测量装置,使传感器满足长时间热流测量的需求,且传感器外表面可以适量打磨,与飞行器的气动外型面完好随型。方法采用铜和钢作为备选材料,施加相同的表面
目的研究轻质热解类防热材料在高焓CO2气动加热环境下的炭化层烧蚀机理。方法建立考虑化学反应动力学过程影响的材料热化学烧蚀特性计算方法,研究碳化热解类防热材料在二氧化
目的研究有效涂层防护措施,以减缓Vectran纤维在强光辐照下的老化降解。方法采用苯并三唑类紫外吸收剂、三嗪类紫外吸收剂和受阻胺类光稳定剂,与端羟基超支化聚酯改性Ti O2进
1.1超市重视果品的质量安全 在欧洲．出现的疯牛病牛肉．二噁英奶粉、转基因作物等一系列食品安全危机影响了消费者的消费信心．消费者高度关注食品安全．希望更多地了解所吃食品的生
近日，陕西省大荔县、泾阳县等地一些果农纷纷打电话向报社咨询他们种的杏树果实在成熟期一点点烂掉、脱落，不知这是什么原因?应该怎么办?
新课程强调，数学课应是活动课，且是师生之间、生生之间的相互交流、相互沟通、相互理解、相互启发、相互补充的活动。在这个活动中．教师与学生分享彼此的思考、见解和知识，交流彼
随着光网络的飞速发展和数字传输技术的应用，原来在数据通信网中被视为应用“瓶颈”的带宽和服务质量等问题一一得到解决，推动了IP技术的飞速发展，带动各种应用向IP靠拢，VOIP电话