Pruebas de garantía de calidad para determinar la solidez del software
Las pruebas de robustez son cualquier metodología de control de calidad enfocada en probar la robustez del software . Las pruebas de robustez también se han utilizado para describir el proceso de verificación de la robustez (es decir, la corrección) de los casos de prueba en un proceso de prueba. ANSI e IEEE han definido la robustez como el grado en el que un sistema o componente puede funcionar correctamente en presencia de entradas no válidas o condiciones ambientales estresantes. [1]
El término "pruebas de robustez" fue utilizado por primera vez por el proyecto Ballista de la Universidad Carnegie Mellon . Realizaron pruebas de confiabilidad de sistemas operativos basadas en los tipos de datos de la API POSIX , lo que produjo fallas completas del sistema en algunos sistemas. [2] El término también fue utilizado por investigadores de OUSPG y VTT que participaron en el proyecto PROTOS en el contexto de las pruebas de seguridad de software. [3] Finalmente, el término fuzzing (que los expertos en seguridad utilizan para las pruebas de robustez mayoritariamente no inteligentes y aleatorias) se extendió para cubrir también las pruebas de robustez basadas en modelos.
Métodos
Inyección de fallas
La inyección de fallas es un método de prueba que se puede utilizar para verificar la solidez de los sistemas. Durante el proceso, los ingenieros de pruebas inyectan fallas en los sistemas y observan su resiliencia. [4] Los ingenieros de pruebas pueden desarrollar métodos eficientes que ayuden a la inyección de fallas a encontrar fallas críticas en el sistema. [5] [6]
Véase también
Referencias
- ^ "Glosario estándar de terminología de ingeniería de software (ANSI)". Instituto de Ingenieros Eléctricos y Electrónicos, Inc., 1991.
- ^ Kropp, Koopman, Siewiorek. 1998. Pruebas de robustez automatizadas de componentes de software disponibles comercialmente. Actas de FTCS'98. http://www.ece.cmu.edu/~koopman/ballista/ftcs98/ftcs98.pdf
- ^ Kaksonen, Rauli. 2001. Un método funcional para evaluar la seguridad de la implementación de protocolos (tesis de licenciatura). Espoo. Centro de investigación técnica de Finlandia, VTT Publications 448. 128 págs. + aprox. 15 págs. ISBN 951-38-5873-1 (edición blanda) ISBN 951-38-5874-X (edición en línea). https://www.ee.oulu.fi/research/ouspg/PROTOS_VTT2001-functional
- ^ Moradi, Mehrdad; Van Acker, Bert; Vanherpen, Ken; Denil, Joachim (2019). Chamberlain, Roger; Taha, Walid; Törngren, Martin (eds.). "Inyección de fallas híbridas implementadas por modelos para Simulink (demostraciones de herramientas)". Sistemas ciberfísicos. Diseño basado en modelos . Notas de clase en informática. 11615. Cham: Springer International Publishing: 71–90. doi :10.1007/978-3-030-23703-5_4. ISBN . 978-3-030-23703-5.S2CID 195769468 .
- ^ "Optimización de la inyección de fallas en la co-simulación FMI mediante partición de sensibilidad | Actas de la Conferencia de Simulación de Verano de 2019". dl.acm.org . Consultado el 15 de junio de 2020 .
- ^ Moradi, Mehrdad, Bentley James Oakes, Mustafa Saraoglu, Andrey Morozov, Klaus Janschek y Joachim Denil. "Exploración del espacio de parámetros de fallas mediante inyección de fallas basada en aprendizaje de refuerzo". (2020).
