论文部分内容阅读
考虑程序中分支冲突和异常处理结构对控制流信息的影响，提出一种改进的程序可达基路径生成方法。分析不可达路径产生的原因及其判定方法，构建异常控制流图。在此基础上计算相关分支之间的关系，利用深度优先遍历方法得到程序的可达基路径集。实例分析结果表明，该方法能准确生成可达基路径集，满足基路径测试的要求。
一种改进的程序可达基路径生成方法
【摘 要】
：
考虑程序中分支冲突和异常处理结构对控制流信息的影响，提出一种改进的程序可达基路径生成方法。分析不可达路径产生的原因及其判定方法，构建异常控制流图。在此基础上计算相关
【机 构】
：
中国矿业大学计算机科学与技术学院
【出 处】
：
计算机工程
【发表日期】
：
2012年9期
【基金项目】
：
国家自然科学基金资助项目（60970032）,江苏省自然科学基金资助项目（BK2008124）,江苏省研究生培养创新工程基金资助项日（CXl0B一157Z）,江苏省“青蓝工程”基金资助项目
其他文献
结合"长尾理论"对商业银行营销策略进行分析,旨在通过"长尾理论"工作方法的完善,进行商业银行营销策略的构建,核心目的是在营销策略完善同时,进行营销方法的革新,促进社会经
《职业学校学生实习管理规定》首次将高职顶岗实习纳入调整范围,管理规定实施后顶岗实习管理制度仍存在诸多问题,迫切需要通过对顶岗实习学生、企业的实地调查与跟踪研究,明
<正>福建省质监局行政服务中心以党建为抓手,以"互联网+政务服务"为载体,坚持"体系健全、功能齐全、管理科学、高效便捷、群众满意"理念建设窗口服务平台,着力提升便民服务水
昆明机场残积红土既是区域内重要的土地资源,又是各类工程建设的建筑地基,由于红土自身的团粒结构,所以红土在物理性质方面展现出和一般黏性土的差异性。本文针对昆明机场砂
针对深层网查询结果页面中噪音信息对数据区域识别的干扰问题,提出一种自动识别深层网查询结果数据区域的方法。该方法利用网页的重复结构和相似URL,将页面划分成不同的语义
<正>目前教育培训工作中存在哪些问题和不足?如何制订和落实更加符合实际的教育培训工作措施和办法?西安市国家税务局为此开展了专题问卷调查活动。这次问卷调查从被调查对象
近年来关于功能性的讨论主要应用于织物的研制,但也有功能性和纺丝油剂之间的联系,这些结合涉及不同的方向。这意味着可以在最终产品上看到纺丝油剂的功能,例如众所周知的纺
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
卫星通信的地面接收阵列天线在信号处理的过程中，若数字下变频时没有进行载波同步，则此时多普勒频移仍存在于系统中。根据阵列信号处理模型，对采用FrostLMS自适应滤波算法的卫星
随着安全芯片应用范围的不断扩大和应用环境的日趋复杂，需要通过穿透性测试验证芯片的安全性，同时有必要对测试进行评估。为此，提出一种基于攻击树模型的安全芯片穿透性测试评估