基于CHAM模型的LTS状态树生成算法

• 作者: 叶俊民 曹瀚 王振宇 赵恒
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: 化学抽象模型 软件体系结构 LTS生成算法 体系结构测试
• 年，卷（期）: 2003,（3）
• 页码范围: 287-291
• 页数: 5页
• 分类号: TP312
• 字数: 4913字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-7043.2003.03.012

摘要

标号迁移系统(labelled transition system ,LTS)是形式化一致性测试的重要研究方向.在软件体系结构(software architectures,SA)测试计划生成的研究中,需要从化学抽象机(chemical abstract machine,CHAM)模型中生成LTS,以表达出软件体系结构的动态特征.因此,LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题.基于CHAM模型,提出了通用LTS状态树生成算法,并使用实例验证了该算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王振宇	哈尔滨工程大学计算机科学与技术学院	245	2596	25.0	37.0
3	叶俊民	哈尔滨工程大学计算机科学与技术学院	10	79	6.0	8.0
12	曹瀚	哈尔滨工程大学计算机科学与技术学院	7	205	7.0	7.0