基于 ITLingo RSL 语言的严格需求规约验证与文档自动化
软件工程
2023-12-19 v1
摘要
尽管编写需求规约是软件开发中的关键步骤，但该过程通常使用自然语言进行，从而导致不一致、不完整或歧义等问题。ITLingo 倡议引入了一种名为 RSL 的需求规约语言，以增强技术文档的严谨性与一致性。另一方面，自然语言处理 (NLP) 领域一直致力于支持需求的自动分析，帮助检测人工评审中难以发现的问题。一旦需求规约通过验证，自动化生成相关文档以减少人工工作、降低错误，并生成易于被不同利益相关者复用或识别的多种格式文档便显得尤为重要。本文回顾了需求验证与文档自动化领域的现有研究与工具。我们提出扩展 RSL，基于自定义检查以及 RSL 自身动态定义的语言规则进行规约验证。此外，我们还提出使用模板文件从这些规约中自动生成 JSON、TXT 或其他文件格式的文档。我们使用一个虚拟的商业信息系统来辅助说明，并演示这些验证检查如何帮助编写更好的需求规约，进而基于这些规约生成多种格式的文档。最后，我们通过用户测试评估了所提验证与文档自动化方法的可用性。
引用
@article{arxiv.2312.10822,
title = {Validation of Rigorous Requirements Specifications and Document Automation with the ITLingo RSL Language},
author = {Andre Rodrigues and Alberto Rodrigues da Silva},
journal= {arXiv preprint arXiv:2312.10822},
year = {2023}
}
备注
10 pages, 13 figures, 2 tables, 1 spec