异常处理

作品数：1005被引量：1274H指数：13
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：姜淑娟应时贾向阳徐宝文蒋曹清更多>>
相关机构：中兴通讯股份有限公司深圳市腾讯计算机系统有限公司华为技术有限公司中国工商银行股份有限公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向服务软件中异常处理的形式化建模方法被引量：4
《西安交通大学学报》2013年第4期118-124,共7页蒋曹清 应时 文静 贾向阳 王一兵 
国家"九七三"重点基础研究发展规划资助项目(2007CB310800);国家自然科学基础重点资助项目(91118003;61272113;61272108);国家自然科学基金资助项目(61070012;61170022)
针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模...
关键词：面向服务软件 异常处理 形式化建模 建模方法 
面向服务软件异常处理过程的可终止性验证被引量：4
《计算机科学与探索》2012年第3期208-220,共13页蒋曹清 应时 文静 贾向阳 管华 
国家自然科学基金No.61070012;国家重点基础研究发展规划(973)No.G2007CB310800~~
大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止将导致面向服务软件无法正常运行。目...
关键词：异常处理 可终止性验证 验证方法 面向服务软件 
一种ECA规则驱动的BPEL流程异常处理和分析机制被引量：5
《小型微型计算机系统》2010年第7期1363-1370,共8页刘海 刘安 李青 顾乃杰 
国家“九七三”重点基础研究发展计划项目(2003CB317006)资助
虽然BPEL被OASIS组织作为目前Web服务合成的标准语言,它对于合成过程的容错性支持却存在很多不足,特别是没有提供强有力的异常处理机制.提出一种ECA规则驱动的异常处理机制,可以自动的将用户设定的异常处理逻辑嵌入BPEL流程中,而用户不...
关键词：WEB服务 BPEL流程 异常处理 语义分析 
分层准则调控的服务协同保障机制
《计算机工程与应用》2009年第12期40-44,共5页金宇 高济 艾解清 
国家重点基础研究发展规划(973)No.2003CB317005;国家高技术研究发展计划(863)No.2007AA01Z187~~
为了提高服务协同的可靠性和简化异常处理设计过程的复杂性,在基于服务协同的虚拟组织中引入分层准则调控的服务协同保障机制,在功能准则层通过各业务间依赖关系生成异常依赖关联,从而在异常处理中通过异常依赖关联指导保障准则层的运作...
关键词：虚拟组织 服务协同 异常依赖 准则 异常处理 
一种基于异常传播分析的依赖性分析方法被引量：10
《软件学报》2007年第4期832-841,共10页姜淑娟 徐宝文 史亮 周晓宇 
SupportedbytheNationalNaturalScienceFoundationofChinaunderGrantNo.60373066(国家自然科学基金);theNationalScienceFoundationforDistinguishedYoungScholarsofChinaunderGrantNo.60425206(国家杰出青年科学基金);theNationalGrandFundamentalResearch973ProgramofChinaunderGrantNo.2002CB312000(国家重点基础研究发展规划(973));theProgramforCross-CenturyOutstandingTeachersoftheMinistryofEducationofChina(国家教育部跨世纪优秀人才基金);theHighTechnologyResearchProjectofJiangsuProvinceofChinaunderGrantNo.BG2005032(江苏省高技术研究项目);theNaturalScienceFoundationofJiangsuProvinceofChinaunderGrantNo.BK2006094(江苏省自然科学基金);theScienceResearchFoundationofChinaUniversityofMiningandTechnologyunderGrantNo.OD4527(中国矿业大学科学研究基金)
在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程...
关键词：异常处理 程序分析 异常传播 依赖性分析 程序切片 健壮性 
一种基于异常传播分析的数据流分析方法被引量：14
《软件学报》2007年第1期74-84,共11页姜淑娟 徐宝文 史亮 
国家杰出青年科学基金;国家自然科学基金;国家重点基础研究发展规划基金(973);教育部跨世纪优秀人才基金;江苏省高技术研究项目;中国矿业大学科技基金~~
异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对...
关键词：异常处理 程序分析 异常传播 控制流图 数据流分析 
一种静态分析C^(++)异常处理的方法
《计算机科学》2006年第4期288-291,F0004,共5页姜淑娟 徐宝文 史亮 肖洋 
国家自然科学基金(60373066);国家973重大基础研究(2002CB312000);教育部跨世纪杰出人才基金;教育部博士基金(20020286004);江苏省计算机信息处理技术重点实验室(苏州大学)基金资助
异常处理是现代程序设计语言提供的用来提高软件健壮性的一种机制。由于在 C^(++)的函数界面中并不要求声明该函数所能传播出的异常的类型,所以要想提高系统的健壮性,必须清楚在程序的执行过程中可能引发的异常、异常的传播路径等。然...
关键词：异常处理 静态分析 异常传播 结构测试 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部