Alloy Analyzerとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Alloy Analyzerの意味・解説 

Alloy Analyzer

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/26 06:40 UTC 版)

ナビゲーションに移動 検索に移動

軽量形式手法の一つ。仕様をモデルとして記述し検証するシステム。定義したデータの関係がどうなるか、模擬試験した結果を順に表示する仕組みがある。 設計者が想定していない関係が現れたら、仕様記述の不具合の可能性がある。 UML記述システムとAlloy Analyzeとの連携ソフトウェアがあり、UMLの記述ができる技術者が容易に利用できるようになっている。[1]

脚注

  1. ^ http://www.sparxsystems.jp/products/EA/tech/Alloy.htm UML記述システムとAlloy Analyzerとの連携

参考文献

  • 抽象によるソフトウェア設計−Alloyではじめる形式手法 ,Daniel Jackson, オーム社,2011年 ISBN 978-4274068584
  • 在庫管理プログラムに対するAlloy Analyzerを用いた検証事例, 森 恵弥佳, 岡野浩三, 楠本真二,大阪大学, コンピュータソフトウェア, volume 30, number 3, pages 187-193 2013年8月.日本ソフトウェア科学会 http://sdl.ist.osaka-u.ac.jp/pman/pman3.cgi?DOWNLOAD=201
  • 独立行政法人情報処理推進機構 委託 2013 年度ソフトウェア工学分野の先導的研究支援事業 「形式仕様とテスト生成の部分的・段階的な活用 ~探索を通したコード中心インクリメンタル型開発の支援」 成果報告書 平成 27 年 2 月 情報・システム研究機構 国立情報学研究所 https://www.ipa.go.jp/files/000045270.pdf
  • 演習コースII 形式手法と仕様記述 Bチーム 2015/2/27 発表資料 蛸島 昭之, 日本科学技術連盟, http://juse-sqip.jp/workshop/seika/2014/attachs/20150227-II-B.pdf

外部リンク




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「Alloy Analyzer」の関連用語

Alloy Analyzerのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Alloy Analyzerのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのAlloy Analyzer (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS