基于ASP的CSP并发系统验证研究

• 作者: 张超 赵岭忠 钱俊彦
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 通信顺序进程 回答集编程 LTL/CTL
• 年，卷（期）: 2012,（12）
• 所属期刊栏目: 软件工程
• 页码范围: 125-132
• 页数: 8页
• 分类号: TP311
• 字数: 10957字
• 语种: 中文

摘要

传统并发通信顺序进程(CSP)性质的验证通常使用3个不同的模型层面,从而增加了系统的复杂性和验证工具开发的难度；同时,主流的并发系统模型验证工具不支持在系统的一次运行中验证多个性质,这也降低了性质验证的效率.首先将CSP程序转换为ASP程序,然后将CSP进程并发规则和以LTL/CTL公式表示的待验证性质转换为ASP规则,从而建立了基于ASP验证CSP并发系统性质的统一框架.实验结果表明,基于ASP的CSP并发系统验证技术易于实现,在保持较高验证效率的同时,能够支持在验证软件的一次执行中验证多条LTL/CTL公式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦	桂林电子科技大学计算机科学与工程学院	86	238	9.0	10.0
2	赵岭忠	桂林电子科技大学计算机科学与工程学院	64	229	8.0	11.0
3	张超	桂林电子科技大学计算机科学与工程学院	8	33	3.0	5.0