富士通、NEC、日立など、東京証券取引所のエンタプライズ系ソフトを対象に実証実験を開始
エンタープライズ
企業
注目記事
-
【デスクツアー】真似したい自宅デスク環境一挙公開！
-
東証、新しい株売買システム「arrowhead」稼働開始 〜 ミリ秒レベルで注文に応答
-
TCNとメディアキャスト、CATVを用いたスマートグリッドの実証実験を開始
/
この実験は、「形式手法」の有効性を計るもの。形式手法とは、品質の高いソフトウェアを効率よく開発するために、数学を基盤とした矛盾のない仕様書を書いて、それが正しいかどうかを検証する手法のこと。エンタプライズ系ソフトについては適用事例が少ないため、DSFは事例およびノウハウを収集し、実験実施後に実験報告書としてIPA SECから公開する予定。
実験はIPA SECのワーキンググループで実施され、メンバとしてDSFおよび東京証券取引所、さらに有識者が参加する。具体的には、エンタプライズ系かつ高信頼が求められるシステムを多く保有する東京証券取引所で、現在稼働中のソフトウェアの設計書を対象に、形式手法活用ガイドの手順に従って設計書の不整合や曖昧さなど設計書としての欠陥の除去を実施する。
なお本実験では、DSFが作成した「形式手法活用ガイド」を活用する予定。ガイドは、同日よりDSF公式ホームページで正式リリースされている。またDSFは本実験を通して得られた知見を本ガイドにフィードバックし、2012年3月に改訂版として公開する予定。
《冨岡晶》
特集
この記事の写真
/
