基于CHAM模型的LTS状态树生成算法 |
| |
引用本文: | 叶俊民,王振宇,曹瀚,赵恒.基于CHAM模型的LTS状态树生成算法[J].哈尔滨工程大学学报,2003,24(3):287-291. |
| |
作者姓名: | 叶俊民 王振宇 曹瀚 赵恒 |
| |
作者单位: | 1. 哈尔滨工程大学,计算机科学与技术学院,黑龙江,哈尔滨,150001;华中师范大学计算机科学系,湖北,武汉,430079;武汉大学计算机软件工程国家重点实验室,湖北,武汉,430072 2. 哈尔滨工程大学,计算机科学与技术学院,黑龙江,哈尔滨,150001;武汉大学计算机软件工程国家重点实验室,湖北,武汉,430072 3. 哈尔滨工程大学,计算机科学与技术学院,黑龙江,哈尔滨,150001 |
| |
基金项目: | 武汉大学软件工程国家重点实验室开放基金资助项目(SKL(4)020). |
| |
摘 要: | 标号迁移系统(1abelled transition system,LTS)是形式化一致性测试的重要研究方向,在软件体系结构(software architectures,SA)测试计划生成的研究中,需要从化学抽象机(chemical abstract machine,CHAM)模型中生成LTS,以表达出软件体系结构的动态特征,因此,LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题,基于CHAM模型,提出了通用LTS状态树生成算法,并使用实例验证了该算法。
|
关 键 词: | 化学抽象模型 软件体系结构 LTS生成算法 体系结构测试 |
文章编号: | 1006-7043(2003)03-0287-05 |
修稿时间: | 2002年5月8日 |
Generation algorithm of LTS state tree based on CHAM model |
| |
Abstract: | |
| |
Keywords: | CHAM specification LTS generation algorithm software architecture testing |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|