论文部分内容阅读
为了更高效地产生协议测试集 ,论文提出了一种基于外部行为描述模型、综合数据流和控制流测试的协议测试集自动生成方法及其实现。外部行为描述模型只对协议的外部行为进行描述 ,强调变迁之间的数据依赖性。该方法引入唯一输入 /输出序列算法和描述协议不确定性的适应性输入/输出树的概念 ,运用协议约束集控制协议空间搜索的复杂度。并采用测试集的验证技术分析测试集的覆盖能力。该方法已运用于 OSI协议和 TCP/ IP RFC协议的测试生成 ,大大提高了软件开发和协议实现的质量及进度。
In order to generate the protocol test set more efficiently, this paper presents an automatic generation method and implementation of the protocol test set based on the external behavior description model, integrated data flow and control flow test. The external behavioral description model describes only the external behavior of the protocol, emphasizing the data dependency between changes. This method introduces a unique input / output sequence algorithm and the concept of adaptive input / output tree to describe the protocol uncertainty. The protocol constraint set is used to control the complexity of protocol space search. And use the test set of verification techniques to analyze the coverage of the test set. This method has been applied to the test generation of OSI protocol and TCP / IP RFC protocol, greatly improving the quality and progress of software development and protocol implementation.