論文の概要: A Graphics Function Standard Specification Validator
- arxiv url: http://arxiv.org/abs/2401.17599v1
- Date: Wed, 31 Jan 2024 04:54:17 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-01 15:39:41.147808
- Title: A Graphics Function Standard Specification Validator
- Title（参考訳）: グラフィック関数標準仕様検証器
- Authors: Steven D. Fraser and Peter P. Silvester
- Abstract要約: 標準グラフィックス関数の自然言語ソフトウェア仕様に対して検証手法を提案し,実装した。
チェックは、一貫性、完全性、データ要素と関数記述の曖昧さの欠如のために行われる。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: A validation methodology is proposed and implemented for natural language
software specifications of standard graphics functions. Checks are made for
consistency, completeness, and lack of ambiguity in data element and function
descriptions. Functions and data elements are maintained in a relational
database representation. The appropriate checks are performed by sequences of
database operations. The relational database manager INGRES was used to support
a prototype implementation of the proposed technique. The methodology supports
the development of a scenario-based prototype from the information available in
the specification. This permits various function sequences to be checked
without implementation of the environment specified. The application of a
prototype implementation of the proposed methodology to the specification of
the Graphics Kernel System (GKS) software package demonstrates the
practicability of the method. Several inconsistencies in GKS related to the
definition of data elements have been identified.
- Abstract（参考訳）: 標準グラフィックス関数の自然言語ソフトウェア仕様に対して検証手法を提案し,実装した。
一貫性、完全性、データ要素と関数記述のあいまいさの欠如のためにチェックが行われる。
関数とデータ要素はリレーショナルデータベース表現で保持される。
適切なチェックはデータベース操作のシーケンスによって行われる。
リレーショナルデータベースマネージャINGRESは、提案手法のプロトタイプ実装をサポートするために使用された。
この方法論は、仕様で利用可能な情報からシナリオベースのプロトタイプの開発を支援する。
これにより、環境を指定せずに様々な関数シーケンスをチェックすることができる。
提案手法のプロトタイプ実装をグラフィクスカーネルシステム(GKS)ソフトウェアパッケージの仕様に適用することにより,本手法の実用性を示す。
データ要素の定義に関連するGKSのいくつかの矛盾が特定されている。
関連論文リスト
- Annotating Control-Flow Graphs for Formalized Test Coverage Criteria [0.3277163122167433]
制御フローグラフにグラフ自体から推測される決定情報をアノテートする方法を示す。
我々は,一般的なコンパイラから出力されるCFGを自動的にアノテートするツールとして,アルゴリズムを実装した。
論文 参考訳（メタデータ） (2024-07-04T20:13:03Z) - Towards an Enforceable GDPR Specification [49.1574468325115]
プライバシ・バイ・デザイン(PbD)は、EUなどの現代的なプライバシー規制によって規定されている。
PbDを実現する1つの新しい技術は強制(RE)である
法律規定の正式な仕様を作成するための一連の要件と反復的な方法論を提示する。
論文 参考訳（メタデータ） (2024-02-27T09:38:51Z) - An Interactive Empirical Approach to the Validation of Software Package
Specifications [0.0]
検証プロセスは一貫性チェックに基づいている。
シナリオによって、顧客は実装前に指定されたシステムをインタラクティブに体験することができる。
論文 参考訳（メタデータ） (2024-01-31T04:49:04Z) - SpecGen: Automated Generation of Formal Program Specifications via Large Language Models [20.36964281778921]
SpecGenは、大規模言語モデルに基づく形式的なプログラム仕様生成のための新しいテクニックである。
SV-COMP 279ベンチマークと手動で構築したデータセットを含む2つのデータセット上でSpecGenを評価する。
論文 参考訳（メタデータ） (2024-01-16T20:13:50Z) - Code Models are Zero-shot Precondition Reasoners [83.8561159080672]
シーケンシャルな意思決定タスクのために、コード表現を使ってアクションの前提条件を推論します。
本稿では,政策によって予測される行動が前提条件と一致していることを保証する事前条件対応行動サンプリング戦略を提案する。
論文 参考訳（メタデータ） (2023-11-16T06:19:27Z) - Rely-guarantee Reasoning about Concurrent Memory Management:
Correctness, Safety and Security [0.0]
メモリ管理の誤った仕様と実装は、システムのクラッシュや悪用可能な攻撃につながる可能性がある。
本稿では,実世界のOSにおける並列メモリ管理の最初の正式な仕様と機構的証明について述べる。
論文 参考訳（メタデータ） (2023-09-17T03:41:10Z) - A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis [54.959571890098786]
システム仕様を符号化し、対応する証明書を定義するためのフレームワークを提供する。
コントローラと証明書を形式的に合成する自動化手法を提案する。
我々のアプローチは、ニューラルネットワークの柔軟性を利用して、制御のための安全な学習の幅広い分野に寄与する。
論文 参考訳（メタデータ） (2023-09-12T09:37:26Z) - Measuring Rule-based LTLf Process Specifications: A Probabilistic
Data-driven Approach [2.5407767658470726]
宣言的プロセス仕様は、有限トレース上の線形時間論理に基づくルールによってプロセスの振舞いを定義します。
マイニングの文脈では、これらの仕様は情報システムによって記録された複数セットの実行から推論され、チェックされる。
本稿では,イベントログに対する仕様書の満足度を測定する手法を提案する。
論文 参考訳（メタデータ） (2023-05-09T13:07:01Z) - Relational Action Bases: Formalization, Effective Safety Verification,
and Invariants (Extended Version) [67.99023219822564]
我々はリレーショナルアクションベース(RAB)の一般的な枠組みを紹介する。
RABは両方の制限を解除することで既存のモデルを一般化する。
データ対応ビジネスプロセスのベンチマークにおいて、このアプローチの有効性を実証する。
論文 参考訳（メタデータ） (2022-08-12T17:03:50Z) - SMT-Based Safety Verification of Data-Aware Processes under Ontologies
(Extended Version) [71.12474112166767]
我々は、このスペクトルで最も調査されたモデルの1つ、すなわち単純なアーティファクトシステム(SAS)の変種を紹介する。
このDLは適切なモデル理論特性を享受し、後方到達性を適用可能なSASを定義することができ、対応する安全問題のPSPACEにおける決定可能性をもたらす。
論文 参考訳（メタデータ） (2021-08-27T15:04:11Z) - CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT
(Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。
まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。
次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文 参考訳（メタデータ） (2021-03-18T20:22:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。