面向增量软件开发环境的实用算法研究