TCBV:一种构件时序行为建模与相容性验证工具

• 作者: 周恩光 张振领 李舟军 贾仰理
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 实时构件系统 时序行为 形式化方法 建模 相容性验证工具
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 软件工程
• 页码范围: 143-147
• 分类号: TP311
• 字数: 5993字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.10.031

摘要

利用形式化方法对复杂实时构件系统的时序行为进行建模与验证对于提高安全攸关实时构件系统的正确性、可靠性与安全性具有重要意义.介绍了基于时间行为协议的构件时序行为的形式化建模和相容性验证方法,给出了时间行为协议建模与相容性验证工具TCBV的系统架构与功能模块.TCBV应用方便,能够实现实时构件时序行为模型的图形化表示,并可对复杂交互行为的相容性进行自动验证.结合应用实例,介绍了如何利用TCBV对复杂实时构件系统的时序行为进行建模和验证.最后,将TCBV与其它相关工具进行了比较.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李舟军	北京航空航天大学计算机学院	136	2221	23.0	43.0
2	贾仰理	聊城大学计算机学院	13	77	5.0	8.0
3	张振领	聊城大学计算机学院	14	52	5.0	6.0
4	周恩光	北京航空航天大学计算机学院	2	32	1.0	2.0