論文の概要: Dynamic Conformance Testing of WebGPU Through Specification-Driven Mutation
- arxiv url: http://arxiv.org/abs/2609.25520v1
- Date: Tue, 22 Sep 2026 00:32:46 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-23 18:04:04.163012
- Title: Dynamic Conformance Testing of WebGPU Through Specification-Driven Mutation
- Title（参考訳）: 仕様駆動型ミューテーションによるWebGPUの動的コンパタンステスト
- Abstract要約: 汎用ファジィは複雑なグラフィックススタックとマルチプロセスアーキテクチャのため、WebGPUと競合する。
本稿では,仕様誘導動的適合性テストフレームワークLANTERNを紹介する。
我々は、AddressSanitizer-instrumented Chromium上で結果のテストを大規模に実行し、バグを発見します。
- 参考スコア（独自算出の注目度）: 2.442275472692297
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: WebGPU is a low-level graphics and compute API that exposes modern GPU functionality to web applications. While the official WebGPU Conformance Test Suite (CTS) focuses on well-formed usage under the WebGPU specification, it is not designed to stress implementations with semantic edge cases or adversarial inputs. General-purpose fuzzers, in contrast, struggle with WebGPU because of its complex graphics stack and multi-process architecture. We introduce LANTERN, a specification-guided dynamic conformance testing framework that mutates CTS tests using constraints extracted from the WebGPU specification. LANTERN extracts explicit syntactic API rules from WebIDL definitions and recovers semantic constraints, such as command ordering and object lifetimes, from natural-language specification text. Selected rules guide AST-located textual transformations that generate both valid and intentionally invalid CTS variants. We execute the resulting tests at scale on AddressSanitizer-instrumented Chromium to discover bugs. Our evaluation discovers three reproducible bugs, including a heap corruption, in Chromium versions current at the time of study. These results demonstrate that syntactically seeded, semantics-aware mutation of conformance tests provides a way to uncover browser bugs during WebGPU testing.
- Abstract（参考訳）: WebGPUは、最新のGPU機能をWebアプリケーションに公開する、低レベルのグラフィックスと計算APIである。
公式のWebGPU Conformance Test Suite(CTS)は、WebGPU仕様の下での十分に整った使用に焦点を当てているが、セマンティックエッジケースや逆入力による実装を強調するように設計されていない。
対照的に汎用ファズーは複雑なグラフィックススタックとマルチプロセスアーキテクチャのため、WebGPUと競合する。
我々は、WebGPU仕様から抽出された制約を用いてCTSテストを変更する仕様誘導動的適合性テストフレームワークであるLANTERNを紹介する。
LANTERNは、WebIDL定義から明示的な構文APIルールを抽出し、自然言語仕様テキストからコマンド順序やオブジェクト寿命などのセマンティック制約を回復する。
Selected rules guide AST-located textual transformations that generate both valid and intentionally invalid CTS variants。
我々は、AddressSanitizer-instrumented Chromium上で結果のテストを大規模に実行し、バグを発見します。
本評価では,現在のChromiumバージョンでは,ヒープの破損を含む再現可能な3つのバグが検出されている。
これらの結果は、WebGPUテスト中にブラウザのバグを発見する方法として、構文的にシードされ、セマンティクスを意識した適合性テストの変異が示される。
関連論文リスト
- Carry-Through Checksum: A Lightweight Fault-Detection for CNN Inference at the Edge [0.21748200848556343]
組込みGPU上でのCNN推論におけるソフトエラー検出の基本的な新しい手法であるキャリースルーを提案する。
提案手法はFP32とFP16の臨界断層の95.86%と86.56%を画像当たりのオーバーヘッドで検出する。
論文 参考訳（メタデータ） (2026-09-15T07:15:30Z) - Measuring and Reducing WebGPU Dispatch Overhead for LLM Inference [0.0]
シーケンシャル・ディスパッチ測定手法を導入し, 単一動作単体計測がディスパッチ当たりのコストを過大に見積もっていることを示す。
カーネルの品質ではなく、ディスパッチのオーバーヘッドがバッチサイズ1のボトルネックであることを示し、ディスパッチ数を原因として分離する。
論文 参考訳（メタデータ） (2026-08-09T14:21:55Z) - What Browsers Do in the Shaders: A Measurement Study of WebGPU Privacy [0.0]
WebGPUは、検証済みプログラミングモデルを通じて、通常のWebページでGPUワークロードを実行することができる。
バリデーションはメモリの安全性を保護するが、共有ブラウザ、ドライバ、OS、GPU状態は依然としてプライバシ関連シグナルを公開することができる。
WGPULensは、制御されたシナリオ、ブラウザネイティブの共抵抗性、参加者フィールドスタディ、公開ページロード、緩和ポリシーをまたいだこれらの信号を測定するためのフレームワークである。
論文 参考訳（メタデータ） (2026-06-24T22:11:06Z) - Visual-to-Code Authoring, Tensor-Network Debugging, and Quantum-Circuit Inspection Tools in Python [51.892236819637354]
ネットワークと量子回路は、接続性、指標、収縮順序、ゲート配置、測定、関連する設計選択に依存する構造体である。
コードよりも視覚的に推論しやすいことが多いが、Pythonでは頻繁に構築され、変換され、バックエンド固有のオブジェクトやコンパクトなシンボル式を通してチェックされる。
本稿では、サポート対象ネットワークの視覚的および構造的検査とトレーサム等価性を示すネットワークワーク・ビジュアライゼーション、ビジュアル・ツー・コードオーサリング、バックエンドコード生成、エクスポート、設計レベルの分析のための量子ネットワークワーク・エディター、クリアな回路レンダリング、検査および設計のための量子回路描画の3つの補完パッケージを提案する。
論文 参考訳（メタデータ） (2026-06-07T18:01:31Z) - WebTestBench: Evaluating Computer-Use Agents towards End-to-End Automated Web Testing [57.7131457251794]
エンドツーエンドの自動Webテストを評価するベンチマークであるWebTestBenchを紹介します。
テストプロセスを2つのカスケードサブタスク、チェックリストの生成と欠陥検出に分解し、WebTesterを提案する。
以上の結果から,現在のコンピュータ利用エージェント能力と産業レベルの展開要求との間に大きなギャップがあることが判明した。
論文 参考訳（メタデータ） (2026-03-26T09:27:29Z) - Visionary: The World Model Carrier Built on WebGPU-Powered Gaussian Splatting Platform [104.39464309969253]
Visionaryは、リアルタイムな様々なガウススティングとレンダリングのための、オープンでWebネイティブなプラットフォームである。
Visionaryは、軽量で“クリック・トゥ・ラン”なブラウザエクスペリエンスを維持しながら、動的ニューラル処理を可能にする。
論文 参考訳（メタデータ） (2025-12-09T10:54:58Z) - PICT -- A Differentiable, GPU-Accelerated Multi-Block PISO Solver for Simulation-Coupled Learning Tasks in Fluid Dynamics [62.93137406343609]
我々はPyTorchで符号化された可変圧単純化解器であるPICTをGPU(Graphics-Processing-unit)をサポートした流体シミュレータとして提案する。
まず,様々なベンチマークにおいて,フォワードシミュレーションと導出した勾配の精度を検証した。
2次元, 3次元の複雑な乱流モデルの学習には, 解法によって得られる勾配が有効であることを示す。
論文 参考訳（メタデータ） (2025-05-22T17:55:10Z) - DarthShader: Fuzzing WebGPU Shader Translators & Compilers [19.345967816562364]
より要求の多いWebアプリケーションを実行するための最近のトレンドは、WebGPU標準の採用につながっている。
信頼できないWebコンテンツは、伝統的にセキュリティではなくパフォーマンスのために最適化されたGPUスタックに渡される。
DarthShaderは、中間表現に基づくミュータと、より伝統的な抽象構文木を使用したものを組み合わせた最初の言語ファザである。
論文 参考訳（メタデータ） (2024-09-03T12:06:19Z) - Cramming: Training a Language Model on a Single GPU in One Day [64.18297923419627]
言語モデリングの最近のトレンドは、スケーリングによるパフォーマンス向上に焦点を当てている。
我々は,1つのコンシューマGPU上で1日間,マスク付き言語モデルを用いてゼロから完全に訓練されたトランスフォーマーベース言語モデルで達成可能なダウンストリーム性能について検討した。
この制約された設定であっても、大規模設定で観測されるスケーリングの法則に密接に従う性能を示す。
論文 参考訳（メタデータ） (2022-12-28T18:59:28Z) - Auditing AI models for Verified Deployment under Semantic Specifications [65.12401653917838]
AuditAIは、解釈可能な形式検証とスケーラビリティのギャップを埋める。
AuditAIは、画素空間の摂動のみを用いた検証の限界に対処しながら、検証と認定トレーニングのための制御されたバリエーションを得られるかを示す。
論文 参考訳（メタデータ） (2021-09-25T22:53:24Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。