基于构造类别代数的数据流和控制流相结合的协议测试

如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题,本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法,给出了在其上的测试用例生成算法,有限状态机模型到构造类别代数模型的转换算法,并且给出了在一个实际的路由协议RIP的测试中的应用例子.

一种通信协议测试序列生成的新方法

本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较 ,得出两种方法在一些方面是等效的 ,但在处理状态较多的协议时 ,这种方法有一定的优点。

基于构造类别代数的变异分析

在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中,设计了应用于构造类别代数的几类变异算子,并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.

利用构造类别代数的协议安全测试方法

针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计了变异算子,然后对一致性公式集进行变异分析,从而得到安全变异项集.将变异项转换为实际的安全测试例集,并描述由此进行的协议安全测试步骤.测试实践表明,所提方法能与一致性测试良好地结合,在一定程度上覆盖已知安全漏洞,并具有发现潜在问题的能力.

面向变异分析的协议安全测试方法

在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安全测试例.同比研究表明,采用基于错误模型的变异分析方法,可以有效解决协议安全测试中忽视协议数据流处理过程、错误集合无限和缺少结果判断机制等问题,限定协议可能存在的错误集合,有利于测试的量化和评估,能够更有针对性地进行测试例构造和测试结果判断,提高测试能力.

Rijndael型列混合变换的分析与研究

文章对Rijndael型列混合变换的代数结构、扩散性、不动点进行了深入研究,指出了Rijn dael算法列混合变换加解密不同的根本原因,并分析了Rijndael算法列混合变换进行优化实现的本质。

协议脆弱性分析及其测试研究

网络安全问题已引起人们的广泛关注,通信协议设计和实现的健壮与否对于网络安全至关重要。使用扩展了的构造类别代数描述协议规范,基于该描述,从一致性和完备性角度对协议可能存在的漏洞进行分析;系统地给出了一种针对潜在漏洞进行脆弱性测试的测试方法,使用类似于协议测试的方法测试实现系统能否抵御针对该漏洞的攻击。实现了一个分布式的协议脆弱性测试平台KD-TclRunner,对国内外著名厂商的通信设备进行脆弱性测试。

实对称型上的Schur子空间及应用

本文构作了Schur型多项式,将其作为研究实对称型的基础.研究了具有零点(1,1,...,1)的实对称型形成的子空间,即Schur子空间.建立了这种子空间的构造性理论,并应用于计算(构造)实代数几何中比较关心的对称型正性判定问题,以及给出一些特殊类型的Hilbert第17问题的构造解.