协议一致性测试研究进展

协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术人手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。     

PX词条“争夺战”背后的中国少年夺

正3月30日,广东省茂名市街头反PX项目(即二甲苯化工项目)游行引发关注。同一时间,百度百科也上演PX词条"争夺战",以清华大学化工系学生为主的学院派,昼夜捍卫P"X低毒"属性,不断更正P"X剧毒""、巨毒"说明。无论是转基因食品还是环境安全,现代社会的不少社会矛盾都与专业性的科学问题产生了关联。不同的人有不同的价值立场和利益诉求,但科学真相只有一个。在有人恶意连续篡改的情况下,清华大学学子站在客观公正的立场捍卫科学、守护真理、阐明真相,对于化解冲突、达成共识有着非同寻常的意义。     

输入验证漏洞检测中的疑点标记和传播方法研究

研究基于静态污点分析技术可用于输入验证漏洞检测的疑点分析方法以及疑点标记和疑点传播路径问题,定义疑点源、疑点传播路径概念和疑点属性的4个状态,制定疑点属性状态间的转换规则,设计疑点源标记与疑点传播路径获取算法.实验结果表明,该方法能够较准确地标记程序中的疑点源并获取其在程序中的传播路径.     

关于开展李贽与卢梭文艺思想比较研究的现状综述

李贽和卢梭关于自然人性的文艺思想观点,都对后世文艺思想的发展产生深远影响,所以开展李贽与卢梭文艺思想比较研究非常必要。目前关于李贽与卢梭文艺思想的研究现状分为三个方面,一是李贽文艺思想研究概况,二是卢梭文艺思想研究概况,三是李贽与卢梭文艺思想比较研究概况。