Fugu-MT 論文翻訳(概要): The role of slicing in test-driven development

論文の概要: The role of slicing in test-driven development

arxiv url: http://arxiv.org/abs/2407.13258v1
Date: Thu, 18 Jul 2024 08:10:38 GMT
ステータス: 処理完了
システム内更新日: 2024-07-19 16:22:32.132209
Title: The role of slicing in test-driven development
Title（参考訳）: テスト駆動開発におけるスライスの役割
Authors: Oscar Dieste, Ayse Tosun, Sira Vegas, Adrian Santos, Fernando Uyaguari, Jarno Kyykka, Natalia Juristo,
Abstract要約: テスト駆動開発(TDD)は広く使われているアジャイルプラクティスです。 TDDの理論的枠組みとして,次のような特徴を持つフレームワークを提案する。業界で実施されたコントロールされた実験を使用して、TDD、契約、スライス間の接続をチェックしました。
参考スコア（独自算出の注目度）: 39.01665062857323
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Test-driven development (TDD) is a widely used agile practice. However, very little is known with certainty about TDD's underlying foundations, i.e., the way TDD works. In this paper, we propose a theoretical framework for TDD, with the following characteristics: 1) Each TDD cycle represents a vertical slice of a (probably also small) user story, 2) vertical slices are captured using contracts, implicit in the developers' minds, and 3) the code created during a TDD cycle is a sliced-based specification of a code oracle, using the contracts as slicing pre/post-conditions. We have checked the connections among TDD, contracts, and slices using a controlled experiment conducted in the industry.
Abstract（参考訳）: テスト駆動開発(TDD)は広く使われているアジャイルプラクティスです。しかしながら、TDDの基礎となる基盤、すなわちTDDの動作方法について、確実性はほとんど分かっていない。本稿では,TDDの理論的枠組みについて述べる。 1) 各TDDサイクルは(おそらく小さな)ユーザストーリーの垂直スライスを表します。 2) ディベロッパの心に暗黙的にコントラクトを使用して垂直スライスをキャプチャし、 3) TDDサイクルで作成されたコードは、コードオラクルのスライスベースの仕様で、コントラクトを事前/後条件のスライスとして使用します。業界で実施されたコントロールされた実験を使用して、TDD、契約、スライス間の接続をチェックしました。

関連論文リスト

A Formal Analysis of Iterated TDD [0.0]
テスト駆動開発(TDD)と呼ばれるソフトウェア方法論を正式に分析します。反復されたTDDが、反復されたコードチャーンの観点から安定しながら、'証明可能な正しいコード'を確実に生成するコンテキストを見つけます。我々は、以前の研究で見いだされた'有効'の反復TDDの発見は、この文脈を欠いたことによるものであり、'有効'の反復TDDの発見は、誤ってコンテキストに落ちたり、単にプラセボに落ちてしまうことによるものである、と論じている。
論文参考訳（メタデータ） (2024-07-04T08:07:35Z)
Generative AI for Test Driven Development: Preliminary Results [2.5385600700122737]
テスト駆動開発(TDD)は、エクストリームプログラミングの主要なプラクティスの1つです。ジェネレーティブAI(GenAI)は、TDDによって課される余分な労力を減らすことができる。
論文参考訳（メタデータ） (2024-05-17T15:26:10Z)
Canonical Decision Diagrams Modulo Theories [0.19285000127136376]
決定図は命題公式を表現する強力なツールである。いくつかの形式(例えば OBDD や SDD など)は標準的であり、(原子リスト上の与えられた条件の下では)公式の同値類を単項的に表す。 DDをSMTレベルに活用する新しい手法を提案する。
論文参考訳（メタデータ） (2024-04-25T09:34:49Z)
Active Test-Time Adaptation: Theoretical Analyses and An Algorithm [51.84691955495693]
テスト時間適応(TTA)は、教師なし設定でストリーミングテストデータの分散シフトに対処する。完全TTA設定内に能動学習を統合する能動テスト時間適応(ATTA)の新たな問題設定を提案する。
論文参考訳（メタデータ） (2024-04-07T22:31:34Z)
TDD Without Tears: Towards Test Case Generation from Requirements through Deep Reinforcement Learning [22.331330777536046]
テスト駆動開発(TDD)は、実際のコードを書く前に要件に基づいてテストケースを書くことを義務付ける。テストケースを書くことはTDDの中心ですが、時間がかかり、コストがかかり、開発者が悩まされることも少なくありません。 PyTesterは、テキストからテストケースを生成するアプローチで、正しい、実行可能な、完全な、効果的なテストケースを自動的に生成します。
論文参考訳（メタデータ） (2024-01-15T10:21:58Z)
Towards a TDD maturity model through an anti-patterns framework [0.0]
本稿では、TDDアンチパターンの文脈と、ソフトウェア開発の文脈で実践者が直面するべきことを研究する研究プロジェクトを提案する。結果として、テストによってガイドされたコードを書くプロセスの実践者を支援するために、TDD成熟度フレームワークを提供することを期待しています。
論文参考訳（メタデータ） (2023-07-21T12:30:20Z)
Towards Stable Test-Time Adaptation in Dynamic Wild World [60.98073673220025]
テスト時間適応(TTA)は、与えられたモデルをテストサンプルに適応させることで、トレーニングとテストデータの分散シフトに取り組むのに有効であることが示されている。 TTAのオンラインモデル更新は不安定であり、これはしばしば既存のTTAメソッドが現実世界にデプロイされるのを防ぐ重要な障害である。
論文参考訳（メタデータ） (2023-02-24T02:03:41Z)
Test-time Adaptation vs. Training-time Generalization: A Case Study in Human Instance Segmentation using Keypoints Estimation [48.30744831719513]
我々は,キーポイント推定を用いて,与えられたテスト画像の人間のインスタンスセグメンテーションマスクの品質を向上する問題を考察する。第1のアプローチはテスト時間適応(TTA)法であり、単一のラベルのないテスト画像を用いてセグメント化ネットワークの重みをテスト時間で修正することができる。第2のアプローチは、トレーニング時一般化(TTG)手法であり、ラベル付きソースデータセットへのオフラインアクセスを許可するが、重みのテスト時修正は許可しない。
論文参考訳（メタデータ） (2022-12-12T20:56:25Z)
Robust Continual Test-time Adaptation: Instance-aware BN and Prediction-balanced Memory [58.72445309519892]
テストデータストリーム以外のデータストリームに対して堅牢な新しいテスト時間適応方式を提案する。 a)分布外サンプルの正規化を修正するIABN(Instance-Aware Batch Normalization)と、(b)クラスバランスのない方法で非i.d.ストリームからのデータストリームをシミュレートするPBRS(Predict- Balanced Reservoir Sampling)である。
論文参考訳（メタデータ） (2022-08-10T03:05:46Z)
End-to-end Temporal Action Detection with Transformer [86.80289146697788]
時間的アクション検出(TAD)は、トリミングされていないビデオにおいて、すべてのアクションインスタンスのセマンティックラベルとバウンダリを決定することを目的としている。そこで我々は,textitTadTR と呼ばれる Transformer によるTAD のエンドツーエンドフレームワークを構築した。本手法は,HACSセグメンツとTHUMOS14の最先端性能とActivityNet-1.3の競合性能を実現する。
論文参考訳（メタデータ） (2021-06-18T17:58:34Z)

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