Quantity of items: 1135
CRISTIÁ, MAXIMILIANO. The Test Template Framework (TTF) is a model-based testing method based on Z specifications. The TTF hasbeen automated to a great extent in the Fastest tool. One of thecentral concepts within the TTF and Fastest is that of testingtactic. Testing tactics allow users to partition the input spaceof Z operations into so-called test conditions. So far, Fastest´susers have to decide which testing tactics, and with whichparameters, should be applied to each operation. In this paperwe introduce the concept of testing strategy as the automaticapplication of testing tactics. Testing strategies also implementtesters knowledge making it simpler for users to use Fastest.Furthermore, users can combine strategies and tactics to get themost from Fastest. Other production. 2013
CRISTIÁ, MAXIMILIANO. The Test Template Framework (TTF) is a model-based test-ing method for the Z notation, originally proposed for unit testing. In this paper we analyze how the TTF can be extended to integration testing. Since integration testing is related to software design, we decided to investigate the relation between the TTF and a key element of David Parnas´ design theory, namely the uses relation. We propose how a Z specification should be structured for the TTF to be able to generate integration tests by following the uses relation. The problem of stub generation is also explored. Finally, we discuss the kinds of errors that these integration tests can discover. Other production. 2013
CRISTIÁ, MAXIMILIANO; FRYDMAN, CLAUDIA. The Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) is the most important research institutionin Argentina. It depends directly from Argentina?s President butits internal authorities are elected by around 6,000 researchesacross the country. During 2011 the CONICET developed aweb voting system to replace the traditional mail-based system.In 2012 CONICET conducted the first web election with nocomplains from candidates and voters. Before moving the systeminto production, CONICET asked the authors to conduct afunctional and security assessment of it. In this paper wepresent the verification process conducted to assess the functionalcorrectness of the voting system. This process is the result ofintegrating automatic and semi-automatic verification activitiesfrom formal proof to code inspection and model-based testing. Other production. 2013
FRYDMAN, CLAUDIA; GIAMBIASI, NORBERT; CRISTIÁ, MAXIMILIANO; MARRO, GUILLERMO; CAMINER, GUILLERMO; KAUFMANN, GUILLERMO. Asesorar a itesoft (empresa francesa) en medidas de seguridad informática relacionadas con aplicaciones SaaS.Desarrollar y/o adaptar software que implemente las medidas de seguridad recomendadas. Technological service. 2013
CRISTIÁ, MAXIMILIANO; FRYDMAN, CLAUDIA; KAUFMANN, GUILLERMO; GIAMBIASI, NORBERT; RUÍZ, ESTEBAN. Evaluar herramientas de software para reconocimiento de caracteres de dominio público.Seleccionar una de ellas para eventualmente reemplazar la que actualmente utiliza la empresa itesoft (Francia).Mejorar la herramienta seleccionada con el objetivo de alcanzar el mismo nivel de reconocimiento que la que actualmente utiliza la empresa. Adaptar la herramienta seleccionada para ser utilizada desde dispositivos móviles. Technological service. 2013
VILLALBA, P; ORNELLA, L; CAPPA, E.P.; ACUÑA, CV; GARCÍA, M.N.; MARTÍNEZ, MC; SURENCISKI, M; OBERSCHELP, J; HARRAND, L.; LÓPEZ, J; PATHAUER, P; TAPIA, E.; FARIA, D.; GRATTAPAGLIA, D.; MARCÓ, M.; HOPP, E.; MARCUCCI POLTRI, S. Efecto de las variaciones técnicas de SNPS (ILLUMINA GGGT) en Eucalyptus para selección genómica. Article. 2012