-
题名一种基于活性顺序图的运行时验证研究
被引量：1
- 1
-
-
作者
叶俊民
张坤
叶竹君
陈盼
陈曙
-
机构
华中师范大学计算机学院
华中师范大学国家物理学人才培养基地
-
出处
《计算机科学》
CSCD
北大核心
2016年第8期137-141,164,共6页
-
基金
国家科技支撑计划项目(2015BAK33B00)
中央高校基本科研业务费专项资金科研项目(CCNU15GF003)
教育部人文社会科学研究规划基金(15YJA880095)资助
-
文摘
运行时验证是一种轻量级的形式化验证方法,使用可视化的需求规约描述语言建模需求规约场景是运行时验证领域的研究热点。针对目前基于活性顺序图的运行时验证方法中容易产生冗余性质、二值语义的验证结果不准确、基于Maude工具引擎的重写逻辑验证算法效率较低等问题,提出一种基于活性顺序图的运行时验证的改进方法,以支持现有的运行时验证技术。实验表明,改进方法验证结果准确,且验证过程开销较小。
-
关键词
活性顺序图
线性时序逻辑
重写逻辑
运行时验证
-
Keywords
Live sequence chart, Linear temporal logic,Rewriting logic, Runtime verification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
