基于面向对象方法的形式描述技术OOBFDT研究 |
| |
引用本文: | 张艳,张平.基于面向对象方法的形式描述技术OOBFDT研究[J].山东建筑工程学院学报,2008,23(1):38-43. |
| |
作者姓名: | 张艳 张平 |
| |
作者单位: | [1]山东建筑大学理学院,山东济南250101 [2]济南市槐荫区党校,山东济南250022 |
| |
摘 要: | 采用基于面向对象的形式描述技术(OOBFDT),提出了一种基于面向对象技术的协议测试例生成新方法。它采用C++语言作为协议说明的描述工具,可以方便地对系统进行形式化描述,这种松散的描述方法可以避免传统的形式描述技术由于其依赖的数学模型的不易修改性所带来的不便。同时,该方法将具体的协议细节直接体现在协议的模型中,使协议模型更具体,从而更能有的放矢地生成有效的测试用例。而且,由于该方法基于面向对象技术,其一致性测试例集直接面向测试操作。
|
关 键 词: | 一致性测试 OOBFDT 协议 测试例 面向对象 C++ |
本文献已被 维普 等数据库收录! |
|