分布式网络性能测试系统的设计与实现

网络性能测试是网络测试中的一个重要部分。介绍了一种分布式测试和集中控制相结合的网络性能测试模型,并对该模型的测试目标、测试方法、体系结构及实现机制进行了深入的分析和讨论,在此基础上进行了系统的设计和实现。实验结果表明,系统具有良好的可扩展性,适合对大规模的网络进行性能测试。

RTP协议多用户组管理测试

针对流媒体类分布式传输协议,提出采用抽象状态机结合桩函数的一致性测试模型,实现了RTP协议中多用户组管理功能的一致性测试。在多节点参与的情况下,分析测试覆盖率的统计结果,检验了微软流媒体传输被测协议实现的稳定性。

自动化白盒模糊测试技术研究

软件的安全性分析和漏洞检测是软件工程和信息安全领域的一个研究热点和难点问题。采用程序分析的方法对软件进行安全性测试,日益受到广泛的关注和重视。首先概述了有关软件安全性测试的基本概念;随后,详细介绍了3种基于程序分析的安全性测试方法:模糊测试、符号执行和自动化白盒模糊测试,并比较了这3种方法的优缺点;最后,给出了自动化白盒模糊测试的分布式模型。

Biotic element analysis of reptiles of China： A test of vicariance model

In this contribution, I identify possible biotic elements of reptiles of China using biotic element analysis. I test whether the vicariance model could significantly shape reptilian current distribution patterns. My results show that dispersal is prevailing for reptiles in China. There are four major biotic elements in reptilian distribution, which are East Xizang, Yunnan- Guizhou Plateau, Taiwan and Hainan, respectively. The test of distributional areas is significantly more clustered than expected by chance, while in another test that closely related species are homogeneously distributed across biotic elements cannot be rejected. Therefore I argued that vicariance might be one of the key processes in patterning reptilian distribution in China. In addition, I develop an improved biotic element analysis in biogeographic studies, by performing biotic element analysis in an iterative man- ner in order to diagnose more geographically restricted elements until no noise components found. The importance of antecedent selection of distributional data for the subsequent analysis is also discussed. Besides, my study indicates that biodiversity hotspots are not fully overlapped with areas of endemism for reptilians in East Asia