｜ トップページ Webビジネス Eコマース Webファイナンス Webマーケティング パブリック Webテクノロジー 携帯・ワイヤレス Linux Today Linux Tutorial J.I.C.ブログ 転職ならen 派遣ならen アルバイトならen ＩＴ求人情報 今日のヘッドライン 週間ヘッドライン 求人情報はe-aidem ロレックス 合宿免許 フォトコミュニティ ストックフォト クリップアート イラスト イベントカレンダー 書評「IT の耳」 出張・接待検索 ニュースガジェット 新規登録 変更・解除 オプトインメールの登録・変更・解除 パートナーサイト 転職ならエン 就職ならen 求人ならen 履歴書ならen アルバイトならエン CRM/SFAならオラクル 会社概要（地図） グループ会社 株式会社アエリア (株)サンゼロミニッツ 株式会社エアネット お問い合わせ 広告掲載について リンクについて 著作権について その他お問い合わせ 利用規約 個人情報保護方針 Webテクノロジー 2006年8月25日 11:20 Webテクノロジー・バックナンバー Microsoft、プログラムコードのハングアップ要因解消技術を開発 著者: Andy Patrizio 　オリジナル版を読む プリンター用 記事を転送 ▼2006年8月25日 11:20 付の記事 ■海外internet.com発の記事 アプリケーションやデバイスドライバの不具合で、コンピュータが動かなくなってしまい、イライラした経験は誰にでもあるだろう。 この問題の対策に取り組んでいた Microsoft (NASDAQ:MSFT) の研究者たちは、アプリケーションやデバイスドライバのコードを調べる数学的な解決策を見出した。 その解決策こそ、同社研究部門 Microsoft Research の開発したソフトウェア『TERMINATOR』だ。同ツールの開発は、同名のソフトウェア検証プロジェクトとして進んでいる。TERMINATOR はソフトウェアのコードを検証し、全てのループ処理 (繰り返し処理) について制御不能に陥らないか、数学的原理を適用して調べるというものだ。 ソフトウェアの操作ができなくなった時、「固まった」と表現することがあるが、これはよくある誤解だ。この時、プログラムコードの実行が止まったのではない。では何が起きたのかというと、Microsoft の研究者 Byron Cook 氏によれば、ソフトウェアは脱出できない無限ループにはまっているという。 無限ループに陥る状況を回避するため、Cook 氏はアプリケーションが最終的に人間に制御を戻すことができるかどうか論理テストを実施する、数学的解決方法を考案した。Cook 氏は TERMINATOR プロジェクトを開始する前、『SLAM/SDV』プロジェクトに従事していた。こちらは、デバイスドライバに重点を置いた検証ツールで、同社のデバイスドライバモデル『WDM』に基づいてテストする。 プログラマがこれらツールを、恐らくは夜通し実行し、得た結果が良好ならば、作成したプログラムのループが無限ループに陥らないという数学的な証明になる。逆に問題があれば、(カウンタの追加を忘れていたり、カウンタの増分処理忘れによる) 成立不能な条件設定があるなど、スタックしている場所がどこかを示してくれる。 Microsoft は次期クライアント OS『Windows Vista』の社内テスト用に、TERMINATOR と SLAM を使用しており、より質の高いドライバの開発という成果を得ていると Cook 氏は述べた。 関連記事 Microsoft が韓国の独禁法裁定に対応した『XP』を発表 Citrix と Microsoft、遠隔支社向け製品を共同開発へ Microsoft、サイバースクワッタを提訴 マイクロソフト、初の HPC クラスタ製品を発表 Microsoft、『IE』の累積更新プログラム改訂版の公開に遅れ 関連テーマ Windows Vista users ★最新トップニュース Adobe Flash Player 10 パブリックベータ版を公開（Webテクノロジー 5月16日 18:10） 米国 Adobe Systems は、2008年5月15日、「Adobe Flash Player 10」（コードネーム：Astro）のパブリックベータ版を Adobe Labs で公開したことを発表した。 【今週の Web ミミズク】CBS の高価な買い物、グリッドは地球を救えるか、四川州地震のネット募金（Webファイナンス 5月16日 18:00） 今週のビッグニュースは、なんといっても、CBS による CNET の買収だ。買収総額は18億ドル、だそうだが、この金額は高いか、安いか。 TI、WUXGA 対応の「.95 WUXGA DLP チップ」を発表、対応 DLP プロジェクタ製品も登場（Webテクノロジー 5月16日 17:50） Texas Instruments（TI）は、2008年5月13日、同社初となる1,920×1,200ピクセルの解像度を持つ WUXGA プロジェクタ向けの「.95 WUXGA DLP チップ」を発表した。 社会保険庁の国民年金保険料クレジットカード収納業務を GMO-PG が受託（パブリック - ニュース 5月16日 17:30） 非対面クレジットカード決済事業を展開する、GMO ペイメントゲートウェイ株式会社（GMO-PG）は、2008年8月1日から2009年3月31日まで、社会保険庁の国民年金保険料のクレジットカード収納に係るカード番号管理等の業務を受託すると発表した。 【中国】中国移動、中国 TD 規格を5月末に 3.5G 規格にアップグレード（携帯・ワイヤレス 5月16日 17:00） 5月15日、中国国内メディアの報道によれば、中国移動（チャイナ・モバイル）は5月末に TD 規格（TD-SCDMA：中国独自の 3G 通信規格）を3.5G 規格（TD-HSDPA）にアップグレードさせることを明らかにしたという。 オススメのＩＴ系求人情報【毎週月曜日更新】 デイリーリサーチ ／ DLサイト OnlineResearchPortal　(リサーチデータバンク) モバイルリサーチ with goo Youtube BlackBerry CGM SaaS アクセス解析 LPO テーマ一覧はこちら 第1回インターネットコムマーケティングセミナー「新規クライアントを効率的に獲得する Web マーケティング手法とは」(3月26日)多数のご参加ありがとうございました DevX CodeGuru developer.com ブログ一覧 【Graphic Design Forum】 経済の混乱とフリーランス （5月16日） 【データメーション】 IT 業界の女性について：（ハッと息をのむ）ある少女の観点（5月16日） 【ジュピターメディア創設者がITを斬る】 CNET が CBS に買収（5月16日） 【ベンチャー専門家の目利きブログ「なぜこの企業は伸びるのか?」】 「微生物、たんぱく質に隠された無限の可能性に挑戦！！」／株式会社サティス製薬（5月16日） 【japan.internet.com テクノログ】 5月4日（日）〜5月10日（土）（5月13日） 【最新テクノロジーの意外な処方箋】 アクセンチュア・テクノロジー・ラボプロジェクト：REST（Reducing Effort in Script-based Testingスクリプトテストの負荷軽減）（5月12日） IT マネジメント Steve Ballmer 氏が辞任すべき理由（5月16日） 15 seconds AJAX SlideShowおよびTreeViewコントロールを使用してスライドショーを作成する（5月16日） 最新アフィリエイト事例にみる成功の法則 アフィリエイト市場動向（5月16日） 最新ハイテク講座 全自動からオゾンの力まで！ハイテク洗濯機の最新事情（5月16日） 百式のネットビジネス研究 手書き入力で中国語を検索できる辞書サイト「nciku」（5月16日） 週刊-サイト別アクセス状況データ ビデオリサーチインタラクティブ調査(月間インターネットオーディエンスデータ)（5月15日） 「IT の耳」 【書評】『ウェブを変える10の破壊的トレンド』（5月15日） 検索エンジンマーケティング 中国検索エンジン市場シェアを巡る攻防（5月15日） 気になるオープンソースソフトウェア オープンソースのアプリケーションサーバー　Apache Geronimo（5月15日） 気になるトレンド用語 ネットの危機？自由が奪われる「青少年インターネット規制法案」（5月14日） セキュリティチャネル テレコムチャネル サーチエンジンウォッチ 海外のインターネットコム　アメリカ｜韓国｜ドイツ｜トルコ 関連企業のサイト：ストックフォト イラスト ネットストリート ホテル予約サイト タウン情報 出張 事業継承 シミュレーション トランクルーム 優待映画チケット 田舎暮らしガイド オリジナルTシャツ ニタコエ Copyright 2008 Jupitermedia Corporation All Rights Reserved.