Prueba funcional del software
Un proceso de verificación constante
Edgar Serna Montoya
Licencia de minería de texto y datos
Declarado por la editorial el 22 julio 2026 a las 22:45:06 UTC
El titular de derechos se reserva expresamente sus derechos de reproducción, extracción y reutilización para fines de minería de textos y datos (TDM) y de entrenamiento de modelos de inteligencia artificial, de conformidad con el Art. 4(3) de la Directiva (UE) 2019/790, el Art. 53(1)(c) del Reglamento (UE) 2024/1689 (AI Act), el Art. 13 del Acuerdo ADPIC/TRIPS de la OMC, la Decisión Andina 351 de 1993 y las leyes nacionales aplicables en los territorios de residencia del titular, de realización de la reproducción y/o comercialización del Large Language Model u otro tipo de IA resultante.
Esta reserva cubre toda reproducción digital de la obra con independencia del soporte de la copia de origen (impreso o digital) y es efectiva desde la fecha certificada de esta declaración.
En América Latina, donde no existe excepción legal para el entrenamiento de IA, esta declaración constituye evidencia pública de que el titular no ha otorgado autorización. En la Unión Europea, activa la reserva máquina-legible exigida por el Art. 4(3) CDSM y el Art. 53(1)(c) AI Act. En Estados Unidos, señaliza la existencia de un mercado de licencias TDM a efectos del factor 4 del análisis de fair use.
Cualquier uso de la obra para los fines aquí reservados requiere autorización previa y expresa del titular de derechos.
Sello de integridad
Declaración selladaLa declaración fue sellada ante una autoridad de sellado de tiempo independiente (RFC 3161) y su contenido identificado con ISCC (ISO 24138): cualquier tercero puede verificar que existía en esa fecha y que no ha sido alterada. Descargar evidencia criptográfica (.tsr) · ¿Cómo se verifica?
Formatos
| Formato | ISBN | Recordreference | DOI | Año |
|---|---|---|---|---|
| E-book · ed. 1 | 9789588743417 | SIMEHEBOOKOIBDIMMSIIY1WO48FOOO | 10.22430/9789588743417 | 2013 |
Sobre esta obra
En este libro se describen conceptos específicos para examinar los procesos de verificación del software, desde la perspectiva del análisis a varias propuestas que aplican la técnica Casos de prueba desde los casos de uso, e ilustra la estructura de un importante concepto en las pruebas del software: el esfuerzo de las pruebas se debe integrar linealmente al proceso de desarrollo del producto, desde las fases iniciales del ciclo de vida, para alcanzar logros eficientes y efectivos. Aislar el esfuerzo de la prueba en una caja negra para el final de ese ciclo es un error común y se debe evitar, porque se puede incurrir en un incremento en el tiempo de entrega y de los costos finales.
El libro es el resultado de un proceso de investigación en el cual se evaluaron las propuestas recientes para diseñar casos de prueba para las pruebas funcionales del software. De la muestra inicial, se seleccionaron nueve, que posteriormente se aplicaron en un proceso experimental para validar, verificar y comparar la eficiencia y eficacia de los casos de prueba que estructuran y generan. Luego, se tomó los resultados para diseñar una nueva propuesta metodológica aprovechando las mejores prácticas de cada una. La nueva propuesta se describe y aplica a un estudio de caso, mediante el cual se realiza la prueba funcional del software a través de un proceso de verificación paralelo a la Ingeniería de Requisitos.
Extendemos nuestros agradecimiento en este proceso.