文献检索-宁波市创意产业特色资源库

限定检索结果

基于SMT求解器的BPEL过程数据流错误检测: 收藏
分享
引用; 《计算机工程与设计》2017年第12期38卷 3311-3315页; 作者：张成震宋巍唐成宇陈芳菲南京理工大学计算机科学与工程学院江苏南京210094; 针对现有检测数据流反模式错误方法常采用枚举策略,存在路径爆炸和异常误报等问题,提出一种基于可满足性模理论(SMT)约束求解器的符号编码去检测所有可行路径中的数据流反模式错误的方法。进行符号编码,包括最常见的3种数据流反模式,根...; 针对现有检测数据流反模式错误方法常采用枚举策略,存在路径爆炸和异常误报等问题,提出一种基于可满足性模理论(SMT)约束求解器的符号编码去检测所有可行路径中的数据流反模式错误的方法。进行符号编码,包括最常见的3种数据流反模式,根据SMT约束求解器进行数据流反模式错误的识别检测。使用工业界中真实的BPEL过程作为数据集进行实验,实验结果表明,所提方法能够高效无误地检测出BPEL过程中的数据流异常错误。; 来源：详细信息评论

限定检索结果