针对现有众包系统不能有效地控制众包交互过程中工作者的活跃积极性和任务完成质量的问题，提出了一种基于活跃度的工作者信誉模型来实现众包平台的质量控制。该模型改进了平均信誉模型，从工作者活跃度和历史信誉值的角度提出了活跃因子和历史因子的概念。首先根据众包工作者最近30 d内参与众包活动的天数计算工作者的活跃因子；然后根据历史因子计算众包工作者的历史信誉值；最后根据计算出来的活跃因子和历史信誉值计算基于活跃度的工作者信誉值，以衡量众包工作者的工作能力。理论分析和测试实验结果表明：与平均信誉模型相比，根据基于活跃度的工作者信誉模型选取的众包工作者在任务完成质量上提高了4.95%，在任务完成时间上减少了25.33%；与基于证据理论信任模型相比，在任务完成质量上提高了6.63%，在任务完成时间上减少了25.11%。实验结果表明，基于活跃度的工作者信誉模型在实际众包项目中能够有效提高众包任务的完成质量，减少众包任务的完成时间。

Android系统是目前最受欢迎的开放手机操作系统，然而高度的开放性也引来了许多问题，资源泄漏就是其中普遍存在的一个。对于Android系统出现的资源泄漏以及没有基于该漏洞的基准测试集被提出的问题，构造出了一套针对Android资源泄漏的基准测试集ResLeakBench。首先，参考Android官方文档以及观察大量的真实Android应用，整理出了Android程序中使用的资源操作以及它们常用的使用场景。然后，根据整理的信息自主构造了35个基准测试程序；另外，收集了35个资源使用相关的真实开源程序作为基准测试程序来保证测试集的实用性。最后，利用ResLeakBench对资源泄漏检测工具Relda2以及资源泄漏修复工具RelFix进行了有效性评测，发现了Relda2以及RelFix工具存在的问题。实验结果表明ResLeakBench针对资源泄漏问题是一套实用的基准测试集。

介绍了静态分析的相关背景知识，对Java程序中数组越界和空指针错误的常见表现形式进行了归类，并通过实验评估了现有的Java静态分析工具功能，指出了其在跨过程分析中的不足，并对如何改进进行了讨论。