Lenguajes y Sistemas Informáticos

URI permanente para esta comunidadhttps://hdl.handle.net/11441/11391

Examinar

Examinando Lenguajes y Sistemas Informáticos por Agencia financiadora "Australian Research Council"

Seleccione resultados tecleando las primeras letras
Mostrando 1 - 2 de 2
  • Miniatura
    Acceso AbiertoPonencia
    Metamorphic Testing 20 Years Later: A Hands-on Introduction
    (ACM: Association for Computing Machinery, 2018) Segura Rueda, Sergio; Zhou, Zhi Quan; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Economía y Competitividad (MINECO). España; Junta de Andalucía; Australian Research Council; Universidad de Sevilla. TIC-205: Ingeniería del Software Aplicada
    Two of the key challengesin software testing are the automated gen eration of test cases, and the identification of failures by checking test outputs. Both challenges are effectively addressed by meta morphic testing (MT), a software testing technique where failures are not revealed by checking an individual concrete output, but by checking the relations among the inputs and outputs of mul tiple executions of the software under test. Two decades after its introduction, MT is becoming a fully-fledged testing paradigm with successful applications in multiple domains including, among others, big data engineering, simulation and modeling, compilers, machine learning programs, autonomous cars and drones, and cy bersecurity. This technical briefing will provide an introduction to MT from a double perspective. First, we will present the technique and the results of a novel survey outlining its main trends and lessons learned. Then, we will go deeper and present some of the successful applications of the technique, as well as challenges and opportunities on the topic. The briefing will be complemented with practical exercises on testing real web applications and APIs.
  • Miniatura
    Acceso AbiertoArtículo
    Metamorphic Testing: Testing the Untestable
    (IEEE Computer Society, 2020) Segura Rueda, Sergio; Towey, Dave; Zhou, Zhi Quan; Chen, Tsong Yueh; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Australian Research Council; Junta de Andalucía; Ministerio de Ciencia e Innovación (MICIN). España; National Natural Science Foundation of China; Universidad de Sevilla. TIC-205: Ingeniería del Software Aplicada