基于TTCN-3测试系统的逆向模型发现框架的设计

• 作者: 刘冬懿 吴际 常创业 柳永坡 裴秋红 阎长顺
• 来源期刊: 中国电子商情·通信市场
• 学科: 工学
• 关键词: TTCN-3 逆向工程 测试系统 静态分析 元模型
• 年，卷（期）: 2010,（5）
• 页码范围: 111-117
• 分类号: TP3
• 字数: 4370字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-6675-B.2010.05.014

摘要

对基于TTCN-3的测试系统进行逆向分析,可以帮助测试人员从更高层次上把握测试系统的设计,同时可以检验测试设计和测试实现之间的一致性,这些工作对于测试系统的评估、维护以及扩展都有重大的意义和重要的价值.本文首先简要介绍了逆向工程和基于TTCN-3测试系统的逆向工程的特点,设计了逆向模型发现的系统框架,并详细介绍了静态分析器的设计和实现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	柳永坡	北京工业大学软件学院	25	156	7.0	11.0
5	吴际	北京航空航天大学计算机学院	50	643	10.0	24.0
6	常创业	北京航空航天大学计算机学院	2	6	1.0	2.0
7	裴秋红	北京航空航天大学计算机学院	1	1	1.0	1.0
8	刘冬懿	北京航空航天大学计算机学院	6	30	2.0	5.0
9	阎长顺	北京工业大学软件学院	3	1	1.0	1.0