并行程序验证的调度策略

doi:10.3778/j.issn.1002-8331.2009.11.012

计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (11): 39-41.DOI: 10.3778/j.issn.1002-8331.2009.11.012

并行程序验证的调度策略

肖增良¹,何锫¹,康立山²

1.长沙理工大学计算机与通信工程学院，长沙 410076
2.武汉大学软件工程国家重点实验室，武汉 430072

收稿日期:2008-11-28 修回日期:2009-02-04 出版日期:2009-04-11 发布日期:2009-04-11
通讯作者: 肖增良

Parallel scheduling strategy for program verification

XIAO Zeng-liang¹,HE Pei¹,KANG Li-shan²

1.Institute of Computer and Communication Engineering，Changsha University of Science and Technology，Changsha 410076，China
2.State Key Laboratory of Software Engineering，Wuhan University，Wuhan 430072，China

Received:2008-11-28 Revised:2009-02-04 Online:2009-04-11 Published:2009-04-11
Contact: XIAO Zeng-liang

摘要/Abstract

摘要： 针对形式化程序验证中的并行调度问题，提出了基于依赖集的算法。通过引入依赖图和依赖集概念，以形式化方式描述程序语句间的依赖关系，然后给出了从语法分析树构造依赖图和依赖集的算法；最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明，该方法具有较高的并行效率。

关键词: 程序验证, 并行调度, 语法分析树, 依赖图, 依赖集

Abstract: A algorithm based on the dependency set is proposed for parallel scheduling problem in the formal program verification.In order to formalize the dependence relations of statements，dependency graph and dependency set is introduced，then construction algorithm of dependency graph and dependency set by parser tree is put forward.Finally，a parallel scheduling algorithm is designed，and applies it to program verification system.The result shows that this method has more parallel efficiency.

Key words: program verification, parallel scheduling, parser tree, dependency graph, dependency set

肖增良¹,何锫¹,康立山². 并行程序验证的调度策略[J]. 计算机工程与应用, 2009, 45(11): 39-41.

XIAO Zeng-liang¹,HE Pei¹,KANG Li-shan². Parallel scheduling strategy for program verification[J]. Computer Engineering and Applications, 2009, 45(11): 39-41.

[1]	戴超凡，李沛，王文倩. 最大依赖集在不一致数据检测中的应用[J]. 计算机工程与应用, 2019, 55(15): 89-95.
[2]	曾维新1，赵翔1，2，冯滔1，唐九阳1，2. 面向领域的命名实体消歧方法改进研究[J]. 计算机工程与应用, 2018, 54(17): 126-134.
[3]	薛利兴，左德承，张展. 面向崩溃预测的寄存器软错误故障传播分析[J]. 计算机工程与应用, 2017, 53(20): 1-7.
[4]	刘澜，袁道华，童星，王钟磊. 一种针对可信计算平台的分布式可信验证机制[J]. 计算机工程与应用, 2012, 48(2): 99-102.
[5]	金瑛浩^1，2，孙立镌¹. 语义特征建模系统中参数范围计算的研究[J]. 计算机工程与应用, 2011, 47(5): 13-16.
[6]	孙立镌，王海龙，孙大松. 特征模型直接操作技术的研究[J]. 计算机工程与应用, 2011, 47(12): 146-148.
[7]	王倩，苏小红，马培军. 有语法错误的编程题自动评分方法研究——用局部语法分析和采分点匹配实现[J]. 计算机工程与应用, 2010, 46(17): 239-242.
[8]	熊德兰,程菊明,田胜利. 基于HowNet的句子褒贬倾向性研究[J]. 计算机工程与应用, 2008, 44(22): 143-145.
[9]	朱炎蔡国永. 基于ISDG的面向对象程序分片技术研究[J]. 计算机工程与应用, 2007, 43(4期): 85-89.
[10]	高雪瑶,孙立镌. 语义特征造型中特征修改优先准则的研究[J]. 计算机工程与应用, 2007, 43(29): 36-39.
[11]	孙立镌，高雪瑶. 协同语义特征造型系统的研究[J]. 计算机工程与应用, 2007, 43(15): 50-52.

并行程序验证的调度策略

Parallel scheduling strategy for program verification

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 11

编辑推荐

Metrics