基于对象引用关系的Java程序内存行为分析方法

本文提出一种基于对象引用关系的Java程序内存行为分析方法.与传统的通过内存消耗的大小来确定程序中数据结构的重要性并分析相关内存行为的方法不同,本文方法同时考虑内存消耗和内存支配两个因素来确定一个数据结构在程序内存行为中的重要性,通过研究数据结构之间在内存使用上的支配关系和对数据结构进行引用分析,得到程序中重要的内存行为.实验结果表明该方法能有效地分析程序的内存行为,且对比其它方法能提供更加准确的内存行为分析结果.     

基于子路径扩展的不可达路径检测方法

不可达路径是造成软件测试资源消耗的一个重要方面.在路径测试之前,检测程序中的不可达路径可以有效节约软件测试资源.提出了一种基于子路径扩展的不可达路径静态检测方法.该方法首先生成程序的子路径集,将路径的可达性问题转换为不等式组的求解问题.使用约束求解器判断子路径的可达性,可以分为:可达子路径,不可达子路径和无法判定三个部分,并对后面两部分的子路径扩展出的路径做二次可达性检测,最终获得程序中所有路径的可达性信息.可达性检测工作主要在子路径集上进行,因此有效地解决了路径爆炸问题.实验结果表明本文方法可以准确有效地检测出程序中的不可达路径.     

P2P文件污染及其检测方法研究

为了更好地理解对等网络中的文件污染,介绍了文件污染的背景和分类,分析了文件污染的传播途径及检测方法,描述了用户行为对污染的影响,结合节点信誉系统和对象信誉系统阐述了反污染机制,并对各种方案进行了比较。     

一种基于异常传播分析的依赖性分析方法

在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程序依赖性的影响而造成分析结果不准确的不足,又有助于实现基于异常传播的程序依赖性分析的自动处理.最后,对这种依赖性分析方法在程序切片中的应用作了进一步的探讨.     

基于系统漏洞的攻击场景构建

在分析基于攻击前提和后果关联方法的基础上，提出了一种基于系统漏洞和报警相关度的攻击场景构建方法。它不仅能够利用系统漏洞信息验证报警的可靠性，排除误报，而且能够通过报警之间的相关度关联多跳攻击过程。实验结果表明，此方法能够有效地减少误报和漏报，从而有助于构建更加真实完整的攻击场景。     

酪蛋白的转谷氨酰胺酶酶促糖基化交联条件及产物性质

在氨基葡萄糖存在的条件下,利用转谷氨酰胺酶(EC2.3.2.13)对酪蛋白进行糖基化交联修饰。以修饰酪蛋白产物中氨基葡萄糖的导入量为指标,采用单因素试验分别考察反应体系pH值、酶添加量、反应温度和时间对修饰反应的影响。优化后的适宜修饰条件为:酪蛋白底物质量浓度为30g/L,氨基葡萄糖添加量为3mol(每kg酪蛋白中)、pH值为7.5、酶添加量为10kU(每kg酪蛋白中)、反应温度为37℃、时间4h。与酪蛋白和转谷氨酰胺酶促交联的酪蛋白相比,修饰酪蛋白产物的乳化性质和胶凝性质得到显著改善,并且体外消化性能未受到影响,表明转谷氨酰胺酶催化的糖基化交联修饰可以用于改善酪蛋白的这些功能性质。     

基于变异测试的错误定位研究进展

随着软件规模和复杂度的不断提高，软件的质量问题成为了关注的焦点，如何高效地找出软件中的错误成为一个亟需解决的问题。错误定位是软件质量保证的重要途径之一，近年来已经成为软件工程中一个非常重要的研究课题。基于变异测试的错误定位通过比较原程序和对应变异体的差异来计算每条语句的怀疑度，再由怀疑度大小进行排序，程序员根据排序逐个检查找出错误语句。汇总近7年（2012-2018）国内外的基于变异测试的错误定位技术的研究成果，介绍了错误定位的基本方法，介绍基于变异测试的错误定位思想，从变异算子、变异体及等价变异体3个方面对已有的研究工作进行分类归纳和总结，探讨了基于变异测试的错误定位未来可能的研究方向、机遇和挑战。     

基于数据流准则的测试用例生成方法

针对基于控制流的测试充分性准则易错失面向对象程序中的状态依赖关系,提出一种基于数据流准则的测试用例自动生成方法。通过数据流分析获取待覆盖的目标定义使用对,利用遗传算法自动生成覆盖定义使用对的测试用例,根据适应度函数指导测试用例的进化。将该方法与基于分支覆盖和语句覆盖的方法相比较。实验结果表明, 与其他方法相比,该方法可以检测出更多的变异体,适应度函数的设计降低了进化代数。