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

Research on the method of object-oriented based formal description technology

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

By object-oriented based formal description technology（ OOBFDT）, a new generation method of protocol test cases was proposed, which using C ＋ ＋ language as a tool for the description of the agreement that can be easily carried out formal description of the system. This loose description method can avoide the inconvenience caused by the difficulty of amending the mathematical model that the traditional descriptions rely on. Also, the method can embody the specific details of the protocol directly in the protocol model. The model will be more concrete, which generate more targeted and effective test case. Moreover, as the method is based on object-oriented technology, its conformance test cases can directly test-oriented be operated.