Verification and validation of knowledge-based systems with formal specifications

Pedro Meseguer, Alun D. Preece
1995 Knowledge engineering review (Print)  
This paper examines how formal speci cation techniques can support the veri cation and validation (V&V) of knowledge-based systems. Formal speci cation techniques provide levels of description which support both veri cation and validation, and V&V techniques feed back to assist the development of the speci cations. Developing a formal speci cation for a system requires the prior construction of a conceptual model for the intended system. Many elements of this conceptual model can be e ectively
more » ... sed to support V&V. Using these elements, the V&V process becomes deeper and more elaborate and it produces results of a better quality compared with the V&V activities which can be performed on systems developed without conceptual models. However, we note that there are concerns in using formal speci cation techniques for V&V, not least being the e ort involved in creating the speci cations.
doi:10.1017/s0269888900007542 fatcat:sojafaus4vadfon2j62dzzmu6e