Fugu-MT 論文翻訳(概要): An Interactive Empirical Approach to the Validation of Software Package Specifications

論文の概要: An Interactive Empirical Approach to the Validation of Software Package Specifications

arxiv url: http://arxiv.org/abs/2401.17596v1
Date: Wed, 31 Jan 2024 04:49:04 GMT
ステータス: 処理完了
システム内更新日: 2024-02-01 15:39:14.994754
Title: An Interactive Empirical Approach to the Validation of Software Package Specifications
Title（参考訳）: ソフトウェアパッケージ仕様の検証のためのインタラクティブな実証的アプローチ
Authors: S.D. Fraser and P.P. Silvester
Abstract要約: 検証プロセスは一貫性チェックに基づいている。シナリオによって、顧客は実装前に指定されたシステムをインタラクティブに体験することができる。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: The objective of this research is the development of a practical system to manipulate and validate software package specifications. The validation process developed is based on consistency checks. Furthermore, by means of scenarios, the customer will be able to interactively experience the specified system prior to its implementation. Functions, data, and data types constitute the framework of our validation system. The specification of the Graphical Kernel System (GKS) is a typical example of the target software package specifications to be manipulated.
Abstract（参考訳）: 本研究の目的は,ソフトウェアパッケージ仕様を操作・検証するための実用システムの開発である。開発した検証プロセスは一貫性チェックに基づいている。さらに、シナリオによって、顧客は実装前に指定されたシステムをインタラクティブに体験することができる。関数、データ、データ型が検証システムのフレームワークを構成しています。 Graphical Kernel System (GKS) の仕様は、対象とするソフトウェアパッケージ仕様の典型的な例である。

関連論文リスト

A Graphics Function Standard Specification Validator [0.0]
標準グラフィックス関数の自然言語ソフトウェア仕様に対して検証手法を提案し,実装した。チェックは、一貫性、完全性、データ要素と関数記述の曖昧さの欠如のために行われる。
論文参考訳（メタデータ） (2024-01-31T04:54:17Z)
Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking [2.9129603096077332]
我々は,汎用ソフトウェアシステムの脆弱性を効果的に検出できる境界モデル検査手法を提唱する。我々は,最先端の有界モデルチェッカーを用いて,大規模ソフトウェアシステムを検証する手法を開発し,評価した。
論文参考訳（メタデータ） (2023-11-09T11:25:24Z)
A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis [54.959571890098786]
システム仕様を符号化し、対応する証明書を定義するためのフレームワークを提供する。コントローラと証明書を形式的に合成する自動化手法を提案する。我々のアプローチは、ニューラルネットワークの柔軟性を利用して、制御のための安全な学習の幅広い分野に寄与する。
論文参考訳（メタデータ） (2023-09-12T09:37:26Z)
Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages [0.0]
プッシュダウンリアクティブシステムをテストすることは、正確で堅牢なソフトウェア開発プロセスを保証する上で重要であると考えられている。本稿では,この整合性関係を用いて完全な障害カバレッジを持つテストスイートを,プッシュダウンリアクティブシステムに生成可能であることを示す。
論文参考訳（メタデータ） (2023-08-14T14:37:43Z)
Validation-Driven Development [54.50263643323]
本稿では,形式的開発における要件の検証を優先する検証駆動開発(VDD)プロセスを紹介する。 VDDプロセスの有効性は、航空業界におけるケーススタディを通じて実証されている。
論文参考訳（メタデータ） (2023-08-11T09:15:26Z)
Interactive System-wise Anomaly Detection [66.3766756452743]
異常検出は様々なアプリケーションにおいて基本的な役割を果たす。既存のメソッドでは、インスタンスがデータとして容易に観察できないシステムであるシナリオを扱うのが難しい。システム埋め込みを学習するエンコーダデコーダモジュールを含むエンドツーエンドアプローチを開発する。
論文参考訳（メタデータ） (2023-04-21T02:20:24Z)
Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
本稿は、正式に認証されたシステムを作成し、実際に使用するためにデプロイした各種のアプリケーション分野のプロジェクトについて検討する。使用する技術、適用の形式、得られた結果、そしてソフトウェア産業が形式的な検証技術やツールの恩恵を受ける能力について示すべき教訓を考察する。
論文参考訳（メタデータ） (2023-01-05T18:18:46Z)
Exploring validation metrics for offline model-based optimisation with diffusion models [50.404829846182764]
モデルベース最適化(MBO)では、マシンラーニングを使用して、(基底真理)オラクルと呼ばれるブラックボックス関数に対する報酬の尺度を最大化する候補を設計することに興味があります。モデル検証中に基底オラクルに対する近似をトレーニングし、その代わりに使用することができるが、その評価は近似的であり、敵の例に対して脆弱である。本手法は,外挿量を測定するために提案した評価フレームワークにカプセル化されている。
論文参考訳（メタデータ） (2022-11-19T16:57:37Z)
Model-based Analysis and Specification of Functional Requirements and Tests for Complex Automotive Systems [0.19837121116620585]
本稿では,利害関係者の観点からの検証対象の早期識別から始まる手法を提案する。完全かつ一貫した要件とテスト仕様を保証するために,モデルベースシステム工学(MBSE)手法を開発した。本研究は,我々の方法論が適用可能であること,既存の要件とテスト仕様プロセスを改善することを裏付けるものである。
論文参考訳（メタデータ） (2022-09-03T18:24:32Z)
Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions [60.26921219698514]
CBFをベースとした安全クリティカルコントローラのモデル不確実性を考慮した再構成を提案する。次に、結果の安全制御器のポイントワイズ実現可能性条件を示す。これらの条件を利用して、イベントトリガーによるオンラインデータ収集戦略を考案する。
論文参考訳（メタデータ） (2022-08-23T05:02:09Z)

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