logo móvil
Contáctanos

Integrando la Ingeniería Dirigida por Modelos y Modelos de Lenguaje Grande para la Generación de Escenarios de Prueba para Contratos Inteligentes

Autores: Al-Azzoni, Issam; Iqbal, Saqib; Al Ashkar, Taymour; Erum, Zobia

Idioma: Inglés

Editor: MDPI

Año: 2025

Descargar PDF

Acceso abierto

Artículo científico
2025

Integrando la Ingeniería Dirigida por Modelos y Modelos de Lenguaje Grande para la Generación de Escenarios de Prueba para Contratos Inteligentes


Categoría

Gestión y administración

Subcategoría

Gestión de la tecnología y la inovación

Palabras clave

Modelos de lenguaje grandes
Generación de casos de prueba
Ingeniería dirigida por modelos
Control de acceso basado en roles
Casos de prueba basados en modelos
Contratos inteligentes

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 1

Citaciones: Sin citaciones


Descripción
Los Modelos de Lenguaje Grande (LLMs) han demostrado un potencial significativo en la transformación de las pruebas de software al automatizar tareas como la generación de casos de prueba. En este trabajo, exploramos la integración de LLMs dentro de un enfoque de Ingeniería Dirigida por Modelos (MDE) para mejorar la automatización de la generación de casos de prueba para contratos inteligentes. Nuestro enfoque se centra en el uso de modelos de Control de Acceso Basado en Roles (RBAC) como especificaciones formales que guían la generación de escenarios de prueba. Al aprovechar la capacidad de los LLMs para interpretar tanto el lenguaje natural como los artefactos del modelo, habilitamos la derivación de casos de prueba basados en modelos que se alinean con las políticas de control de acceso especificadas. Estos casos de prueba se traducen posteriormente en código ejecutable en el Lenguaje de Modelado de Activos Digitales (DAML) dirigido a plataformas de contratos inteligentes basadas en blockchain. Basándonos en investigaciones previas que establecieron un pipeline completo de MDE para el desarrollo de contratos inteligentes en DAML, ampliamos el marco con capacidades de automatización de pruebas soportadas por LLM y implementamos las herramientas necesarias para apoyar esta integración. Nuestra evaluación demuestra la viabilidad de usar LLMs en este contexto, destacando su potencial para mejorar la cobertura de pruebas, reducir el esfuerzo manual y garantizar la conformidad con las especificaciones de control de acceso en sistemas de contratos inteligentes.

Otros recursos que podrían interesarte

Temas Virtualpro