一种接口自动机的组合精化检验方法

• 作者: 文艳军 王戟 齐治昌
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 接口自动机 精化检验 组合可达性分析 状态空间爆炸问题
• 年，卷（期）: 2006,（4）
• 所属期刊栏目: 研究与实现
• 页码范围: 115-118
• 页数: 4页
• 分类号: TP311
• 字数: 3882字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2006.04.038

摘要

接口自动机是一个用来描述软构件接口的时态行为的形式模型,传统的简单组合精化检验规则由于没有考虑到环境对子任务的影响而使其实际应用受到较大限制.本文提出了一种对该规则的改进方法,以弥补上述缺陷.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王戟	国防科技大学计算机学院	41	880	14.0	29.0
2	齐治昌	国防科技大学计算机学院	42	432	12.0	19.0
3	文艳军	国防科技大学计算机学院	11	26	4.0	4.0