Buscar
Mostrando ítems 1-10 de 78
Depuração do sistema de apoio à decisão para utilização no agronegócio
(Universidade Federal de Santa MariaBrasilUFSMCentro de Tecnologia, 2010-12-07)
Debugging is one of the fundamental activities in the development of any program, your goal is to correct erroneous behaviors. The observation of defects can be during a test or after the software is released. It is, ...
Apoio a localização de defeitos durante a execução de sequências de teste para aplicações Android
(Universidade Tecnológica Federal do ParanáCornelio ProcopioBrasilEngenharia da ComputaçãoUTFPR, 2015)
The increasing number of Android smartphones and tablets favors the development of new technologies and Software Engineering tools that assists the development of new applications. Through the testing phase, faults are ...
A Hardware Approach To Detect, Expose And Tolerate High Level Data Races
(IEEENew York, 2016)
Mutación de expresiones de navegación para testing y reparación
(2018-11)
Evaluar la calidad de un conjunto de tests con respecto a su capacidad de detectar potenciales bugs
representa un área muy importante en la ingeniería de software. Métricas indirectas para la medición
de este potencial ...
gdbOF: A Debugging Tool for OpenFOAM
(Elsevier, 2012-01-05)
OpenFOAM® libraries are a great contribution to CFD community and a powerful way to create solvers and other tools. Nevertheless in this creative process a deep knowledge is needed concerning with classes structure, for ...
TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
(2010)
En las pruebas de sistemas de tiempo real, y en particular los que tienen comportamiento estocástico, es muy importante que éstas se ejecuten con la mayor probabilidad posible. El
objetivo de este trabajo final es implementar ...
Análisis de binarios usando ejecución simbólica
(2018)
En el presente trabajo se estudia, analiza y contribuye en el uso de técnicas y herramientas modernas para el análisis de programas ejecutables binarios. Hacemos énfasis en el uso de ejecución simbólica, mencionando algunas ...
Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
(2022-02)
La confiabilidad del software es una preocupación central en el proceso de construcción de software, y el análisis de la confiabilidad requiere una especificación del comportamiento esperado del software. Desafortunadamente, ...
Mejoras al testing exhaustivo acotado
(2015-03)
El Testing consiste en ejecutar una pieza de software con diferentes entradas para luego chequear si el resultado obtenido se corresponde con el resultado esperado. Se estima que esta actividad ocupa más de la mitad del ...
Addressing high dimensionality and lack of feature models in testing of software product lines
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)