论文部分内容阅读
软件审查是软件质量的重要保证手段,审查过程模型对审查实施的效果有着重要的影响,传统的软件审查过程模型一般是机械的、被动的,当过程环境因素发生变化时无法实施自动控制,本文将Agent引入到软件审查过程中来解决软件审查过程中的机械性问题,提出了一种改进的基于Agent增强的软件审查过程模型,并给出了模型的形式化语义描述以及实例分析。