Frías, MarceloHomovc, FedericoPintos, EstebanDe Santi, Matías2018-02-012018-02-012014http://ri.itba.edu.ar/handle/123456789/1044"El testing de software es una de las tecnologías más utilizadas en el análisis y valida-ción de sistemas. El mismo consiste en ejecutar el sistema desarrollado sobre inputs particulares, y verificar que los outputs producidos se correspondan con lo esperado. La generación automática de inputs para testeo de software es un área de investigación y desarrollo muy activa, con conferencias de primer nivel que dedican sesiones a la misma (por ejemplo ICST –International Conference on Software Testing-, ICSE -International Conference on Software Engineering-, ASE –Automated Software Engineering-, lo hacen). En el marco del testeo de software existen diversos criterios de coberturas de código que sirven para determinar la calidad de un conjunto de inputs de testeo. Por ejemplo, la cobertura de sentencias requiere que cada sentencia del programa sea ejecutada al menos una vez por alg ́un test. La herramienta FAJITA permite al usuario elegir un criterio de cobertura y llevarlo a cabo. Actualmente FAJITA permite utilizar los criterios de cobertura de sentencias, de condiciones y de objetivos, pero existen otros que a ́un no son soportados. El objetivo de este proyecto es entonces extender el portfolio de criterios de cobertura ofrecidos por dicha herramienta."esSOFTWAREVALIDACION DE SOFTWAREVERIFICACION DE SOFTWAREProyecto final de Grado