摘要

针对软件演化中遇到的困难,提出利用含正、逆向依赖图指导演化进程。通过演化目标,利用错误间的因果关系,在图中将错误定位;每个演化任务对应一个错误或者多个错误形成的一条因果链;因果链上定义检查点、变更点和验证点,每次变更都应该执行测试,直到测试结果表明错误已被消除;演化结果将作为下一轮演化的基础,使多次小粒度演化能够持续进行,逐渐接近目标。实际项目应用结果表明,该方法能够保证软件演化的有效性与稳定性。

全文