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

摘要：

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

关键词： TTCN-3 逆向工程 测试系统 静态分析 元模型

作者: 柳永坡 吴际 常创业 裴秋红 刘冬懿 阎长顺

作者单位: 北京工业大学软件学院,100124;北京航空航天大学计算机学院,100191 北京航空航天大学计算机学院,100191 北京工业大学软件学院,100124

会议类型: 国内会议

会议名称: 2010年全国信息技术与应用学术会议

会议地点: 北京

会议语种:中文

页码: 111-117

在线出版日期: 2010-11-10（万方平台首次上网日期，不代表论文的发表时间）