Técnicas de verificación y validación para Sistemas Multi-agente

摘要

Actualmente existe la necesidad de asegurar que el producto de un desarrollo software ha sido construido correctamente y que, además, hace lo que se esperaba de él. Esta necesidad ha impulsado la investigación en distintas técnicas de verificaci╚畁 y validación. La Ingeniería del Software Orientada a Agentes no es ajena a esta problemática y ha incorporado muchos de los métodos presentes en otros paradigmas para estas tareas. Sin embargo, dadas sus diferencias conceptuales con otros paradigmas, también está promoviendo nuevas formas de realizar estas comprobaciones. Este articulo pretende dar una visión de algunas técnicas usadas en la actualidad para comprobarla satisfacción de requisitos y propiedades en sistemas multi-ageníe, con una clasificación de las mismas y ejemplos significativos.