国家自然科学基金(61272108)
- 作品数：5 被引量：9H指数：2
- 相关作者：宋东海张志祥宋道远张龙贾向阳更多>>
- 相关机构：中国人民解放军海军工程大学武汉大学更多>>
- 发文基金：国家自然科学基金软件工程国家重点实验室开放基金海外及港澳学者合作研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于补偿事务的业务流程异常处理建模研究
- 2015年
- 对补偿触发条件的判断会影响补偿的正确性,由于业务流程的活动之间具有补偿依赖关系,尤其是并发结构中的补偿依赖,使得流程开发人员在设计补偿流程时容易出错。分析了顺序、选择、并发等几种基本流程结构及其复合结构中的补偿依赖,给出了补偿活动触发条件计算方法和补偿事务的Petri网模型构造过程,并通过实例说明了方法的可行性。
- 雷义伟贲可荣
- 关键词：异常处理PETRI网
- 基于路径引导的回归测试用例集扩增方法被引量：2
- 2014年
- 为了全面测试演化软件,回归测试通常需要生成新的测试用例。concolic测试是一种沿着具体执行路径进行符号执行的软件验证技术,通过生成测试数据来执行程序的所有可行路径。回归测试中,由于concolic测试关注于程序本身,没有利用已有测试用例和软件演化信息,导致生成大量无效测试数据,浪费资源和时间。为解决此问题,提出一种基于路径引导的回归测试用例集扩增方法。该方法将目标路径作为引导,根据软件演化信息选择有利于覆盖目标路径的测试用例,利用已有测试用例跳过重叠初始子路径,对后续目标子路径进行concolic测试并生成覆盖目标路径的测试数据。案例分析表明,本文方法相比传统concolic测试,本方法在覆盖程序可行路径的同时,可有效减少concolic测试路径,提高测试数据生成效率。
- 殷鹏川贲可荣
- 关键词：测试数据生成
- 一种基于语义的业务活动推荐方法被引量：2
- 2014年
- 以企业复杂业务逻辑为背景,针对动态构造业务流程中的用户遗漏或错选工作等问题,提出了一种基于语义的业务活动推荐方法。首先定义面向业务活动的基础本体模型并在此基础上构建了基本推理规则,接着详细描述了方法所采用的推荐策略并在此基础上设计了推荐算法。方法的工作机制是接收并分析业务活动事件并调用推荐算法,推荐算法访问知识库,生成最终的推荐结果呈现给用户。最后通过国家综合减灾应用系统案例来验证方法的有效性。
- 张龙应时贾向阳龚致远李琳
- 关键词：语义
- 一种基于类的Java多线程程序数据竞争静态检测算法被引量：3
- 2014年
- 多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。
- 宋东海贲可荣张志祥
- 关键词：多线程程序数据竞争程序切片
- Java程序异常信息分析插件的研究与设计被引量：2
- 2014年
- 异常处理是一种有效提高软件健壮性的方法,处理不当将导致严重的软件失效。提出一种通过分析Java程序异常信息、由开发平台给出异常处理代码提示的方法,以提高开发效率,并提出一种包含异常结构的Java程序异常控制流图构造方法,用于程序分析和优化。基于Eclipse开发环境,设计了一个异常信息分析插件,用于分析Java程序异常信息,给出了代码提示,生成了异常控制流图,以帮助开发人员更快更好地书写异常处理代码。
- 宋道远贲可荣
- 关键词：异常处理
