Información de la indexación
005 Ciencia de los computadores (Programación, programas, datos de computador)Documentos en la biblioteca con la clasificación 005.14 (4)
Crear una solicitud de compra Refinar búsqueda
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 [Malasia] : 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. Idioma : Inglés (eng) Palabras clave: Pruebas de software Clasificación: 005.14 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. Tipo de medio : Computadora Summary : This is the first book on code clone analysis. To cover the broad studies of code clone analysis, this book selects past research results that are important to the progress of the field and updates them with new results and future directions. The first chapter provides an introduction for readers who are inexperienced in the foundation of code clone analysis, defines clones and related terms, and discusses the classification of clones. The chapters that follow are categorized into three main parts to present 1) major tools for code clone analysis, 2) fundamental topics such as evaluation benchmarks, clone visualization, code clone searches, and code similarities, and 3) applications to actual problems. Each chapter includes a valuable reference list that will help readers to achieve a comprehensive understanding of this diverse field and to catch up with the latest research results. Code clone analysis relies heavily on computer science theories such as pattern matching algorithms, computer language, and software metrics. Consequently, code clone analysis can be applied to a variety of real-world tasks in software development and maintenance such as bug finding and program refactoring. This book will also be useful in designing an effective curriculum that combines theory and application of code clone analysis in university software engineering courses. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Code Clone Analysis : Research, Tools, and Practices [documento electrónico] / Inoue, Katsuro, ; Roy, Chanchal K., . - 1 ed. . - Singapore [Malasia] : 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.
Idioma : Inglés (eng)
Palabras clave: Pruebas de software Clasificación: 005.14 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. Tipo de medio : Computadora Summary : This is the first book on code clone analysis. To cover the broad studies of code clone analysis, this book selects past research results that are important to the progress of the field and updates them with new results and future directions. The first chapter provides an introduction for readers who are inexperienced in the foundation of code clone analysis, defines clones and related terms, and discusses the classification of clones. The chapters that follow are categorized into three main parts to present 1) major tools for code clone analysis, 2) fundamental topics such as evaluation benchmarks, clone visualization, code clone searches, and code similarities, and 3) applications to actual problems. Each chapter includes a valuable reference list that will help readers to achieve a comprehensive understanding of this diverse field and to catch up with the latest research results. Code clone analysis relies heavily on computer science theories such as pattern matching algorithms, computer language, and software metrics. Consequently, code clone analysis can be applied to a variety of real-world tasks in software development and maintenance such as bug finding and program refactoring. This book will also be useful in designing an effective curriculum that combines theory and application of code clone analysis in university software engineering courses. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : Essential Spectrum-based Fault Localization Tipo de documento: documento electrónico Autores: Xie, Xiaoyuan, ; Xu, Baowen, Mención de edición: 1 ed. Editorial: Singapore [Malasia] : 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. Idioma : Inglés (eng) Palabras clave: Ingeniería de software Programación de computadoras Pruebas de software Gestión de software Técnicas de programación Clasificación: 005.14 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. Tipo de medio : Computadora Summary : Program debugging has always been a difficult and time-consuming task in the context of software development, where spectrum-based fault localization (SBFL) is one of the most widely studied families of techniques. While it's not particularly difficult to learn about the process and empirical performance of a particular SBFL technique from the available literature, researchers and practitioners aren't always familiar with the underlying theories. This book provides the first comprehensive guide to fundamental theories in SBFL, while also addressing some emerging challenges in this area. The theoretical framework introduced here reveals the intrinsic relations between various risk evaluation formulas, making it possible to construct a formula performance hierarchy. Further extensions of the framework provide a sufficient and necessary condition for a general maximal formula, as well as performance comparisons for hybrid SBFL methods. With regard to emerging challenges in SBFL, the book mainly covers the frequently encountered oracle problem in SBFL and introduces a metamorphic slice-based solution. In addition, it discusses the challenge of multiple-fault localization and presents cutting-edge approaches to overcoming it. SBFL is a widely studied research area with a massive amount of publications. Thus, it is essential that the software engineering community, especially those involved in program debugging, software maintenance and software quality assurance (including both newcomers and researchers who want to gain deeper insights) understand the most fundamental theories – which could also be very helpful to ensuring the healthy development of the field. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Essential Spectrum-based Fault Localization [documento electrónico] / Xie, Xiaoyuan, ; Xu, Baowen, . - 1 ed. . - Singapore [Malasia] : 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.
Idioma : Inglés (eng)
Palabras clave: Ingeniería de software Programación de computadoras Pruebas de software Gestión de software Técnicas de programación Clasificación: 005.14 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. Tipo de medio : Computadora Summary : Program debugging has always been a difficult and time-consuming task in the context of software development, where spectrum-based fault localization (SBFL) is one of the most widely studied families of techniques. While it's not particularly difficult to learn about the process and empirical performance of a particular SBFL technique from the available literature, researchers and practitioners aren't always familiar with the underlying theories. This book provides the first comprehensive guide to fundamental theories in SBFL, while also addressing some emerging challenges in this area. The theoretical framework introduced here reveals the intrinsic relations between various risk evaluation formulas, making it possible to construct a formula performance hierarchy. Further extensions of the framework provide a sufficient and necessary condition for a general maximal formula, as well as performance comparisons for hybrid SBFL methods. With regard to emerging challenges in SBFL, the book mainly covers the frequently encountered oracle problem in SBFL and introduces a metamorphic slice-based solution. In addition, it discusses the challenge of multiple-fault localization and presents cutting-edge approaches to overcoming it. SBFL is a widely studied research area with a massive amount of publications. Thus, it is essential that the software engineering community, especially those involved in program debugging, software maintenance and software quality assurance (including both newcomers and researchers who want to gain deeper insights) understand the most fundamental theories – which could also be very helpful to ensuring the healthy development of the field. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : Performance Testing : An ISTQB Certified Tester Foundation Level Specialist Certification Review Tipo de documento: documento electrónico Autores: Yorkston, Keith, 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. Idioma : Inglés (eng) Palabras clave: Computer programs Ensayo Pruebas de software Clasificación: 005.14 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. Tipo de medio : Computadora Summary : Use this book to prepare for the ISTQB® Certified Tester Foundation Level Performance Testing exam. The book has been designed to follow the ISTQB syllabus, covering all of the syllabus learning objectives, with additional reference material extending beyond the syllabus. The book covers an overall methodology for managing and conducting performance testing. Performance testing has often been considered a black art. In many organizations, perhaps an individual or a small group of technical staff or contractors is given the task of "load testing" an extended system, network, or application. Performance testing is like any other form of testing. It follows a defined test process that is similar to other test types. It utilizes a disciplined approach to the definition of requirements and user stories, the creation of test conditions, test cases, and test procedures. It establishes measurable goals against which the success or failure of the testing can be judged. It also requires (and this cannot be stressed highly enough) a definition and recognition of performance test failures. Readers will gain the knowledge with both content and practice questions to prepare them for the ISQTB Performance Testing exam. The book covers the performance test types, the performance testing methodology, and the steps to plan, create, and execute performance tests and analyze the results. You will: Understand the basic concepts of performance efficiency and performance testing Define performance risks, goals, and requirements to meet stakeholder needs and expectations Understand performance metrics and how to collect them Develop a performance test plan for achieving stated goals and requirements Conceptually design, implement, and execute basic performance tests Analyze the results of a performance test and communicate the implications to stakeholders Explain the process, rationale, results, and implications of performance testing to stakeholders Understand the categories and uses for performance tools and criteria for their selection Determine how performance testing activities align with the software life cycle . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Performance Testing : An ISTQB Certified Tester Foundation Level Specialist Certification Review [documento electrónico] / Yorkston, Keith, . - 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.
Idioma : Inglés (eng)
Palabras clave: Computer programs Ensayo Pruebas de software Clasificación: 005.14 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. Tipo de medio : Computadora Summary : Use this book to prepare for the ISTQB® Certified Tester Foundation Level Performance Testing exam. The book has been designed to follow the ISTQB syllabus, covering all of the syllabus learning objectives, with additional reference material extending beyond the syllabus. The book covers an overall methodology for managing and conducting performance testing. Performance testing has often been considered a black art. In many organizations, perhaps an individual or a small group of technical staff or contractors is given the task of "load testing" an extended system, network, or application. Performance testing is like any other form of testing. It follows a defined test process that is similar to other test types. It utilizes a disciplined approach to the definition of requirements and user stories, the creation of test conditions, test cases, and test procedures. It establishes measurable goals against which the success or failure of the testing can be judged. It also requires (and this cannot be stressed highly enough) a definition and recognition of performance test failures. Readers will gain the knowledge with both content and practice questions to prepare them for the ISQTB Performance Testing exam. The book covers the performance test types, the performance testing methodology, and the steps to plan, create, and execute performance tests and analyze the results. You will: Understand the basic concepts of performance efficiency and performance testing Define performance risks, goals, and requirements to meet stakeholder needs and expectations Understand performance metrics and how to collect them Develop a performance test plan for achieving stated goals and requirements Conceptually design, implement, and execute basic performance tests Analyze the results of a performance test and communicate the implications to stakeholders Explain the process, rationale, results, and implications of performance testing to stakeholders Understand the categories and uses for performance tools and criteria for their selection Determine how performance testing activities align with the software life cycle . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : Software Engineering and Formal Methods : 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. Idioma : Inglés (eng) 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 Clasificación: 005.14 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems. The Chapters "Multi-Purpose Syntax Definition with SDF3", "FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Engineering and Formal Methods : 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.
Idioma : Inglés (eng)
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 Clasificación: 005.14 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems. The Chapters "Multi-Purpose Syntax Definition with SDF3", "FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
