基于面向对象方法的形式描述技术OOBFDT研究

• 作者: 张平 张艳
• 来源期刊: 山东建筑大学学报
• 学科: 工学
• 关键词: 一致性测试 OOBFDT 协议 测试例 面向对象 C++
• 年，卷（期）: 2008,（1）
• 所属期刊栏目: 研究论文
• 页码范围: 38-43
• 页数: 6页
• 分类号: TP311
• 字数: 5421字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-7644.2008.01.009

摘要

采用基于面向对象的形式描述技术(OOBFDT),提出了一种基于面向对象技术的协议测试例生成新方法.它采用C++语言作为协议说明的描述工具,可以方便地对系统进行形式化描述,这种松散的描述方法可以避免传统的形式描述技术由于其依赖的数学模型的不易修改性所带来的不便.同时,该方法将具体的协议细节直接体现在协议的模型中,使协议模型更具体,从而更能有的放矢地生成有效的测试用例.而且,由于该方法基于面向对象技术,其一致性测试例集直接面向测试操作.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张艳	山东建筑大学理学院	6	12	2.0	3.0