Indexaxión 005.14 : Pruebas de software
005 Ciencia de los computadores (Programación, programas, datos de computador)Documentos en la biblioteca con la clasificación 005.14 (4)
Hacer una sugerencia Refinar búsqueda18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings / de Boer, Frank ; Cerone, Antonio
Título : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings Tipo de documento: documento electrónico Autores: de Boer, Frank, ; Cerone, Antonio, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XIV, 325 p. 639 ilustraciones, 63 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-58768-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Inteligencia artificial Ordenadores Computadoras Propósitos especiales Pruebas de software Hardware de la computadora Sistemas de propósito especial y basados en aplicaciones Índice Dewey: 005.14 Pruebas de software Resumen: Este libro constituye las actas arbitradas de la 18.ª Conferencia Internacional sobre Ingeniería de Software y Métodos Formales, SEFM 2020, celebrada en Ámsterdam, Países Bajos, en septiembre de 2020. Los 16 artículos completos presentados junto con 1 charla magistral y un resumen de una charla magistral fueron cuidadosamente revisado y seleccionado entre 58 presentaciones. Los artículos cubren una gran variedad de temas, que incluyen pruebas, verificación formal, análisis de programas, verificación en tiempo de ejecución, metaprogramación y desarrollo y evolución de software. Los artículos abordan una amplia gama de sistemas, como los sistemas de IoT, la interacción entre humanos y robots en escenarios de atención médica, la navegación de sistemas marítimos autónomos y los sistemas operativos. Los capítulos "Definición de sintaxis multipropósito con SDF3", "FRed: verificación de modelo condicional mediante reductores y carpetas" y "Verificación de diferencias con condiciones" están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. Nota de contenido: Testing -- Formal verification -- Program analysis -- Runtime verification -- Meta-programming and software development -- Evolution. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings [documento electrónico] / de Boer, Frank, ; Cerone, Antonio, . - 1 ed. . - [s.l.] : Springer, 2020 . - XIV, 325 p. 639 ilustraciones, 63 ilustraciones en color.
ISBN : 978-3-030-58768-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Inteligencia artificial Ordenadores Computadoras Propósitos especiales Pruebas de software Hardware de la computadora Sistemas de propósito especial y basados en aplicaciones Índice Dewey: 005.14 Pruebas de software Resumen: Este libro constituye las actas arbitradas de la 18.ª Conferencia Internacional sobre Ingeniería de Software y Métodos Formales, SEFM 2020, celebrada en Ámsterdam, Países Bajos, en septiembre de 2020. Los 16 artículos completos presentados junto con 1 charla magistral y un resumen de una charla magistral fueron cuidadosamente revisado y seleccionado entre 58 presentaciones. Los artículos cubren una gran variedad de temas, que incluyen pruebas, verificación formal, análisis de programas, verificación en tiempo de ejecución, metaprogramación y desarrollo y evolución de software. Los artículos abordan una amplia gama de sistemas, como los sistemas de IoT, la interacción entre humanos y robots en escenarios de atención médica, la navegación de sistemas marítimos autónomos y los sistemas operativos. Los capítulos "Definición de sintaxis multipropósito con SDF3", "FRed: verificación de modelo condicional mediante reductores y carpetas" y "Verificación de diferencias con condiciones" están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. Nota de contenido: Testing -- Formal verification -- Program analysis -- Runtime verification -- Meta-programming and software development -- Evolution. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Code Clone Analysis : Research, Tools, and Practices Tipo de documento: documento electrónico Autores: Inoue, Katsuro, ; Roy, Chanchal K., Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2021 Número de páginas: X, 236 p. 57 ilustraciones, 21 ilustraciones en color. ISBN/ISSN/DL: 978-981-1619274-- Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Pruebas de software Índice Dewey: 005.14 Pruebas de software Resumen: Este es el primer libro sobre análisis de clones de código. Para cubrir los estudios amplios del análisis de clones de código, este libro selecciona resultados de investigaciones pasadas que son importantes para el progreso del campo y los actualiza con nuevos resultados y direcciones futuras. El primer capítulo proporciona una introducción para lectores sin experiencia en los fundamentos del análisis de clones de código, define clones y términos relacionados y analiza la clasificación de clones. Los capítulos que siguen se clasifican en tres partes principales para presentar 1) herramientas principales para el análisis de clones de código, 2) temas fundamentales como puntos de referencia de evaluación, visualización de clones, búsquedas de clones de código y similitudes de códigos, y 3) aplicaciones a problemas reales. Cada capítulo incluye una valiosa lista de referencias que ayudará a los lectores a lograr una comprensión integral de este campo diverso y a ponerse al día con los últimos resultados de las investigaciones. El análisis de clones de código se basa en gran medida en teorías de la informática, como los algoritmos de coincidencia de patrones, el lenguaje informático y las métricas de software. En consecuencia, el análisis de clonación de código se puede aplicar a una variedad de tareas del mundo real en el desarrollo y mantenimiento de software, como la búsqueda de errores y la refactorización de programas. Este libro también será útil para diseñar un plan de estudios eficaz que combine la teoría y la aplicación del análisis de clones de código en cursos universitarios de ingeniería de software. . Nota de contenido: Chapter 1: Introduction to Code Clone Analysis -- Chapter 2: CCFinderX -- Chapter 3: NiCad -- Chapter 4: SourcererCC -- Chapter 5: Oreo: Scaling Clone Detection Beyond Near-miss Clones -- Chapter 6: CCLearner -- Chapter 7: BigCloneBench -- Chapter 8: Visualization of Clones -- Chapter 9: Source Code Clone Search -- Chapter 10: Code Similarity in Clone Detection -- Chapter 11: Is Late Propagation a Harmful Code Clone Evolutionary Pattern? An Empirical Study -- Chapter 12: Summary on the Stability of Code Clones and Current Research Trends -- Chapter 13: Identifying Refactoring-oriented Clones and Inferring How They Can Be Merged -- Chapter 14:Clone Evolution and Management -- Chapter 15: Sometimes, cloning is a sound design decision! -- Chapter 16: IWSC(D): From Research to Practice. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Code Clone Analysis : Research, Tools, and Practices [documento electrónico] / Inoue, Katsuro, ; Roy, Chanchal K., . - 1 ed. . - Singapore [Malasya] : Springer, 2021 . - X, 236 p. 57 ilustraciones, 21 ilustraciones en color.
ISBN : 978-981-1619274--
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Pruebas de software Índice Dewey: 005.14 Pruebas de software Resumen: Este es el primer libro sobre análisis de clones de código. Para cubrir los estudios amplios del análisis de clones de código, este libro selecciona resultados de investigaciones pasadas que son importantes para el progreso del campo y los actualiza con nuevos resultados y direcciones futuras. El primer capítulo proporciona una introducción para lectores sin experiencia en los fundamentos del análisis de clones de código, define clones y términos relacionados y analiza la clasificación de clones. Los capítulos que siguen se clasifican en tres partes principales para presentar 1) herramientas principales para el análisis de clones de código, 2) temas fundamentales como puntos de referencia de evaluación, visualización de clones, búsquedas de clones de código y similitudes de códigos, y 3) aplicaciones a problemas reales. Cada capítulo incluye una valiosa lista de referencias que ayudará a los lectores a lograr una comprensión integral de este campo diverso y a ponerse al día con los últimos resultados de las investigaciones. El análisis de clones de código se basa en gran medida en teorías de la informática, como los algoritmos de coincidencia de patrones, el lenguaje informático y las métricas de software. En consecuencia, el análisis de clonación de código se puede aplicar a una variedad de tareas del mundo real en el desarrollo y mantenimiento de software, como la búsqueda de errores y la refactorización de programas. Este libro también será útil para diseñar un plan de estudios eficaz que combine la teoría y la aplicación del análisis de clones de código en cursos universitarios de ingeniería de software. . Nota de contenido: Chapter 1: Introduction to Code Clone Analysis -- Chapter 2: CCFinderX -- Chapter 3: NiCad -- Chapter 4: SourcererCC -- Chapter 5: Oreo: Scaling Clone Detection Beyond Near-miss Clones -- Chapter 6: CCLearner -- Chapter 7: BigCloneBench -- Chapter 8: Visualization of Clones -- Chapter 9: Source Code Clone Search -- Chapter 10: Code Similarity in Clone Detection -- Chapter 11: Is Late Propagation a Harmful Code Clone Evolutionary Pattern? An Empirical Study -- Chapter 12: Summary on the Stability of Code Clones and Current Research Trends -- Chapter 13: Identifying Refactoring-oriented Clones and Inferring How They Can Be Merged -- Chapter 14:Clone Evolution and Management -- Chapter 15: Sometimes, cloning is a sound design decision! -- Chapter 16: IWSC(D): From Research to Practice. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Essential Spectrum-based Fault Localization Tipo de documento: documento electrónico Autores: Xie, Xiaoyuan, Autor ; Xu, Baowen, Autor Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2021 Número de páginas: XII, 172 p. 17 ilustraciones ISBN/ISSN/DL: 978-981-336-179-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software Programación de computadoras Pruebas de software Gestión de software Técnicas de programación Índice Dewey: 005.14 Pruebas de software Resumen: La depuración de programas siempre ha sido una tarea difícil y que requiere mucho tiempo en el contexto del desarrollo de software, donde la localización de fallas basada en el espectro (SBFL) es una de las familias de técnicas más estudiadas. Si bien no es particularmente difícil aprender sobre el proceso y el desempeño empírico de una técnica SBFL particular a partir de la literatura disponible, los investigadores y profesionales no siempre están familiarizados con las teorías subyacentes. Este libro proporciona la primera guía completa de las teorías fundamentales en SBFL, al mismo tiempo que aborda algunos desafíos emergentes en esta área. El marco teórico presentado aquí revela las relaciones intrínsecas entre varias fórmulas de evaluación de riesgos, lo que permite construir una jerarquía de desempeño de las fórmulas. Ampliaciones adicionales del marco proporcionan una condición suficiente y necesaria para una fórmula máxima general, así como comparaciones de rendimiento para métodos SBFL híbridos. Con respecto a los desafíos emergentes en SBFL, el libro cubre principalmente el problema de Oracle que se encuentra con frecuencia en SBFL e introduce una solución basada en cortes metamórficos. Además, analiza el desafío de la localización de fallas múltiples y presenta enfoques de vanguardia para superarlo. SBFL es un área de investigación ampliamente estudiada con una gran cantidad de publicaciones. Por lo tanto, es esencial que la comunidad de ingeniería de software, especialmente aquellos involucrados en la depuración de programas, el mantenimiento del software y el aseguramiento de la calidad del software (incluidos tanto los recién llegados como los investigadores que desean obtener conocimientos más profundos) comprendan las teorías más fundamentales, que también podrían ser muy útiles para velando por el sano desarrollo del campo. Nota de contenido: Chapter 1. Introduction -- Chapter 2. A Theoretical Framework for Spectrum-based Fault Localization -- Chapter 3. Theoretical Comparison Among Risk Evaluation Formulas -- Chapter 4. On the Maximality of Spectrum-based Fault Localization -- Chapter 5. A Generalized Theoretical Framework for Hybrid Spectrum-based Fault Localization -- Chapter 6. Practicality of the Theoretical Frameworks -- Chapter 7. Tackling the Oracle Problem in Spectrum-based Fault Localization -- Chapter 8. Spectrum-based Fault Localization for Multiple Faults -- Chapter 9. Conclusion. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Essential Spectrum-based Fault Localization [documento electrónico] / Xie, Xiaoyuan, Autor ; Xu, Baowen, Autor . - 1 ed. . - Singapore [Malasya] : Springer, 2021 . - XII, 172 p. 17 ilustraciones.
ISBN : 978-981-336-179-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ingeniería de software Programación de computadoras Pruebas de software Gestión de software Técnicas de programación Índice Dewey: 005.14 Pruebas de software Resumen: La depuración de programas siempre ha sido una tarea difícil y que requiere mucho tiempo en el contexto del desarrollo de software, donde la localización de fallas basada en el espectro (SBFL) es una de las familias de técnicas más estudiadas. Si bien no es particularmente difícil aprender sobre el proceso y el desempeño empírico de una técnica SBFL particular a partir de la literatura disponible, los investigadores y profesionales no siempre están familiarizados con las teorías subyacentes. Este libro proporciona la primera guía completa de las teorías fundamentales en SBFL, al mismo tiempo que aborda algunos desafíos emergentes en esta área. El marco teórico presentado aquí revela las relaciones intrínsecas entre varias fórmulas de evaluación de riesgos, lo que permite construir una jerarquía de desempeño de las fórmulas. Ampliaciones adicionales del marco proporcionan una condición suficiente y necesaria para una fórmula máxima general, así como comparaciones de rendimiento para métodos SBFL híbridos. Con respecto a los desafíos emergentes en SBFL, el libro cubre principalmente el problema de Oracle que se encuentra con frecuencia en SBFL e introduce una solución basada en cortes metamórficos. Además, analiza el desafío de la localización de fallas múltiples y presenta enfoques de vanguardia para superarlo. SBFL es un área de investigación ampliamente estudiada con una gran cantidad de publicaciones. Por lo tanto, es esencial que la comunidad de ingeniería de software, especialmente aquellos involucrados en la depuración de programas, el mantenimiento del software y el aseguramiento de la calidad del software (incluidos tanto los recién llegados como los investigadores que desean obtener conocimientos más profundos) comprendan las teorías más fundamentales, que también podrían ser muy útiles para velando por el sano desarrollo del campo. Nota de contenido: Chapter 1. Introduction -- Chapter 2. A Theoretical Framework for Spectrum-based Fault Localization -- Chapter 3. Theoretical Comparison Among Risk Evaluation Formulas -- Chapter 4. On the Maximality of Spectrum-based Fault Localization -- Chapter 5. A Generalized Theoretical Framework for Hybrid Spectrum-based Fault Localization -- Chapter 6. Practicality of the Theoretical Frameworks -- Chapter 7. Tackling the Oracle Problem in Spectrum-based Fault Localization -- Chapter 8. Spectrum-based Fault Localization for Multiple Faults -- Chapter 9. Conclusion. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Performance Testing : An ISTQB Certified Tester Foundation Level Specialist Certification Review Tipo de documento: documento electrónico Autores: Yorkston, Keith, Autor Mención de edición: 1 ed. Editorial: Berkeley, CA : Apress Fecha de publicación: 2021 Número de páginas: XXII, 394 p. 114 ilustraciones ISBN/ISSN/DL: 978-1-4842-7255-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Computer programs Ensayo Pruebas de software Índice Dewey: 005.14 Pruebas de software Resumen: Utilice este libro para prepararse para el examen de prueba de rendimiento de nivel básico de probador certificado ISTQB®. El libro ha sido diseñado para seguir el programa de estudios ISTQB, cubriendo todos los objetivos de aprendizaje del programa de estudios, con material de referencia adicional que se extiende más allá del programa de estudios. El libro cubre una metodología general para gestionar y realizar pruebas de rendimiento. Las pruebas de rendimiento a menudo se han considerado un arte negro. En muchas organizaciones, tal vez a un individuo o un pequeño grupo de personal técnico o contratistas se le asigna la tarea de "probar la carga" de un sistema, red o aplicación extendida. Las pruebas de rendimiento son como cualquier otra forma de prueba. Sigue un proceso de prueba definido que es similar a otros tipos de pruebas. Utiliza un enfoque disciplinado para la definición de requisitos e historias de usuarios, la creación de condiciones de prueba, casos de prueba y procedimientos de prueba. Establece objetivos mensurables con los que se puede juzgar el éxito o el fracaso de las pruebas. También requiere (y esto nunca se insistirá lo suficiente) una definición y reconocimiento de las fallas en las pruebas de desempeño. Los lectores obtendrán conocimientos con preguntas de contenido y de práctica para prepararlos para el examen ISQTB Performance Testing. El libro cubre los tipos de pruebas de rendimiento, la metodología de pruebas de rendimiento y los pasos para planificar, crear y ejecutar pruebas de rendimiento y analizar los resultados. Usted: Comprenderá los conceptos básicos de eficiencia del desempeño y pruebas de desempeño Definirá los riesgos, objetivos y requisitos de desempeño para satisfacer las necesidades y expectativas de las partes interesadas Comprenderá las métricas de desempeño y cómo recopilarlas Desarrollará un plan de pruebas de desempeño para lograr las metas y requisitos establecidos Diseñará e implementará conceptualmente y ejecutar pruebas de desempeño básicas Analizar los resultados de una prueba de desempeño y comunicar las implicaciones a las partes interesadas Explicar el proceso, la lógica, los resultados y las implicaciones de las pruebas de desempeño a las partes interesadas Comprender las categorías y usos de las herramientas de desempeño y los criterios para su selección Determinar cómo funciona el desempeño Las actividades de prueba se alinean con el ciclo de vida del software. Nota de contenido: Introduction -- Chapter 1. The Basic Concepts of Performance Testing -- Chapter 2. Performance Measurement Fundamentals -- Chapter 3. Performance Testing in the Software Lifecycle -- Chapter 4. Performance Testing Tasks -- Chapter 5. Tools -- Chapter 6. References -- Chapter 7. Question Answers. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Performance Testing : An ISTQB Certified Tester Foundation Level Specialist Certification Review [documento electrónico] / Yorkston, Keith, Autor . - 1 ed. . - Berkeley, CA : Apress, 2021 . - XXII, 394 p. 114 ilustraciones.
ISBN : 978-1-4842-7255-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Computer programs Ensayo Pruebas de software Índice Dewey: 005.14 Pruebas de software Resumen: Utilice este libro para prepararse para el examen de prueba de rendimiento de nivel básico de probador certificado ISTQB®. El libro ha sido diseñado para seguir el programa de estudios ISTQB, cubriendo todos los objetivos de aprendizaje del programa de estudios, con material de referencia adicional que se extiende más allá del programa de estudios. El libro cubre una metodología general para gestionar y realizar pruebas de rendimiento. Las pruebas de rendimiento a menudo se han considerado un arte negro. En muchas organizaciones, tal vez a un individuo o un pequeño grupo de personal técnico o contratistas se le asigna la tarea de "probar la carga" de un sistema, red o aplicación extendida. Las pruebas de rendimiento son como cualquier otra forma de prueba. Sigue un proceso de prueba definido que es similar a otros tipos de pruebas. Utiliza un enfoque disciplinado para la definición de requisitos e historias de usuarios, la creación de condiciones de prueba, casos de prueba y procedimientos de prueba. Establece objetivos mensurables con los que se puede juzgar el éxito o el fracaso de las pruebas. También requiere (y esto nunca se insistirá lo suficiente) una definición y reconocimiento de las fallas en las pruebas de desempeño. Los lectores obtendrán conocimientos con preguntas de contenido y de práctica para prepararlos para el examen ISQTB Performance Testing. El libro cubre los tipos de pruebas de rendimiento, la metodología de pruebas de rendimiento y los pasos para planificar, crear y ejecutar pruebas de rendimiento y analizar los resultados. Usted: Comprenderá los conceptos básicos de eficiencia del desempeño y pruebas de desempeño Definirá los riesgos, objetivos y requisitos de desempeño para satisfacer las necesidades y expectativas de las partes interesadas Comprenderá las métricas de desempeño y cómo recopilarlas Desarrollará un plan de pruebas de desempeño para lograr las metas y requisitos establecidos Diseñará e implementará conceptualmente y ejecutar pruebas de desempeño básicas Analizar los resultados de una prueba de desempeño y comunicar las implicaciones a las partes interesadas Explicar el proceso, la lógica, los resultados y las implicaciones de las pruebas de desempeño a las partes interesadas Comprender las categorías y usos de las herramientas de desempeño y los criterios para su selección Determinar cómo funciona el desempeño Las actividades de prueba se alinean con el ciclo de vida del software. Nota de contenido: Introduction -- Chapter 1. The Basic Concepts of Performance Testing -- Chapter 2. Performance Measurement Fundamentals -- Chapter 3. Performance Testing in the Software Lifecycle -- Chapter 4. Performance Testing Tasks -- Chapter 5. Tools -- Chapter 6. References -- Chapter 7. Question Answers. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
