「情報系の実稼働システムを対象とした形式手法適用実験報告書」の公開：IPA 独立行政法人 情報処理推進機構

2012年4月20日公開 独立行政法人情報処理推進機構 技術本部 ソフトウェア・エンジニアリング・センター 概要 国民生活にとって、ソフトウェアおよびそれらが構成するシステムは、あらゆる業界のビジネスを進める基盤や社会インフラとして、なくてはならないものとなっています。同時に、システムの不具合が経済や国民生活に与える影響も大きくなり、 社会問題化する事例も増えています。 このような背景から、IPA/SECでは、高信頼性ソフトウェア開発に有効な手法と言われている 「形式手法（*1）」に着目し、普及に向けた活動に取り組んでいます。しかし、実際の開発現場ではあまり普及が進んでおらず、形式手法の導入を検討する際に必要な情報が不足していることが、その要因の一つとしてあげられます。 そこで、IPA/SECでは次の情報収集を目的とし、適用実験を行いました。 どのように形式手法を利用するのか、またどのよう

[mkozo]

興味深い．でも“『ソフトウェア開発データ白書2010-2011』データとの比較”に書かれている結論はやや短絡的では・・・

[lEDfm4UE]

「情報系の実稼働システムを対象とした形式手法適用実験報告書」の公開