へっどらいん

スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

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

 NTTデータ、富士通、昼間の時間本電気、昼間の時間立製作所、東芝、CSKの6社と、情報?システム探求機構 国立情報学探求所が参加するディペンダブル?ソフトウェア?フォーラム(Dependable Software Forum、略称名はDSF)は21昼間の時間、情報処理推進機構 ソフトウェア?エンジニアリング?センター(IPA SEC)のワーキンググループに参加し、東京証券取引所のエンタプライズ系ソフトウェアを対象に証明実験を実施することを公表した。

【その他の画像、より大きな画像、詳細なデータ表など】

 この実験は、「形式手法」の有効性を計るもの。形式手法とは、気品質の高いソフトウェアを能率よく開発するために、数学を基盤とした矛盾のない仕様書を控えて、それが正しいかどうかを検証する手法のこと。エンタプライズ系ソフトについては適用件例が乏しいため、DSFは事例および技術を収集し、実験実施後に実験レポートとしてIPA SECから公開する計画。

 実験はIPA SECのワーキンググループで実施され、メンバとしてDSFおよび東京証券取引所、さらに有識者が参加する。具体的には、エンタプライズ系かつ高信頼が求められるシステムを多く保持つ東京証券取引所で、現在稼働中のソフトウェアの設計書を対象に、形式手法活用ガイドの手順に追随して設計書の不整合や曖昧さなど設計書としての欠陥の除去を実施する。

 なお本実験では、DSFが作成した「形式手法活用ガイド」を活用する計画。ガイドは、同昼間の時間よりDSF公式ホームページで正式リリースされている。またDSFは本実験を案内して得られた知見を本ガイドにフィード背景し、2012年3月に改訂版として公開する計画。



スポンサーサイト

テーマ :
ジャンル : 車・バイク

コメントの投稿

非公開コメント

プロフィール

japanese weather news,天気,気象予報,気象観測

Author:japanese weather news,天気,気象予報,気象観測
FC2ブログへようこそ!

最新記事
最新コメント
最新トラックバック
月別アーカイブ
カテゴリ
検索フォーム
RSSリンクの表示
リンク
ブロとも申請フォーム

この人とブロともになる

QRコード
QR

上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。