优化的变形测试:PID控制器调谐的案例研究

IF 4.3 2区 计算机科学 Q2 COMPUTER SCIENCE, INFORMATION SYSTEMS
Alejandra Duque-Torres , Claus Klammer , Stefan Fischer , Rudolf Ramler , Dietmar Pfahl
{"title":"优化的变形测试:PID控制器调谐的案例研究","authors":"Alejandra Duque-Torres ,&nbsp;Claus Klammer ,&nbsp;Stefan Fischer ,&nbsp;Rudolf Ramler ,&nbsp;Dietmar Pfahl","doi":"10.1016/j.infsof.2025.107872","DOIUrl":null,"url":null,"abstract":"<div><h3>Context:</h3><div>Tuning PID controller parameters is essential for achieving stable and efficient system behaviour. However, traditional methods often depend on expert heuristics or exhaustive simulations, which can be time-consuming and difficult to generalise across configurations.</div></div><div><h3>Objective:</h3><div>This paper explores Metamorphic Testing (MT) as a validation-driven approach for identifying optimal PID parameter set based on expected behavioural trends.</div></div><div><h3>Method:</h3><div>We define a set of domain-informed Metamorphic Relations (MRs) that capture control-theoretic expectations. These MRs are used to evaluate and compare simulated parameter sets, based on how many behavioural constraints they satisfy.</div></div><div><h3>Results:</h3><div>Our findings show that high MR satisfaction is a strong indicator of potentially optimal parameter sets, often yielding smooth, stable control responses. Although trade-offs between metrics—such as energy usage and error correction occasionally led to partial MR violations, expert-preferred parameter sets still closely matched those with the highest MR scores. These results support the use of MR-based evaluation as a practical approach to identifying high-quality tuning parameters.</div></div><div><h3>Conclusion:</h3><div>Metamorphic Testing offers an interpretable and structured way to guide controller tuning by formalising expected system behaviour. This approach helps identify near-optimal configurations and complements traditional tuning practices through systematic validation.</div></div>","PeriodicalId":54983,"journal":{"name":"Information and Software Technology","volume":"188 ","pages":"Article 107872"},"PeriodicalIF":4.3000,"publicationDate":"2025-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Metamorphic testing for optimisation: A case study on PID controller tuning\",\"authors\":\"Alejandra Duque-Torres ,&nbsp;Claus Klammer ,&nbsp;Stefan Fischer ,&nbsp;Rudolf Ramler ,&nbsp;Dietmar Pfahl\",\"doi\":\"10.1016/j.infsof.2025.107872\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><h3>Context:</h3><div>Tuning PID controller parameters is essential for achieving stable and efficient system behaviour. However, traditional methods often depend on expert heuristics or exhaustive simulations, which can be time-consuming and difficult to generalise across configurations.</div></div><div><h3>Objective:</h3><div>This paper explores Metamorphic Testing (MT) as a validation-driven approach for identifying optimal PID parameter set based on expected behavioural trends.</div></div><div><h3>Method:</h3><div>We define a set of domain-informed Metamorphic Relations (MRs) that capture control-theoretic expectations. These MRs are used to evaluate and compare simulated parameter sets, based on how many behavioural constraints they satisfy.</div></div><div><h3>Results:</h3><div>Our findings show that high MR satisfaction is a strong indicator of potentially optimal parameter sets, often yielding smooth, stable control responses. Although trade-offs between metrics—such as energy usage and error correction occasionally led to partial MR violations, expert-preferred parameter sets still closely matched those with the highest MR scores. These results support the use of MR-based evaluation as a practical approach to identifying high-quality tuning parameters.</div></div><div><h3>Conclusion:</h3><div>Metamorphic Testing offers an interpretable and structured way to guide controller tuning by formalising expected system behaviour. This approach helps identify near-optimal configurations and complements traditional tuning practices through systematic validation.</div></div>\",\"PeriodicalId\":54983,\"journal\":{\"name\":\"Information and Software Technology\",\"volume\":\"188 \",\"pages\":\"Article 107872\"},\"PeriodicalIF\":4.3000,\"publicationDate\":\"2025-08-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Information and Software Technology\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0950584925002113\",\"RegionNum\":2,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"COMPUTER SCIENCE, INFORMATION SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Information and Software Technology","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0950584925002113","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0

摘要

背景:调整PID控制器参数对于实现稳定和有效的系统行为是必不可少的。然而,传统的方法通常依赖于专家启发式或详尽的模拟,这可能是耗时的,并且难以跨配置进行推广。目的:本文探讨了变形测试(MT)作为基于预期行为趋势识别最优PID参数集的验证驱动方法。方法:我们定义了一组领域知情的变质关系(MRs)来捕捉控制理论的期望。这些MRs用于评估和比较模拟参数集,基于它们满足多少行为约束。结果:我们的研究结果表明,高MR满意度是潜在最优参数集的一个强有力的指标,通常会产生平滑、稳定的控制响应。虽然指标之间的权衡(如能源使用和错误纠正)偶尔会导致部分MR违规,但专家首选的参数集仍然与MR得分最高的参数集密切匹配。这些结果支持使用基于核磁共振的评估作为确定高质量调谐参数的实用方法。结论:变形测试提供了一种可解释和结构化的方法,通过形式化预期的系统行为来指导控制器调整。这种方法有助于识别接近最优的配置,并通过系统验证补充了传统的调优实践。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Metamorphic testing for optimisation: A case study on PID controller tuning

Context:

Tuning PID controller parameters is essential for achieving stable and efficient system behaviour. However, traditional methods often depend on expert heuristics or exhaustive simulations, which can be time-consuming and difficult to generalise across configurations.

Objective:

This paper explores Metamorphic Testing (MT) as a validation-driven approach for identifying optimal PID parameter set based on expected behavioural trends.

Method:

We define a set of domain-informed Metamorphic Relations (MRs) that capture control-theoretic expectations. These MRs are used to evaluate and compare simulated parameter sets, based on how many behavioural constraints they satisfy.

Results:

Our findings show that high MR satisfaction is a strong indicator of potentially optimal parameter sets, often yielding smooth, stable control responses. Although trade-offs between metrics—such as energy usage and error correction occasionally led to partial MR violations, expert-preferred parameter sets still closely matched those with the highest MR scores. These results support the use of MR-based evaluation as a practical approach to identifying high-quality tuning parameters.

Conclusion:

Metamorphic Testing offers an interpretable and structured way to guide controller tuning by formalising expected system behaviour. This approach helps identify near-optimal configurations and complements traditional tuning practices through systematic validation.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Information and Software Technology
Information and Software Technology 工程技术-计算机:软件工程
CiteScore
9.10
自引率
7.70%
发文量
164
审稿时长
9.6 weeks
期刊介绍: Information and Software Technology is the international archival journal focusing on research and experience that contributes to the improvement of software development practices. The journal''s scope includes methods and techniques to better engineer software and manage its development. Articles submitted for review should have a clear component of software engineering or address ways to improve the engineering and management of software development. Areas covered by the journal include: • Software management, quality and metrics, • Software processes, • Software architecture, modelling, specification, design and programming • Functional and non-functional software requirements • Software testing and verification & validation • Empirical studies of all aspects of engineering and managing software development Short Communications is a new section dedicated to short papers addressing new ideas, controversial opinions, "Negative" results and much more. Read the Guide for authors for more information. The journal encourages and welcomes submissions of systematic literature studies (reviews and maps) within the scope of the journal. Information and Software Technology is the premiere outlet for systematic literature studies in software engineering.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信