PulseAugur
中
实时 09:10:25
English(EN) A semantic mutation metric for metamorphic relation adequacy in scientific computing programs

新的语义变异分数提升科学计算程序测试效果

作者 PulseAugur 编辑部 · [1 个来源] ·

研究人员引入了语义变异分数（SMS），这是一种旨在提高科学计算程序中变异关系充分性的新度量标准。与关注语法变更的传统变异分数不同，SMS 结合了领域特定的语义算子，以更好地识别真实的语义故障。研究发现，SMS 与现有的变异测试文献兼容，并且 LLM 生成的变异体提供了标准语法变异通常无法捕捉的独特故障类别。 AI

影响 为评估科学计算中 AI 模型的鲁棒性引入了新颖的度量标准，有望提高其可靠性。

排序理由 该集群包含一篇详细介绍软件测试新度量标准的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.LG 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

新的语义变异分数提升科学计算程序测试效果

报道来源 [1]

  1. arXiv cs.LG TIER_1 English(EN) · Meng Li (School of Computing, University of South China, Hengyang, China, Hunan Engineering Research Center of Software Evaluation and Testing for Intellectual Equipment, Hengyang, China, CNNC Key Laboratory on High Trusted Computing, Hengyang, China), X… ·

    A semantic mutation metric for metamorphic relation adequacy in scientific computing programs

    arXiv:2605.17437v2 Announce Type: replace-cross Abstract: Context. Metamorphic Testing addresses the test-oracle problem in scientific computing, but classical Mutation Score operates on syntactic AST mutations and misses domain semantics. Objective. We propose the Semantic Mutat…

相关实体

相关话题