No abstract

Resumen: Los Sistemas Expertos (SE) usualmente generan árboles de inferencia de tamaño considerable, antes de mostrar los resultados relativos al comportamiento de sistemas dinámicos complejos a los usuarios interesados en dicho comportamiento. Estos árboles de inferencia, a pesar de incluir información que podría contribuir a comprender mejor los resultados mostrados por un SE, no son presentados a los usuarios ya que pueden ser complejos de comprender y pueden agrandar considerablemente (e innecesariamente) las salidas del SE. Sin embargo, estos árboles de inferencia contienen importante información acerca de cómo un SE infiere y concluye respecto al comportamiento del sistemas dinámicos complejos, y además pueden ayudar a crear confianza en los resultados aportados por el SE. Este documento describe un método para crear explicaciones basadas en las conclusiones parciales por las que transita un SE, para concluir a cerca del comportamiento de un sistemas dinámicos complejos. Las entradas a nuestro método son: el árbol de inferencia y el conocimiento del dominio representado mediante una Ontología. La salida del método es un plan de generación de presentación que usa patrones de discurso y estructuras discursivas (plantillas de texto y directivas gráficas), este conocimiento también es representado usando una Ontología. El documento describe también la arquitectura del software para generar las explicaciones y los casos de prueba diseñados en el contexto de un caso de estudio en el dominio de sistemas dinámicos complejos.Palabras-clave: Sistemas Expertos; Sistemas de data-to-text; Representación de conocimiento en sistemas dinámicos; Ontologías; Sistemas Inteligentes de generación de presentaciones multimedia.A method for generating explanations of results of an Expert System, using Speech Patterns and Ontology Abstract: Expert systems (ES) usually generate extensive inference-trees before showing to users a definitive result related to a complex dynamic system (DS)

Hoy día con el desarrollo y el avance de la tecnología los productos software son parte de nuestra vida cotidiana. Estos productos constituyen un soporte para casi todas nuestras tareas. Estas tareas pueden tener un desempeño fundamental o no, y van desde ejecutar la conducción de un avión a través de un piloto automático hasta posibilitar el funcionamiento de los dispensadores de billetes o cajeros automáticos. Por la criticidad de los procesos en los que ellos se encuentran relacionado, es necesario que se cumplan dos características fundamentales; la primera, que tengan un nivel de calidad aceptado y la segunda, que sean productos seguros.La seguridad en los softwares es un atributo no funcional que influye directamente en la calidad del producto. Realizar pruebas a los requisitos no funcionales  para constatar su desempeño, tal y como se hace con los requisitos funcionales es una tarea tediosa. Como alternativa a este problema se han desarrollado herramientas que de forma automática o semiautomática realizan pruebas de diferente índole a los sistemas. El objetivo de este trabajo es identificar las herramientas software existentes para realizar pruebas relacionadas con la seguridad. Para cumplir este objetivo se realiza un estudio del estado del arte de las herramientas para realizar pruebas de seguridad desde el 2010 a la fecha.

No abstract