期刊名称:REICIS. Revista Española de Innovación, Calidad e Ingeniería del Software
电子版ISSN:1885-4486
出版年度:2006
卷号:2
期号:1
页码:24-35
语种:Spanish
出版社:Asociación de Técnicos de Informática
摘要:El número de casos de prueba necesarios para probar un programa software es infinito, por lo que es imposible conseguir un programa totalmente probado, siendo además el proceso de prueba muy costoso. Por estos motivos las técnicas para la generación automática de casos de prueba tratan de encontrar de forma eficiente un conjunto pequeño de casos de prueba que permitan cumplir un determinado criterio de suficiencia. En este artículo se presenta un método basado en Búsqueda Dispersa que permite generar automáticamente casos de prueba para obtener cobertura de ramas. Además se muestran los resultados comparativos del método basado en Búsqueda Dispersa y de un método basado en Búsqueda Tabú
其他摘要:The test process is very expensive and the number of test cases needed to test a program is infinite, therefore it is impossible to obtain a fully tested program. For this reason, the techniques for the automatic generation of test cases try to efficiently find a small set of test cases that allow fulfilling an adequacy criterion. A method based on Scatter Search that automatically generates test cases to obtain branch coverage is presented in this article. Besides we show the results we have obtained compared with a method based on Tabu Search
关键词:pruebas de software; automatización de la generación de casos de prueba; cobertura de ramas; técnicas de búsqueda metaheurísticas; búsqueda dispersa