计算机科学
需求工程
软件要求
需求分析
软件工程
软件需求规范
需求获取
风险分析(工程)
顺从(心理学)
非功能性需求
需求管理
功能要求
软件
业务需求
要求
系统要求
需求优先级
芯(光纤)
正式规范
系统工程
钥匙(锁)
非功能测试
关注点分离
软件开发
系统需求规范
计算机安全
软件系统
作者
Souvick Das,Novarun Deb,Nabendu Chaki,Agostino Cortesi
摘要
Ensuring compliance with regulations poses considerable challenges for software development, particularly during the requirements specification phase. Traditional methods rely heavily on manual inspections that are time-consuming, and prone to errors. This research proposes an innovative framework that leverages the synergy of multiple AI agents to automate software requirement compliance verification partially. The framework integrates Large Language Models (LLMs), prompt engineering, and Retrieval-Augmented Generation (RAG) to analyze, detect, and revise non-compliant requirements. The core of our proposal lies in multi-agent communication, where distinct AI agents collaborate to achieve the overarching goal of compliance checking. LLMs comprehend requirements specifications, while prompt engineering guides LLMs towards compliance-related aspects. The RAG techniques detect non-compliant requirements and suggest changes. Finally, a robust Human-in-the-Loop mechanism ensures accuracy, reliability, and adaptability. A tool, available online, is implemented to translate the technology for effective application. We discuss its ability to identify non-compliant requirements in an extensive experimental evaluation.
科研通智能强力驱动
Strongly Powered by AbleSci AI