基于依赖分析的并行化验证策略
Parallel Verification Strategy Based on Dependence Analysis作者机构：长沙理工大学计算机与通信工程学院长沙410076 武汉大学软件工程国家重点实验室武汉430072
出 版 物：《计算机工程》 (Computer Engineering)
年 卷 期：2010年第36卷第12期
页 面：64-65,68页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：武汉大学软件工程国家重点实验室基金资助项目(SKLSE20080701)
摘 要：提高验证过程的并行性是提高程序验证效率的重要手段之一。为此,提出一种基于控制结构依赖分析的方法来组织程序的并行验证,在验证过程中,并行验证完的控制结构直接触发支持控制结构,无须等待其他操作,从而可以提高程序验证的并行性。此外,还给出提取控制结构依赖图算法和验证过程调度算法,并用实验证明其正确性和高效性。
维普期刊数据库
同方期刊数据库