JGenTest: Generador de Test automático para Java a través de ejecución concólica

Los casos de test unitarios son útiles para probar si la implementación de una función tiene el comportamiento esperado. Si bien no se puede garantizar al 100% la correcta implementación, los test nos dan mayor seguridad de su comportamiento, además de permitir que futuras modificaciones en la implementación mantengan el comportamiento esperado al momento de hacer los test. Sin embargo, la tarea de hacer los test manualmente es compleja y costosa, lo que lleva a muchos programadores a obviar esta tarea, lo cual no es nada recomendable. La herramienta presentada en este artículo permite generar automáticamente casos de test unitarios en el lenguaje Java garantizando cubrir todas las sentencias y todas las ramas (alcanzables) del programa. Esto se lleva a cabo utilizando la técnica conocida como ejecución concólica.Trabajos de CátedraSociedad Argentina de Informática e Investigación Operativa (SADIO

JGenTest: Generador de Test automático para Java a través de ejecución concólica

Los casos de test unitarios son útiles para probar si la implementación de una función tiene el comportamiento esperado. Si bien no se puede garantizar al 100% la correcta implementación, los test nos dan mayor seguridad de su comportamiento, además de permitir que futuras modificaciones en la implementación mantengan el comportamiento esperado al momento de hacer los test. Sin embargo, la tarea de hacer los test manualmente es compleja y costosa, lo que lleva a muchos programadores a obviar esta tarea, lo cual no es nada recomendable. La herramienta presentada en este artículo permite generar automáticamente casos de test unitarios en el lenguaje Java garantizando cubrir todas las sentencias y todas las ramas (alcanzables) del programa. Esto se lleva a cabo utilizando la técnica conocida como ejecución concólica.Trabajos de CátedraSociedad Argentina de Informática e Investigación Operativa (SADIO

Behaviour abstraction based adequacy criteria for protocol conformance testing

Los artefactos de código que tienen requerimientos no triviales con respecto al orden en el que sus métodos o procedimientos deben ser invocados son comunes y aparecen, por ejemplo, como implementaciones de APIs y objetos. El testeo de que dichos artefactos se ajusten a su protocolo esperado es un problema importante y desafiante. En esta tesis se proponen y estudian criterios de adecuación de testing de conformidad basados en cubrir una abstracción de la semántica del comportamiento esperado. Por lo tanto, los criterios son independientes tanto del lenguaje de especificación y las estructuras sintácticas usadas para describir el protocolo esperado como del lenguaje utilizado para implementarlo. En consecuencia, los resultados pueden ser de utilidad para diversos enfoques de caja negra para el testeo de conformidad de protocolos. Los resultados experimentales muestran que los criterios propuestos son buenos predictores de detección de fallas de conformidad y de criterios de cobertura estructurales clásicos como cobertura de sentencias y ramas. Además, también muestran que la división del dominio derivado de los criterios propuestos produce subdominios densos en fallas, y que al priorizar casos de test de acuerdo con los criterios propuestos se tiende a producir ordenamientos que generan una detección temprana de fallas de conformidad de protocolos.Code artefacts that have non-trivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. Testing such code artefacts to gain confidence in that they conform to their intended protocols is an important and challenging problem. In this thesis we propose and study experimentally conformance testing adequacy criteria based on covering an abstraction of the intended behavior's semantics. Thus, the criteria are independent of the specification language and structure used to describe the intended protocol and the language used to implement it. As a consequence the results may be of use to black box conformance testing approaches in general. Experimental results show that the criteria are a good predictor for fault detection for protocol conformance and for classical structural coverage criteria such as statement and branch coverage. Additionally, they also show that the division of the domain derived from the criterion produces subdomains such that most of its inputs are fault-revealing, and that prioritising test cases according to the abstraction coverage achieved tends to produce orderings that lead to earlier detection of protocol conformance failures.Fil:Czemerinski, Hernán. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina

Grafos de Bouchet : una generalización de los grafos circulares

Un grafo circular es el grafo intersección de cuerdas en un círculo. Estos han sido introducidos por Even e Itai en los '70 y muy estudiados en la literatura. Existen diferentes caracterizaciones para esta clase de grafos. Una de ellas utiliza el concepto de complementaciones locales, y fue aportada por André Bouchet en 1994. En el presente trabajo, utilizamos la idea de esta caracterización para definir una nueva clase, que generalizan a los circulares, y a los cuales llamamos Grafos de Bouchet. Probamos que estos grafos también generalizan a los grafos de intervalos, con lo que son una generalización de la unión de ambas clases; encontramos, por medio del uso de la computadora, una caracterización por 33 subgrafos prohibidos de la nueva clase; y vemos que como consecuencia de esta caracterización se obtiene un reconocimiento polinomial. Por último, mostramos que existen 396 formulaciones diferentes para el teorema de caracterización de Bouchet para grafos circulares.Fil:Czemerinski, Hernán. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina

La llegada de la computación a la Universidad de Buenos Aires

Clementina was the first computer for scientific and academic purposes to arrive in Argentina. It arrived to the country in late 1960s and was installed in the Building 1 of the campus (Ciudad Universitaria) of the University of Buenos Aires. This study analyzes the historical context in which it made its arrival both at national and university levels. It also reviews the experience of its installation, the organization that involved its use, the work done with it and the sad denouement it suffered after the 1966 coup-d'état.Clementina fue la primera computadora con fines académicos y científicos en llegar a la Argentina. Llegó al país a fines de 1960 y fue instalada en el Pabellón 1 de la Ciudad Universitaria de la Universidad de Buenos Aires. En el presente trabajo se analiza el contexto histórico en el cual se produjo su llegada, tanto a nivel nacional como universitario. Asimismo, también se repasa la experiencia de su instalación, la organización que implicó su uso, los trabajos que se realizaron con ella y el triste desenlace que sufrió luego del golpe de estado de 1966

Behaviour abstraction adequacy criteria for API call protocol testing

Code artefacts that have non-trivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. Testing such code artefacts to gain confidence that they conform to their intended protocols is an important and challenging problem. This paper proposes conformance testing adequacy criteria based on covering an abstraction of the intended behaviour's semantics. Thus, the criteria are independent of the specification language and structure used to describe the intended protocol and the language used to implement it. As a consequence, the results may be of use to black box conformance testing approaches in general. Experimental results show that the criteria are a good predictor for fault detection for protocol conformance and for classical structural coverage criteria such as statement and branch coverage. They also show that the division of the domain derived from the criterion produces subdomains such that most of its inputs are fault revealing.Fil: Czemerinski, Hernán. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Braberman, Victor Adrian. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Uchitel, Sebastian. Imperial College London; Reino Unido. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin