論文の概要: NQC2: A Non-Intrusive QEMU Code Coverage Plugin

• arxiv url: http://arxiv.org/abs/2601.02238v1
• Date: Mon, 05 Jan 2026 16:11:41 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-01-06 16:25:23.264196
• Title: NQC2: A Non-Intrusive QEMU Code Coverage Plugin
• Title（参考訳）: NQC2: 非侵入的なQEMUコードカバレッジプラグイン
• Authors: Nils Bosbach, Alwalid Salama, Lukas Jünger, Mark Burton, Niko Zurstraßen, Rebecca Pelke, Rainer Leupers,
• Abstract要約: 一般的に使用されるアプローチでは、実行中にカバレッジ情報を収集してダンプするコードを追加することで、ソースファイルをインストレーションする。 NQC2はQEMU.NQC2用のプラグインで、実行時にQEMUからカバレッジ情報を抽出し、ホストマシン上のファイルに格納する。 改良されたQEMUバージョンと互換性があり、ターゲット・ソフトウェア・インスツルメンテーションを必要としない。
• 参考スコア（独自算出の注目度）: 1.021899953416314
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Code coverage analysis has become a standard approach in software development, facilitating the assessment of test suite effectiveness, the identification of under-tested code segments, and the discovery of performance bottlenecks. When code coverage of software for embedded systems needs to be measured, conventional approaches quickly meet their limits. A commonly used approach involves instrumenting the source files with added code that collects and dumps coverage information during runtime. This inserted code usually relies on the existence of an operating and a file system to dump the collected data. These features are not available for bare-metal programs that are executed on embedded systems. To overcome this issue, we present NQC2, a plugin for QEMU.NQC2 extracts coverage information from QEMU during runtime and stores them into a file on the host machine. This approach is even compatible with modified QEMU versions and does not require target-software instrumentation. NQC2 outperforms a comparable approach from Xilinx by up to 8.5 x.
• Abstract（参考訳）: コードカバレッジ分析は、テストスイートの有効性の評価、未テストのコードセグメントの識別、パフォーマンスボトルネックの発見を容易にする、ソフトウェア開発における標準的なアプローチとなっている。 組み込みシステムのソフトウェアのコードカバレッジを測定する必要がある場合、従来のアプローチはその限界を迅速に満たす。 一般的に使用されるアプローチでは、実行中にカバレッジ情報を収集してダンプするコードを追加することで、ソースファイルをインストレーションする。 この挿入コードは、通常、収集されたデータをダンプするためのオペレーティングシステムとファイルシステムの存在に依存します。 これらの機能は、組み込みシステムで実行されるベアメタルプログラムでは利用できない。 そこで本研究では,QEMU.NQC2のプラグインであるNQC2について,実行中にQEMUからカバレッジ情報を抽出し,ホストマシン上のファイルに格納する。 このアプローチは改良されたQEMUバージョンと互換性があり、ターゲット・ソフトウェア・インスツルメンテーションを必要としない。 NQC2は最大8.5倍のXilinxのアプローチより優れている。

関連論文リスト

• BASICS: Binary Analysis and Stack Integrity Checker System for Buffer Overflow Mitigation [0.0]
  サイバー物理システムは私たちの日常生活において重要な役割を担い、電力や水などの重要なサービスを提供してきた。 従来の脆弱性発見技術は、Cプログラムのバイナリコードに直接適用する場合、スケーラビリティと精度に苦労する。 この研究は、モデルチェックとココリック実行技術を活用することによって、これらの制限を克服するために設計された新しいアプローチを導入している。
  論文  参考訳（メタデータ） (2025-11-24T20:11:41Z)
• Code2MCP: Transforming Code Repositories into MCP Services [53.234097255779744]
  Model Context Protocol (MCP)は、大規模言語モデルがどのようにツールを使用するかの標準を作成することを目的としている。 私たちは、GitHubリポジトリを機能的なMSPサービスに自動的に変換するエージェントベースのフレームワークであるCode2MCPを紹介します。 Code2MCPはバイオインフォマティクス、数学、流体力学などの科学分野におけるオープンソースの計算ライブラリの変換に成功している。
  論文  参考訳（メタデータ） (2025-09-07T06:13:25Z)
• Training Language Models to Generate Quality Code with Program Analysis Feedback [66.0854002147103]
  大規模言語モデル(LLM)によるコード生成は、ますます本番環境で採用されているが、コード品質の保証には失敗している。 実運用品質のコードを生成するためにLLMにインセンティブを与える強化学習フレームワークであるREALを提案する。
  論文  参考訳（メタデータ） (2025-05-28T17:57:47Z)
• qlbm -- A Quantum Lattice Boltzmann Software Framework [0.0]
  我々はQBM(Quantum Lattice Boltzmann Methods)の開発、シミュレーション、解析を容易にするために設計されたPythonソフトウェアパッケージであるqlbmを提案する。 qlbmは、新しいQBMの実装に合わせて量子コンポーネントの抽象化階層を導入するモジュラーフレームワークである。 自動ベンチマークユーティリティに組み込まれた複雑な境界条件を持つ2次元および3次元の複数のQBMを示すことで、ソフトウェアの汎用性を実証する。
  論文  参考訳（メタデータ） (2024-11-29T02:41:07Z)
• A Toolchain for Assisting Migration of Software Executables Towards Post-Quantum Cryptography [3.0982846350824613]
  量子コンピューティングは、今日のセキュリティメカニズムに重大な世界的脅威をもたらす。 セキュリティ専門家と公共セクターは、組織がソフトウェアをポスト量子暗号(PQC)に移行するのを支援するためのガイドラインを発行している。 この移行をサポートするための(半自動的な)ツールが欠けているのは、特にソフトウェアがバイナリ実行ファイルとして使用され、デプロイされている時です。
  論文  参考訳（メタデータ） (2024-09-12T08:56:50Z)
• Benchmarking Uncertainty Quantification Methods for Large Language Models with LM-Polygraph [83.90988015005934]
  不確実性定量化は機械学習アプリケーションにおいて重要な要素である。 最新のUQベースラインの集合を実装した新しいベンチマークを導入する。 我々は、11タスクにわたるUQと正規化技術に関する大規模な実証的研究を行い、最も効果的なアプローチを特定した。
  論文  参考訳（メタデータ） (2024-06-21T20:06:31Z)
• QParallel: Explicit Parallelism for Programming Quantum Computers [62.10004571940546]
  並列量子プログラミングのための言語拡張を提案する。 QParallelは、現在の量子プログラミング言語における並列性に関する曖昧さを取り除く。 並列化によって最も利益を上げるサブルーチンを識別し,並列領域の配置にプログラマを誘導するツールを提案する。
  論文  参考訳（メタデータ） (2022-10-07T16:35:16Z)
• QASMBench: A Low-level QASM Benchmark Suite for NISQ Evaluation and Simulation [10.80688326599566]
  我々は、OpenQASMアセンブリ表現に基づくQASMBenchと呼ばれる低レベルで使いやすいベンチマークスイートを提案する。 化学、シミュレーション、線形代数、探索、最適化、算術、機械学習、耐障害性、暗号など、様々な分野からよく使われる量子ルーチンとカーネルを統合する。 QASMBenchはIBM-Q、Rigetti、IonQ、Quantinuumなど、いくつかのNISQプラットフォーム上で起動および検証できる。
  論文  参考訳（メタデータ） (2020-05-26T20:25:44Z)

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

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