logo móvil
Contáctanos

Un método automático de generación y verificación de especificación de requisitos de software

Autores: Wei, Xiaoyang; Wang, Zhengdi; Yang, Shuangyuan

Idioma: Inglés

Editor: MDPI

Año: 2023

Descargar PDF

Acceso abierto

Artículo científico
2023

Un método automático de generación y verificación de especificación de requisitos de software


Categoría

Ingeniería y Tecnología

Subcategoría

Ingeniería Eléctrica y Electrónica

Palabras clave

Generación
Estandarizado
Requisitos
Especificaciones
Método automatizado
Gráfico de conocimiento

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 54

Citaciones: Sin citaciones


Descripción
La generación de documentos estandarizados de especificación de requisitos juega un papel crucial en los procesos de software. Sin embargo, la composición manual de especificaciones de requisitos de software es una tarea laboriosa y que consume mucho tiempo, lo que a menudo conduce a errores que se desvían de los requisitos reales. Para abordar este problema, este documento propone un método automatizado para generar especificaciones de requisitos utilizando un grafo de conocimiento y graphviz. Además, para superar las limitaciones del proceso de generación de requisitos automatizado existente, como la falta de énfasis en la información de datos y la evaluación, mejoramos la matriz tradicional U/C introduciendo una matriz S/U/C. Esta nueva matriz representa los resultados del análisis sistemático de datos/funciones, y la verificación se facilita mediante el diseño de reglas de inspección. Los resultados experimentales demuestran que las especificaciones de requisitos generadas utilizando este método logran la estandarización y el cumplimiento de las regulaciones, mientras que las reglas de inspección S/U/C diseñadas facilitan la actualización y la iteración de las especificaciones de requisitos.

Otros recursos que podrían interesarte

Temas Virtualpro