基于活性顺序图的形式化验证方法及工具研究

• 作者: 叶俊民 张坤 王嫱 赵丽娴 陈曙
• 来源期刊: 计算机测量与控制
• 关键词: 活性顺序图 形式化验证 软件开发过程
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 试验与评价技术
• 页码范围: 274-278
• 页数: 5页
• 分类号: TP393
• 语种: 中文
• DOI: 10.16526/j.cnki.11-4762/tp.2016.05.076

摘要

近年来,形式化验证方法在软件开发过程的作用越来越大;如何充分利用形式化验证方法提高软件系统的可靠性已成为软件开发者及使用者主要关注的问题;总结了近年来基于活性顺序图的形式化验证方法的研究进展,首先介绍活性顺序图的语言及其表达能力与复杂性,然后深入分析现有的基于活性顺序图的形式化验证的关键技术及其典型应用,最后实现一种基于活性顺序图的运行时验证工具,实验证明使用本验证工具进行形式化验证的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶俊民	华中师范大学计算机学院	85	454	11.0	16.0
2	陈曙	华中师范大学计算机学院	25	93	5.0	8.0
3	张坤	华中师范大学计算机学院	13	12	2.0	3.0
4	赵丽娴	华中师范大学计算机学院	2	1	1.0	1.0
5	王嫱	华中师范大学计算机学院	2	0	0.0	0.0