特徴指向ソフトウェア製品ラインのための正当性【JST・京大機械翻訳】

Bordis Tabea; Runge Tobias; Schaefer Ina

文献

J-GLOBAL ID：202002261934167517 整理番号：20A2733243

特徴指向ソフトウェア製品ラインのための正当性【JST・京大機械翻訳】

Correctness-by-construction for feature-oriented software product lines

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A2733243&from=J-GLOBAL&jstjournalNo=D0698C") }}

著者 (3件)： , ,
資料名：
号： GPCE 2020 ページ： 22-34 発行年： 2020年
JST資料番号： D0698C 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

ソフトウェア製品ラインは,カスタムテーラードソフトウェア変異体の成長需要を扱うためにますます使用されている。それらは,単一ソフトウェア製品よりむしろ全製品ファミリーを実装するためのコードにおける変動性メカニズムと対になったソフトウェアの系統的再利用を提供する。製品ラインのためのアプリケーションの共通ドメインは,安全クリティカルシステムであり,それは現場における危険な状況を避けるために行動的正当性を必要とする。ほとんどのアプローチが製品ラインの事後検証に集中している間,正しいプログラムを作成するための段階的アプローチが,成長変動性を管理するために開発者にとって有益であると主張する。正しい構成は,その仕様に関してプログラムの正当性を保証する一連の小型で扱いやすい精密化ルールを用いてプログラムを作成するための段階的アプローチである。本論文では,特徴指向プログラミングを用いて,正しい構築ソフトウェア製品ラインを開発する最初のアプローチを提案した。第1に,符号における変動点のための2つの精密化規則によって,正当性-構築を拡張した。第二に,提案した規則の健全性に対する証明を与えた。第3に,VarCorCと呼ぶツールにこの技術を実装し,2つの事例研究を実施することによってツールの適用性を示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

, , , , , , ,
, , , 【Automatic Indexing@JST】

著者キーワード (4件)： , , ,

計算機システム開発 , 計算機ソフトウエア一般

前のページに戻る