論文の概要: NFR-to-Code Traceability in a Blockchain-IoT System: An Empirical Study

• arxiv url: http://arxiv.org/abs/2607.25325v1
• Date: Tue, 28 Jul 2026 06:20:33 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-29 20:50:42.725952
• Title: NFR-to-Code Traceability in a Blockchain-IoT System: An Empirical Study
• Title（参考訳）: ブロックチェーンIoTシステムにおけるNFR-to-Codeトレーサビリティ:実証的研究
• Abstract要約: 本稿では,NFR-to-Codeトレーサビリティを実世界のブロックチェーン-IoTプロジェクトに基づいて検討する。 異種アーティファクト間のトレースリンクを構築するためのアノテーションプロトコルを設計し、FRとNFRのリンクを含む手作業でキュレートされたサブセットを構築する。 その結果、セキュリティ関連のNFRが最も難しいサブセットであるのに対して、FR-to-CodeトレースはNFR-to-Codeトレースよりも一貫して簡単であることがわかった。
• 参考スコア（独自算出の注目度）: 14.238775682979513
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Requirement-to-Code traceability has been widely studied, yet existing research and public benchmarks remain largely centered on functional requirements (FRs). In contrast, traceability for non-functional requirements (NFRs) remains more difficult and underexplored, which hinders the verification of critical quality concerns such as security and reliability.This paper studies NFR-to-Code traceability based on a real-world blockchain-IoT project. We design an annotation protocol for constructing trace links across heterogeneous artifacts and build a manually curated subset containing both FR and NFR links. Using this subset, we examine the characteristics of NFR traceability and further evaluate four representative retrieval baselines: TF-IDF, BM25, LSI, and WMD. The results show that FR-to-Code tracing is consistently easier than NFR-to-Code tracing, while security-related NFRs are the most difficult subset. They further indicate that the main challenge of NFR traceability lies not in requirement availability, but in implementation evidence that is distributed and not clearly localized in code.
• Abstract（参考訳）: コード間の要求トレーサビリティは広く研究されているが、既存の研究と公開ベンチマークは主に機能要件(FR)に焦点を当てている。 対照的に、非機能要件(NFR)のトレーサビリティは、セキュリティや信頼性といった重要な品質上の懸念の検証を妨げるため、より困難で過小評価され、実際のブロックチェーン-IoTプロジェクトに基づいたNFR-to-Codeトレーサビリティについて研究する。 異種アーティファクト間のトレースリンクを構築するためのアノテーションプロトコルを設計し、FRとNFRのリンクを含む手作業でキュレートされたサブセットを構築する。 このサブセットを用いて、NFRトレーサビリティの特性を調べ、TF-IDF、BM25、LSI、WMDの4つの代表的な検索ベースラインを更に評価する。 その結果、セキュリティ関連のNFRが最も難しいサブセットであるのに対して、FR-to-CodeトレースはNFR-to-Codeトレースよりも一貫して簡単であることがわかった。 さらに彼らは、NFRトレーサビリティの主な課題は、要件の可用性ではなく、コードに分散し、明確にローカライズされていない実装エビデンスにあることを示している。

関連論文リスト

• Scalable and Verifiable Federated Learning for Cross-Institution Financial Fraud Detection [0.0]
  本研究では,不正検出のためのセキュアアグリゲーションフレームワークであるDynamic Sharded Learning (DSFL)を提案する。 DSFLはトポロジを動的シャーディングに置き換え、O(N2) から m(N2) への複雑さを減らす インサイダーの脅威を軽減するために,加法的同型コミットメント機構である線形積分タグを導入する。
  論文  参考訳（メタデータ） (2026-04-25T20:49:22Z)
• NERFIFY: A Multi-Agent Framework for Turning NeRF Papers into Code [49.610331036334316]
  我々はNeRF研究論文をトレーニング可能なNerfstudioプラグインに確実に変換するフレームワークであるNERFIFYを紹介する。 コード、データ、実装が公開される。
  論文  参考訳（メタデータ） (2026-02-28T20:57:32Z)
• RealSec-bench: A Benchmark for Evaluating Secure Code Generation in Real-World Repositories [58.32028251925354]
  LLM(Large Language Models)は、コード生成において顕著な能力を示しているが、セキュアなコードを生成する能力は依然として重要で、未調査の領域である。 我々はRealSec-benchを紹介します。RealSec-benchは、現実世界の高リスクなJavaリポジトリから慎重に構築されたセキュアなコード生成のための新しいベンチマークです。
  論文  参考訳（メタデータ） (2026-01-30T08:29:01Z)
• Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation [52.626086874715284]
  我々は、安全でない出力の階層構造を検証する抽象的DNN検証と呼ばれる新しい問題定式化を導入する。 出力到達可能な集合に関する抽象的解釈と推論を活用することにより,形式的検証プロセスにおいて,複数の安全性レベルを評価することができる。 我々の貢献には、新しい抽象的安全性の定式化と既存のアプローチとの関係を理論的に探求することが含まれる。
  論文  参考訳（メタデータ） (2025-05-08T13:29:46Z)
• RobuNFR: Evaluating the Robustness of Large Language Models on Non-Functional Requirements Aware Code Generation [52.87427601131587]
  NFR対応コード生成におけるLLMのロバスト性を評価するため,RobuNFRを提案する。 実験の結果,コード生成におけるNFRを考慮した場合,RobuNFRは試験LLMの問題を明らかにすることがわかった。
  論文  参考訳（メタデータ） (2025-03-28T20:05:33Z)
• FRAG: Toward Federated Vector Database Management for Collaborative and Secure Retrieval-Augmented Generation [1.3824176915623292]
  本稿では,検索集約システム (RAG) のニーズの増大に対応する新しいデータベース管理パラダイムである textitFederated Retrieval-Augmented Generation (FRAG) を紹介する。 FRAGは、ANN(Approximate $k$-Nearest Neighbor)による、暗号化されたクエリベクタと分散ベクトルデータベースに格納された暗号化データ検索を相互に行うことができる。
  論文  参考訳（メタデータ） (2024-10-17T06:57:29Z)
• Non-negative Contrastive Learning [34.857412784865645]
  深い表現は、ブラックボックス方式で下流タスクに転送する際の有望なパフォーマンスを示している。 しかし、解釈可能性の欠如は依然として大きな課題である。 解釈可能な特徴を導出するための非負のコントラスト学習を提案する。
  論文  参考訳（メタデータ） (2024-03-19T05:30:50Z)
• UFed-GAN: A Secure Federated Learning Framework with Constrained Computation and Unlabeled Data [50.13595312140533]
  本稿では,UFed-GAN: Unsupervised Federated Generative Adversarial Networkを提案する。 実験により,プライバシを保ちながら,限られた計算資源とラベルなしデータに対処するUFed-GANの強い可能性を示す。
  論文  参考訳（メタデータ） (2023-08-10T22:52:13Z)
• Zero-Shot Learning for Requirements Classification: An Exploratory Study [6.855054517723465]
  要件工学(RE)研究者は、さまざまなREタスクに対して機械学習(ML)とディープラーニング(DL)アプローチを実験している。 今日のML-DLアプローチのほとんどは、教師付き学習技術に基づいており、アノテーション付きデータセットを使用してトレーニングする必要がある。 本稿では,ZSL (Unsupervised Zero-Shot Learning) 技術を用いて要求分類を行う手法を提案する。
  論文  参考訳（メタデータ） (2023-02-09T16:05:01Z)
• Validation Diagnostics for SBI algorithms based on Normalizing Flows [55.41644538483948]
  本研究は,NFに基づく多次元条件(後)密度推定器の検証診断を容易にすることを提案する。 また、局所的な一貫性の結果に基づいた理論的保証も提供する。 この作業は、より良い特定モデルの設計を支援したり、新しいSBIアルゴリズムの開発を促進するのに役立つだろう。
  論文  参考訳（メタデータ） (2022-11-17T15:48:06Z)

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

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