富士通、NEC、日立など、東京証券取引所のエンタプライズ系ソフトを対象に実証実験を開始 | RBB TODAY

NTTデータ、富士通、日本電気、日立製作所、東芝、CSKの6社と、情報・システム研究機構 国立情報学研究所が参加するディペンダブル・ソフトウェア・フォーラム（Dependable Software Forum、略称名はDSF）は21日、情報処理推進機構 ソフトウェア・エンジニアリング・センター（IPA SEC）のワーキンググループに参加し、東京証券取引所のエンタプライズ系ソフトウェアを対象に実証実験を実施することを発表した。 この実験は、「形式手法」の有効性を計るもの。形式手法とは、品質の高いソフトウェアを効率よく開発するために、数学を基盤とした矛盾のない仕様書を書いて、それが正しいかどうかを検証する手法のこと。エンタプライズ系ソフトについては適用事例が少ないため、DSFは事例およびノウハウを収集し、実験実施後に実験報告書としてIPA SECから公開する予定。 実験はIPA SECのワーキ