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
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
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.
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.