简介：软件测试是提高软件质量和可靠性的重要手段。从是否运行程序的角度来讲，测试分为静态测试和动态测试，代码检查属于静态测试的范围。本文首先讨论了传统软件测试方法的缺点和局限性，进而提出了代码自动检测的方法，随后给出了此类方法可检测到的故障类型，具体给出了程序静态分析技术和方法研究，依据该方法进行了软件测试系统的设计与开发，最后给出了实验结果和对比分析，并进一步明确了下一步的研究方向。
简介：如何选取训练样本使得SVM达到更好的效果是机器学习中的一个难题。本文提出一种改进AP聚类算法，通过二分法不断扫描偏向参数P空间，得到最优的偏向参数P，以期得到更准确的聚类效果，从而选取更高质量的训练样本，使SVM达到更好的分类效果。实验结果显示与传统的SVM及AP—SVM分类器相比，本文的BAP—SVM能够得到更高质量的训练样本，从而得到更好的分类效果。
简介：在企业内部有许多异构工作流程,它们具有一定的通用性,但没有统一的方式来设计或管理。我们迫切希望能有一个通用的工作流工具,它可以共享资源并适应异构工作流程。考虑到项目特点以及企业需求,我们提出了一个基于Web的可扩展的工作流模型。此外,我们结合了系统结构和功能的例子分析和阐述了这个新模型。
基于控制流图的代码自动测试方法研究
基于改进AP-SVM算法的网络业务流分类
一个基于Web的可扩展工作流工具
