Evaluating and comparing fault-based testing strategies for general Boolean specifications: A series of experiments

A great amount of fault-based testing strategies have been proposed to generate test cases for detecting certain types of faults in Boolean specifications. However, most of the previous studies on these strategies were focused on the Boolean expressions in the disjunctive normal form (DNF), even the irredundant DNF (IDNF)-little work has been conducted to comprehensively investigate their performance on general Boolean specifications. In this study, we conducted a series of experiments to evaluate and compare 18 fault-based testing strategies using over 4000 randomly generated fault-seeded Boolean expressions. In the experiments, a testing strategy is regarded as effective and efficient if it can detect most of the seeded faults using a small number of test cases. Our experimental results show that if a testing strategy is highly effective and efficient when testing the Boolean expressions in the IDNF, it also shows high effectiveness and efficiency on general Boolean expressions. It is found that one family of fault-based testing strategies, namely MUMCUT, normally deliver the best performance among all the 18 strategies. Our study provides an in-depth understanding and insight of fault-based testing for general Boolean expressions

Framework de evaluación para modelos formales de patrones de diseño

Patrones de diseño es una herramienta de soporte como técnica de reuso y anticipación al cambio. Su descripción es habitualmente bastante informal no permitiendo concluir cuándo y cómo un patrón es aplicado correctamente. En esto el uso de lenguajes formales ayuda a su descripción. En este trabajo se resumen las limitaciones de los lenguajes informales y los requisitos de un lenguaje formal para la adecuada descripción y utilización de patrones de diseño. Dadas las diferentes opciones en modelos formales actuales, se conformó un Framework de Evaluación compuesto de dos partes. La primera incluye 14 características para analizar los lenguajes formales utilizados para desarrollar los Modelos de Patrones OO. La segunda se compone de 10 aspectos referentes a los modelos propiamente dichos. El objetivo de este Framework es adquirir mayor conocimiento de las ventajas y falencias de los modelos formales y así comprender aún mejor los elementos constituyentes requeridos en un lenguaje formal para una apropiada representación de patrones. Los diseñadores pueden beneficiarse con un proceso de Diseño basado en Patrones soportado por una descripción precisa de patrones con la flexibilidad adicional de herramientas automáticas basadas en los modelos formales desarrollados.Eje: Ingeniería de Software y Bases de Datos (ISBD)Red de Universidades con Carreras en Informática (RedUNCI

Framework de evaluación para modelos formales de patrones de diseño

Patrones de diseño es una herramienta de soporte como técnica de reuso y anticipación al cambio. Su descripción es habitualmente bastante informal no permitiendo concluir cuándo y cómo un patrón es aplicado correctamente. En esto el uso de lenguajes formales ayuda a su descripción. En este trabajo se resumen las limitaciones de los lenguajes informales y los requisitos de un lenguaje formal para la adecuada descripción y utilización de patrones de diseño. Dadas las diferentes opciones en modelos formales actuales, se conformó un Framework de Evaluación compuesto de dos partes. La primera incluye 14 características para analizar los lenguajes formales utilizados para desarrollar los Modelos de Patrones OO. La segunda se compone de 10 aspectos referentes a los modelos propiamente dichos. El objetivo de este Framework es adquirir mayor conocimiento de las ventajas y falencias de los modelos formales y así comprender aún mejor los elementos constituyentes requeridos en un lenguaje formal para una apropiada representación de patrones. Los diseñadores pueden beneficiarse con un proceso de Diseño basado en Patrones soportado por una descripción precisa de patrones con la flexibilidad adicional de herramientas automáticas basadas en los modelos formales desarrollados.Eje: Ingeniería de Software y Bases de Datos (ISBD)Red de Universidades con Carreras en Informática (RedUNCI

Languages of games and play: A systematic mapping study

Digital games are a powerful means for creating enticing, beautiful, educational, and often highly addictive interactive experiences that impact the lives of billions of players worldwide. We explore what informs the design and construction of good games to learn how to speed-up game development. In particular, we study to what extent languages, notations, patterns, and tools, can offer experts theoretical foundations, systematic techniques, and practical solutions they need to raise their productivity and improve the quality of games and play. Despite the growing number of publications on this topic there is currently no overview describing the state-of-the-art that relates research areas, goals, and applications. As a result, efforts and successes are often one-off, lessons learned go overlooked, language reuse remains minimal, and opportunities for collaboration and synergy are lost. We present a systematic map that identifies relevant publications and gives an overview of research areas and publication venues. In addition, we categorize research perspectives along common objectives, techniques, and approaches, illustrated by summaries of selected languages. Finally, we distill challenges and opportunities for future research and development

Interoperability of DRM Systems

The study deals with the cutting-edge subject of electronic contracts which have the potential to automatically process and control the access rights for (electronic) goods. It shows the design and the implementation of a rights expression exchange framework. The framework allows DRM systems to exchange electronic contracts, formulated in a standardized rights expression language, and thus provides DRM system interoperability. The work introduces a methodology for the standardized composition, exchange and processing of electronic contracts or rights expressions