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

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