Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models
Autonomous Agents and Multi-Agent Systems(2015)
摘要
Agent systems are used for a wide range of applications, and techniques to detect and avoid defects in such systems are valuable. In particular, it is desirable to detect issues as early as possible in the software development lifecycle. We describe a technique for checking the plan structures of a BDI agent design against the requirements models, specified in terms of scenarios and goals. This approach is applicable at design time, not requiring source code. A lightweight evaluation demonstrates that a range of defects can be found using this technique.
更多查看译文
关键词
requirements specification,multi agent systems
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络