論文の概要: Experimenting a New Programming Practice with LLMs
- arxiv url: http://arxiv.org/abs/2401.01062v1
- Date: Tue, 2 Jan 2024 06:50:20 GMT
- ステータス: 処理完了
- システム内更新日: 2024-01-03 14:33:33.010823
- Title: Experimenting a New Programming Practice with LLMs
- Title(参考訳): LLMによる新しいプログラミング実践の実験
- Authors: Simiao Zhang, Jiaping Wang, Guoliang Dong, Jun Sun, Yueling Zhang,
Geguang Pu
- Abstract要約: AISD (AI-Aided Software Development) というプロトタイプを開発している。
高いレベルの(潜在的に曖昧な)ユーザ要求を入力として取り込むことができる。
詳細なユースケース、プロトタイプシステム設計、そしてその後のシステム実装を生成する。
- 参考スコア(独自算出の注目度): 6.8035637735756715
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The recent development on large language models makes automatically
constructing small programs possible. It thus has the potential to free
software engineers from low-level coding and allow us to focus on the perhaps
more interesting parts of software development, such as requirement engineering
and system testing. In this project, we develop a prototype named AISD
(AI-aided Software Development), which is capable of taking high-level
(potentially vague) user requirements as inputs, generates detailed use cases,
prototype system designs, and subsequently system implementation. Different
from existing attempts, AISD is designed to keep the user in the loop, i.e., by
repeatedly taking user feedback on use cases, high-level system designs, and
prototype implementations through system testing. AISD has been evaluated with
a novel benchmark of non-trivial software projects. The experimental results
suggest that it might be possible to imagine a future where software
engineering is reduced to requirement engineering and system testing only.
- Abstract(参考訳): 近年の大規模言語モデルの開発により,プログラムの自動構築が可能になった。
したがって、低レベルのコーディングからソフトウェアエンジニアを解放する可能性があり、要件工学やシステムテストといったソフトウェア開発のより興味深い部分に集中することができます。
本プロジェクトでは,高度な(潜在的に曖昧な)ユーザ要件を入力として,詳細なユースケース,プロトタイプシステム設計,システム実装を生成できるaisd(ai-aided software development)というプロトタイプを開発した。
既存の試みとは違って、AISDはユーザをループに維持するために設計されており、ユースケース、高レベルのシステム設計、システムテストによるプロトタイプ実装に対するユーザのフィードバックを繰り返し受けている。
AISDは、非自明なソフトウェアプロジェクトの新しいベンチマークで評価されている。
実験結果は、ソフトウェア工学が要件工学とシステムテストのみに還元される未来を想像できる可能性を示唆している。
関連論文リスト
- Human-In-the-Loop Software Development Agents [12.830816751625829]
大規模言語モデル(LLM)は、ソフトウェア開発タスクを自動的に解決するために導入された。
ソフトウェア開発のためのHuman-in-the-loop LLMベースのエージェントフレームワーク(HULA)を紹介する。
私たちは社内使用のために、HULAフレームワークをAtlassianに設計、実装、デプロイしています。
論文 参考訳(メタデータ) (2024-11-19T23:22:33Z) - Automated User Story Generation with Test Case Specification Using Large Language Model [0.0]
要件文書からユーザストーリーを自動生成するツール「GeneUS」を開発した。
アウトプットはフォーマットで提供され、ダウンストリーム統合の可能性は人気のあるプロジェクト管理ツールに開放されます。
論文 参考訳(メタデータ) (2024-04-02T01:45:57Z) - Towards Single-System Illusion in Software-Defined Vehicles -- Automated, AI-Powered Workflow [3.2821049498759094]
本稿では,車載ソフトウェアシステムの開発における,新しいモデルと特徴に基づくアプローチを提案する。
提案されたアプローチの重要なポイントの1つは、近代的な生成AI、特にLarge Language Models(LLM)の導入である。
その結果、パイプラインは広範囲に自動化され、各ステップでフィードバックが生成される。
論文 参考訳(メタデータ) (2024-03-21T15:07:57Z) - CodePori: Large-Scale System for Autonomous Software Development Using Multi-Agent Technology [4.2990995991059275]
大規模言語モデル(LLM)とGPT(Generative Pre-trained Transformer)は、ソフトウェア工学の分野を変えました。
我々は,大規模かつ複雑なソフトウェアプロジェクトのコード生成を自動化するように設計された,新しいシステムであるCodePoriを紹介する。
結果: CodePoriは、典型的なソフトウェア開発プロセスに合わせて、大規模プロジェクトの実行コードを生成することができる。
論文 参考訳(メタデータ) (2024-02-02T13:42:50Z) - Exploring and Characterizing Large Language Models For Embedded System
Development and Debugging [10.967443876391611]
大規模言語モデル (LLM) は、コードを生成する際、顕著な能力を示しているが、組み込みシステム用のソフトウェアを開発する能力は研究されていない。
我々は,組込みシステム開発におけるLLMの能力と限界を評価するためのオープンソースフレームワークを開発した。
この発見を利用して、人間のプログラマがこれらのツールとどのように相互作用するかを研究し、組み込みシステムを構築するためのヒューマンAIベースのソフトウェアエンジニアリングワークフローを開発する。
論文 参考訳(メタデータ) (2023-07-07T20:14:22Z) - Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
本稿は、正式に認証されたシステムを作成し、実際に使用するためにデプロイした各種のアプリケーション分野のプロジェクトについて検討する。
使用する技術、適用の形式、得られた結果、そしてソフトウェア産業が形式的な検証技術やツールの恩恵を受ける能力について示すべき教訓を考察する。
論文 参考訳(メタデータ) (2023-01-05T18:18:46Z) - Fault-Aware Neural Code Rankers [64.41888054066861]
サンプルプログラムの正しさを予測できる故障認識型ニューラルネットワークローダを提案する。
我々のフォールト・アウェア・ローダは、様々なコード生成モデルのpass@1精度を大幅に向上させることができる。
論文 参考訳(メタデータ) (2022-06-04T22:01:05Z) - Enabling Automated Machine Learning for Model-Driven AI Engineering [60.09869520679979]
モデル駆動型ソフトウェアエンジニアリングとモデル駆動型AIエンジニアリングを実現するための新しいアプローチを提案する。
特に、私たちはAutomated MLをサポートし、AI集約システムの開発において、AIの深い知識のないソフトウェアエンジニアを支援します。
論文 参考訳(メタデータ) (2022-03-06T10:12:56Z) - Technology Readiness Levels for Machine Learning Systems [107.56979560568232]
機械学習システムの開発とデプロイは、現代のツールで簡単に実行できますが、プロセスは一般的に急ぎ、エンドツーエンドです。
私たちは、機械学習の開発と展開のための実証済みのシステムエンジニアリングアプローチを開発しました。
当社の「機械学習技術準備レベル」フレームワークは、堅牢で信頼性が高く、責任あるシステムを確保するための原則的なプロセスを定義します。
論文 参考訳(メタデータ) (2021-01-11T15:54:48Z) - Technology Readiness Levels for AI & ML [79.22051549519989]
機械学習システムの開発は、現代的なツールで容易に実行できるが、プロセスは通常急いで、エンドツーエンドで実行される。
エンジニアリングシステムは、高品質で信頼性の高い結果の開発を効率化するために、明確に定義されたプロセスとテスト標準に従います。
我々は、機械学習の開発と展開のための実証されたシステムエンジニアリングアプローチを提案する。
論文 参考訳(メタデータ) (2020-06-21T17:14:34Z) - Machine Learning for Software Engineering: A Systematic Mapping [73.30245214374027]
ソフトウェア開発業界は、現代のソフトウェアシステムを高度にインテリジェントで自己学習システムに移行するために、機械学習を急速に採用している。
ソフトウェアエンジニアリングライフサイクルの段階にわたって機械学習の採用について、現状を探求する包括的な研究は存在しない。
本研究は,機械学習によるソフトウェア工学(MLSE)分類を,ソフトウェア工学ライフサイクルのさまざまな段階に適用性に応じて,最先端の機械学習技術に分類するものである。
論文 参考訳(メタデータ) (2020-05-27T11:56:56Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。