为规范MAS生成基于操作概要文件的测试用例

IF 3.7 2区计算机科学 Q1 COMPUTER SCIENCE, SOFTWARE ENGINEERING

Journal of Systems and Software Pub Date : 2025-06-25 DOI:10.1016/j.jss.2025.112553

Yahia Menassel , Toufik Marir , Farid Mokhati , Varun Gupta

{"title":"为规范MAS生成基于操作概要文件的测试用例","authors":"Yahia Menassel , Toufik Marir , Farid Mokhati , Varun Gupta","doi":"10.1016/j.jss.2025.112553","DOIUrl":null,"url":null,"abstract":"<div><div>Agent-based models are widely used to simulate complex systems and support decision-making processes. The reliability of multiagent systems (MAS) depends on their alignment with design specifications, necessitating rigorous verification against these specifications. In MAS, agents collaborate to achieve shared goals, but their autonomous and proactive nature poses significant testing challenges. Despite these challenges, testing is crucial for ensuring operational integrity. This paper introduces a novel test case generation (TCG) methodology specifically designed for normative multiagent systems (NorMAS). The methodology leverages a normative operational profile (OP4NorMAS) to generate test cases that align with the behavioral constraints of NorMAS agents. A comprehensive case study demonstrates the effectiveness of this approach in ensuring normative compliance and operational reliability.</div></div>","PeriodicalId":51099,"journal":{"name":"Journal of Systems and Software","volume":"230 ","pages":"Article 112553"},"PeriodicalIF":3.7000,"publicationDate":"2025-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Operational profile-based test case generation for normative MAS\",\"authors\":\"Yahia Menassel , Toufik Marir , Farid Mokhati , Varun Gupta\",\"doi\":\"10.1016/j.jss.2025.112553\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>Agent-based models are widely used to simulate complex systems and support decision-making processes. The reliability of multiagent systems (MAS) depends on their alignment with design specifications, necessitating rigorous verification against these specifications. In MAS, agents collaborate to achieve shared goals, but their autonomous and proactive nature poses significant testing challenges. Despite these challenges, testing is crucial for ensuring operational integrity. This paper introduces a novel test case generation (TCG) methodology specifically designed for normative multiagent systems (NorMAS). The methodology leverages a normative operational profile (OP4NorMAS) to generate test cases that align with the behavioral constraints of NorMAS agents. A comprehensive case study demonstrates the effectiveness of this approach in ensuring normative compliance and operational reliability.</div></div>\",\"PeriodicalId\":51099,\"journal\":{\"name\":\"Journal of Systems and Software\",\"volume\":\"230 \",\"pages\":\"Article 112553\"},\"PeriodicalIF\":3.7000,\"publicationDate\":\"2025-06-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Systems and Software\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0164121225002225\",\"RegionNum\":2,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"COMPUTER SCIENCE, SOFTWARE ENGINEERING\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Systems and Software","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0164121225002225","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}

引用次数: 0

摘要

基于智能体的模型被广泛用于模拟复杂系统和支持决策过程。多代理系统（MAS）的可靠性取决于它们与设计规范的一致性，因此需要对这些规范进行严格的验证。在MAS中，智能体协作以实现共同目标，但它们的自主性和主动性带来了重大的测试挑战。尽管存在这些挑战，但测试对于确保操作完整性至关重要。本文介绍了一种专门为规范多智能体系统（NorMAS）设计的新型测试用例生成（TCG）方法。该方法利用规范的操作概要文件（OP4NorMAS）来生成与NorMAS代理的行为约束一致的测试用例。一个全面的案例研究证明了这种方法在确保规范遵从性和操作可靠性方面的有效性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Operational profile-based test case generation for normative MAS

Agent-based models are widely used to simulate complex systems and support decision-making processes. The reliability of multiagent systems (MAS) depends on their alignment with design specifications, necessitating rigorous verification against these specifications. In MAS, agents collaborate to achieve shared goals, but their autonomous and proactive nature poses significant testing challenges. Despite these challenges, testing is crucial for ensuring operational integrity. This paper introduces a novel test case generation (TCG) methodology specifically designed for normative multiagent systems (NorMAS). The methodology leverages a normative operational profile (OP4NorMAS) to generate test cases that align with the behavioral constraints of NorMAS agents. A comprehensive case study demonstrates the effectiveness of this approach in ensuring normative compliance and operational reliability.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Journal of Systems and Software 工程技术-计算机：理论方法

CiteScore

8.60

自引率

5.70%

发文量

193

审稿时长

16 weeks

期刊介绍： The Journal of Systems and Software publishes papers covering all aspects of software engineering and related hardware-software-systems issues. All articles should include a validation of the idea presented, e.g. through case studies, experiments, or systematic comparisons with other approaches already in practice. Topics of interest include, but are not limited to: •Methods and tools for, and empirical studies on, software requirements, design, architecture, verification and validation, maintenance and evolution •Agile, model-driven, service-oriented, open source and global software development •Approaches for mobile, multiprocessing, real-time, distributed, cloud-based, dependable and virtualized systems •Human factors and management concerns of software development •Data management and big data issues of software systems •Metrics and evaluation, data mining of software development resources •Business and economic aspects of software development processes The journal welcomes state-of-the-art surveys and reports of practical experience for all of these topics.