基于变异技术的第三方构件安全性测试系统

针对基于变异技术的第三方COM(component object model)构件安全性异常的自动检测问题,设计实现了一个第三方构件安全性测试原型系统TCSTS(third-party component security testing system).TCSTS系统的主要功能模块有构件接口分析模块、参数变异测试模块、条件变异测试模块、状态变异测试模块和安全分析模块.构件接口分析模块能分析得到被测试构件的接口方法和参数信息;在参数变异测试模块中,采用参数变异测试用例生成算法生成参数变异值集合进行变异测试;在条件变异测试模块中,生成违背前置条件的测试用例并结合后置条件检测条件语句中是否存在安全漏洞;在状态变异测试模块中,基于行为冲突算法和条件冲突算法变异可扩展有穷状态机以生成冲突序列,进而参照变异前序列进行安全性测试,最终通过安全分析模块生成测试报告.试验结果表明:所设计实现的TCSTS原型系统具有自动化程度高、操作简单以及测试效果较好的特点;TCSTS对异常序列的检测率达到了20%以上,表明TCSTS能够较好地对构件中状态相关的安全漏洞进行检测.

论语言使用的初始模因

初始模因存在两种基本状态:稳定状态与变异状态。稳定状态是语言使用的基础,具有经济性与规约性;变异状态是初始模因在语言使用中由于主客观因素的影响而发生变异,产生语言使用的模糊性与语言美。同时,稳定状态与变异状态之间存在着一种张力。以此为视角,语言使用的研究既包含初始模因的稳定状态,也包含变异状态,以及从稳定状态到变异状态之间的各种状态。因此,语言使用的本质问题的考察与探讨,既要揭示它的初始模因,又要考察初始模因的各种状态。

超声多普勒评价非返性喉返神经三例

非返性喉返神经（non—recurrent laryngeal nelwe，NRLN）是少见的喉返神经解剖变异，以右侧多见，发乍牢仅0．3％～1．6％，其损伤率可高达25％，手术前对NRLN变异状态的小确坪估是降低于术中神经损伤风险的关键，