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

来源：计算机测量与控制杂志2016年第5期北京时间：

作者：张坤,叶俊民,王嫱,赵丽娴,陈曙

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

关键词：活性顺序图;形式化验证;软件开发过程

基金资助：国家科技支撑计划项目(2015BAK33B00)；教育部规划基金项目(15YJA880095)；中央高校基本科研业务费专项资金科研项目(CCNU15GF003)。