基于隔离逻辑的并行程序可靠性验证方法

• 作者: 万良
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 霍尔逻辑 隔离逻辑 并行程序 逻辑组合式 可靠性验证
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 86-91,96
• 页数: 7页
• 分类号: TP301
• 字数: 6351字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2014.02.019

摘要

并行程序验证的复杂性在于执行流程的不确定性以及由此导致的执行规模变大，使得验证的内容和目标之间的关系不明确。为解决该问题，提出一种基于隔离逻辑的并行程序可靠性验证方法。通过变量的执行关系图，描述变量相关的语句及执行关系，将所需验证的程序性质逻辑式转换为变量并行语句序列的逻辑组合式，使得性质表达式与并发程序的语句相关联。根据逻辑组合式确定语句执行序列和前后件逻辑表达式，基于并发隔离逻辑的公理系统对语句执行序列进行验证，并根据验证结果对并发程序进行修改和完善。通过对银行柜台业务办理的功能模块验证结果表明该方法是有效的。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	万良	中国人民大学信息学院	37	125	6.0	8.0