【作者】 高秀恒； 钱红兵；

【Author】 GAO Xiu-heng QIAN Hong-bing Software Engineering Institute, Beijing University of Aeronautics and Astronautics, Beijing 100083, China

【机构】 北京航空航天大学软件工程研究所；

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

【Abstract】 Software inspection is an important software quality assurance method, the inspection process for the inspection model is much related with the effects of the implementation of inspections. Traditional software inspection process model is usually mechanical and passive. It can not be implemented automatic control when the process environmental factors change, This article introduces the Agent into software inspection process to resolve the mechanical problems of software inspection process, proposes an improved Agent-enhanced software inspection process model, and presents a formal model semantic description and an example analysis.更多还原