論文の概要: PSALM: applying Proportional SAmpLing strategy in Metamorphic testing

• arxiv url: http://arxiv.org/abs/2512.13414v1
• Date: Mon, 15 Dec 2025 15:04:15 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-12-16 17:54:56.71522
• Title: PSALM: applying Proportional SAmpLing strategy in Metamorphic testing
• Title（参考訳）: PSALM: メタモルフィックテストにおける比例SAmpLing戦略の適用
• Authors: Zenghui Zhou, Pak-Lok Poon, Zheng Zheng, Xiao-Yi Zhang,
• Abstract要約: 本稿では、ソーステストケース選択とMG選択の両方にPSSをMTに適応させるPSALMを提案する。 8つの被験者プログラムと184のミュータントに関する総合的な実証研究は、その結果が我々の理論的分析と一致していることを示している。
• 参考スコア（独自算出の注目度）: 2.9581293069043113
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Metamorphic testing (MT) alleviates the oracle problem by checking metamorphic relations (MRs) across multiple test executions. The fault detection effectiveness of MT is influenced not only by the choice and quality of MRs, but also by how source test cases and metamorphic groups (MGs) are selected. While substantial research has focused on designing, generating, and validating MRs, systematic methods for source test case selection and MG selection remain largely unexplored. Although the Proportional Sampling Strategy (PSS) provides strong theoretical guarantees in traditional testing, its assumptions cannot be directly applied in MT due to differences in selection domains, test units, and failure distributions. This paper proposes PSALM, an adaptation of PSS to MT for both source test case selection and MG selection. We formally prove that PSALM is never inferior to random selection regardless of how the source test case and MG domains are partitioned. We further identify the conditions under which applying PSALM to source test case selection and MG selection yields identical effectiveness. A comprehensive empirical study on eight subject programs and 184 mutants shows that the results are consistent with our theoretical analysis and that PSALM generally performs more effectively than existing selection strategies such as ART and MT-ART. These results demonstrate that PSALM provides a theoretically grounded and practically effective selection strategy for MT.
• Abstract（参考訳）: メタモルフィックテスト(MT)は、複数のテスト実行でメタモルフィック関係(MR)をチェックすることで、オラクルの問題を軽減する。 MTの故障検出の有効性は,MRの選択と品質だけでなく,ソーステストケースと変成グループ(MG)の選択方法にも影響される。 MRの設計、生成、バリデーションに重点を置いているが、ソーステストケースの選択とMGの選択の体系的な方法はほとんど探索されていない。 Proportional Smpling Strategy (PSS) は従来のテストにおいて強力な理論的保証を提供するが、その仮定は選択領域、テストユニット、障害分布の違いによりMTでは直接適用できない。 本稿では、ソーステストケース選択とMG選択の両方にPSSをMTに適応させるPSALMを提案する。 我々は、PSALMが、ソーステストケースとMGドメインをどのように分割するかに関わらず、ランダム選択に劣らないことを正式に証明する。 さらに、PSALMをソーステストケース選択に適用した条件を特定し、MG選択が同一の有効性を得る。 8つの被験者プログラムと184のミュータントに関する総合的な実証研究により、結果は我々の理論的分析と一致しており、PSALMはARTやMT-ARTのような既存の選択戦略よりも一般的に効果的に機能することが示された。 これらの結果は,PSALMがMTの理論的基礎と実用的選択戦略を提供することを示した。

関連論文リスト

• Test Adequacy for Metamorphic Testing: Criteria, Measurement, and Implication [6.199417860195402]
  メタモルフィックテスト(MT)は、ソフトウェアテストにおけるオラクルの問題を軽減する手法である。 MTの試験精度評価問題について検討する研究はほとんどない。
  論文  参考訳（メタデータ） (2024-12-30T04:00:39Z)
• Improving Bias Correction Standards by Quantifying its Effects on Treatment Outcomes [54.18828236350544]
  Propensity score matching (PSM) は、分析のために同等の人口を選択することで選択バイアスに対処する。 異なるマッチング手法は、すべての検証基準を満たす場合でも、同じタスクに対する平均処理効果(ATE)を著しく異なるものにすることができる。 この問題に対処するため,新しい指標A2Aを導入し,有効試合数を削減した。
  論文  参考訳（メタデータ） (2024-07-20T12:42:24Z)
• Selecting Learnable Training Samples is All DETRs Need in Crowded Pedestrian Detection [72.97320260601347]
  混雑した歩行者検出では, サンプル選択法が不適切であるため, DETRの性能は相変わらず不満足である。 制約誘導ラベル割り当てスキーム(CGLA)からなる群集歩行者のサンプル選択を提案する。 実験の結果,提案したSSCPは推論のオーバーヘッドを発生させることなく,ベースラインを効果的に改善することがわかった。
  論文  参考訳（メタデータ） (2023-05-18T08:28:01Z)
• In Search of Insights, Not Magic Bullets: Towards Demystification of the Model Selection Dilemma in Heterogeneous Treatment Effect Estimation [92.51773744318119]
  本稿では,異なるモデル選択基準の長所と短所を実験的に検討する。 選択戦略,候補推定器,比較に用いるデータの間には,複雑な相互作用があることを強調した。
  論文  参考訳（メタデータ） (2023-02-06T16:55:37Z)
• Spectral Regularized Kernel Two-Sample Tests [7.915420897195129]
  MMD (maximum mean discrepancy) two-sample test to be optimal to the terms of the separation boundary in the Hellinger distance。 スペクトル正則化に基づくMDD試験の修正を提案し,MMD試験よりも分離境界が小さく,最小限の試験が最適であることを証明した。 その結果,テストしきい値がエレガントに選択されるテストの置換変種が,サンプルの置換によって決定されることがわかった。
  論文  参考訳（メタデータ） (2022-12-19T00:42:21Z)
• A Probabilistic Framework for Mutation Testing in Deep Neural Networks [12.033944769247958]
  不整合を緩和する確率変異テスト(PMT)手法を提案する。 PMTは、評価を通じてより一貫性のある、より情報のある突然変異の決定を可能にする。
  論文  参考訳（メタデータ） (2022-08-11T19:45:14Z)
• Noisy Adaptive Group Testing using Bayesian Sequential Experimental Design [63.48989885374238]
  病気の感染頻度が低い場合、Dorfman氏は80年前に、人のテストグループは個人でテストするよりも効率が良いことを示した。 本研究の目的は,ノイズの多い環境で動作可能な新しいグループテストアルゴリズムを提案することである。
  論文  参考訳（メタデータ） (2020-04-26T23:41:33Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。