An integrative model of expert system verification and validation

摘要

Many small to medium size expert systems are developed without written specifications or a development methodology. This often results in verification and validation being performed in an ad hoc manner toward the end of the development process. This paper presents a development model, based on Boehm's spiral model, that integrates verification and validation into development stages. The model is loose and adaptable, and suited to small system development.