情報処理学会 第76回全国大会講演要旨

ソフトウェア開発における設計の信頼性を向上する技術として形式
手法に着目し、開発現場への適用による効果と課題について、事例
を挙げて分析する。形式手法の開発現場への適用では、多くの開発
者にとって不慣れな数理的手法への抵抗と、適用効果の不明瞭さが
課題になる。弊社ではIPA/SECによる情報系の実稼働システムを対
象とした形式手法適用実験から、適用効果については十分な訴求が
可能であると考え、残る数理的手法への抵抗をいかにして取り除く
かに取り組んでいる。本稿ではその活動の一つとして、状態遷移設
計を利用した形式手法の適用事例を紹介する。