ソフトウェア開発プロセスモデルを用いた形式手法導入の検討

摘要

これまでに形式手法を活用して成功した事例は数多く存在する一方で，未だに実際のソフトウェア開発での形式手法の継続的利用やさらには試行さえも特別なものや困難なものと見なされることも多い．これは形式手法が数理学的な基盤を持つ故に難解な印象を与える傾向があることに加え，実際のソフトウェア開発のプロセスに新規な手法を導入したりその利用を継続するためのプロセステーラリングの難しさがあるためと考える．このような問題に対し，我々は抽象的なレベルのソフトウェア開発プロセスモデルでの形式手法の活用の検討が有用と考える．モデルレベルの俯瞰的な観点により形式手法導入の利点や問題点に対する見通しの獲得や関係者間での共有の促進を図る．また，抽象レベルでのソフトウェア開発モデルを介することで，直接的な比較が困難な異なる開発プロセス間での知見の活用の促進を目指す．本稿では抽象的なソフトウェア開発プロセスモデルとしてCMMI-DEVを用い，特に関連プロセス領域に焦点を当てた議論を行う．