Los mapas de Karnaugh-Veitch como contrato formal mínimo entre requisitos textuales y pruebas: un análisis técnico basado en casos de uso
Autores: Müllner, Nils Henning
Idioma: Inglés
Editor: MDPI
Año: 2022
Acceso abierto
Artículo científico
2022
Los mapas de Karnaugh-Veitch como contrato formal mínimo entre requisitos textuales y pruebas: un análisis técnico basado en casos de uso
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Eléctrica y Electrónica
Palabras clave
Requisitos
Sistema
Pasos de prueba
Errores
Mapas de Karnaugh-Veitch
Casos de prueba
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 33
Citaciones: Sin citaciones
Comprobar que los requisitos escritos en lenguaje natural se cumplen para un sistema implementado formalmente es una tarea compleja.
Descripción
Comprobar que los requisitos escritos en lenguaje natural se cumplen para un sistema implementado formalmente es una tarea compleja.