文献

J-GLOBAL ID：201002242552367592   整理番号：10A0943963

Alloyを用いた構成変更支援ツールと適用実験

An Implementation of Configuration Change Support Tool Using Alloy and Application Test

著者 (3件)： 谷崎裕明 (北陸先端科学技術大学院大) ,  青木利晃 (北陸先端科学技術大学院大) ,  片山卓也 (北陸先端科学技術大学院大)
資料名： 情報処理学会研究報告(CD-ROM)
巻： 2010  号： 2  ページ： ROMBUNNO.SE-169,2  発行年： 2010年08月15日 
JST資料番号： Z0031C  ISSN： 2186-2583  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ソフトウェアの設定ファイルは,誤りの無いよう記述しなければならない。しかし,設定ファイルの内容が複雑な場合や規模が大きい場合,人手による管理も困難となる。我々は,設定ファイル等を体系的に管理するためのフレームワークを提案した。フレームワークでは,設定ファイルの文法や記述内容の依存関係をフィーチャモデルで表現する。設定ファイルのフィーチャモデルと記述内容との整合性を判定することで,誤りの検出と誤りの原因と修正方法の特定を行う。整合性は,設定ファイルのフィーチャモデルと記述内容をAlloyで記述し,Alloyを用いて判定する。本稿では,フレームワークに基づいて作成したツールをApacheの設定ファイルであるhttpd.confへ適用した結果について述べる。(著者抄録)

シソーラス用語： システムマネジメント ,  *計算機ファイル ,  整定 ,  *フレームワーク【ソフトウェア開発】 ,  モデル ,  誤り検出 ,  誤り訂正 ,  *システム記述言語 ,  支援プログラム
準シソーラス用語： *Alloy ,  システム管理 ,  ソフトウェアツール ,  フィーチャモデル ,  構成変更 ,  設定 ,  *設定ファイル

分類 (3件)： オペレーティングシステム  (JD03020J) ,  計算機システム開発  (JD02010R) ,  応用プログラミング言語  (JD03052Y)

タイトルに関連する用語 (2件)： 支援ツール ,  実験