CSKシステムズ中部は、ソフトウエア開発における上流工程の基盤技術としてVDM(形式手法)に注目しています。

VDMでは、上流工程で仕様記述言語を使用したモデルを構築します。このため、欠陥は従来より早く発見され、より上流の工程で修正することが可能となります。上流工程で欠陥を発見･修正することで、欠陥修正コストは10分の1から100分の1で済みます。

大規模、複雑なシステムになるほど、作るべきシステムの要求を開発者全員で共有できる仕組み作りが必要になるとともに、仕様の正当性を検証できる仕掛けが必要になります。その解決策として、CSKシステムズ中部ではソフトウエア開発における上流工程の基盤技術として「VDM」を提案します。

VDMを効果的に活用することにより、エキスパートの専門知識を多重解釈のない明確な仕様として形式化し、仕様品質をエンジニアリング的に高めることが可能となります。エキスパートに依存したナレッジを再利用可能な技術的体系に融合させ、VDM導入のパイロットプロジェクトを支援するトータルソリューション、それが「Folha」です。

“Folha”(フォーラ)はポルトガル語で“葉っぱ”を意味します。生き生きとした葉が元気な樹木を育てるように、仕様を丹念に仕上げることから始めて元気なシステムを作りたい。Folhaにはそんな願いが込められています。

VDMを用いた開発を支援する「VDMTools」を統合開発環境として提供します。

VDMToolsはISO標準であるVDM-SLと、そのオブジェクト指向拡張であるVDM++という構造的で明確な記法により、ソフトウエアの厳密なモデル化を支援します。

• VDMとは？
• VDMをはじめる
• VDMを知る
• ※VDMToolsダウンロード