Alloy を活用したインフラ設計段階における正当性検証

摘要

ウォーターフォール型のオンプレシステム開発におけるインフラ環境構築では，上流設計での検討漏れや担当者間の認識齟齬による設計ミス，設定誤りが発生する．上記が原因となり後工程で手戻りが発生し，工程遅延や人員追加によるコストの増加が問題となっている[1]．上記問題の対策として，設計・設定のレビュー人員を追加することが考えられるが，人手不足の場合は対応できない．また，人による確認では抜け漏れが起こり得る．